|
|
|
|
|
|
|
|
Packages for Logic and Set Theory
|
|
|
|
|
|
Organization: | Center for Wave Phenomena, Colorado School of Mines |
|
|
|
|
|
|
0206-097
|
|
|
|
|
|
2000-04-10
|
|
|
|
|
|
The fundamental operations of set theory and logic can be elegantly implemented in Mathematica in terms of the associated Boolean rings.
|
|
|
|
|
|
|
|
|
|
|
|
boolean logic, set theory, pure mathematics, applied mathematics, associated boolean rings, the Mathematica Journal V2.1
|
|
|
|
|
|
|
|
|
|
|
|
| logic.m (701 B) - Mathematica package | | set.m (1.1 KB) - Mathematica package |
|
|