EXPLORE
LATEST
ABOUT
AUTHORING AREA
PARTICIPATE
Your browser does not support JavaScript or it may be disabled!
Subscribe to RSS feed
Mathematical Logic
«
PREVIOUS

1
...
2

3

4

5

6

NEXT
»
Demonstrations 81  100 of 112
Deaf Island Puzzle Generator
Knights, Knaves, and Normals Puzzle Generator
Propositional Logic Puzzle Generator
Hofstadter's MU Riddle
Bochvar's ThreeValued Logic
Lukasiewicz's ThreeValued Logic
Lewis Carroll's Bilateral Diagram
Kleene's ThreeValued Logic
Venn Diagrams for Two Sets
Sampling of Boolean Functions
Boolean Symmetric Functions
Boolean Primitives as Symmetric Boolean Functions
Short Computation Patterns III
3D View of Binary Logical Operations
Arithmetic in Lambda Calculus
Binary Operators Satisfying Two Axioms
The Perfect Venn Diagram
Gödelization
Plots of Compositions of Bitwise Operations
OneTerm Nestedly Recursive Functions
«
PREVIOUS

1
...
2

3

4

5

6

NEXT
»
Note: To run this Demonstration you need Mathematica 7+ or the free Mathematica Player 7EX
Download or upgrade to
Mathematica Player 7EX
I already have
Mathematica Player
or
Mathematica 7+