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

1

2

3

NEXT
»
Demonstrations 21  40 of 47
Propositional Logic Test
Lewis Carroll's Diagram and Categorical Syllogisms
Hasse Diagram of Power Sets
Another Knights and Knaves Puzzle Generator
Deaf Island Puzzle Generator
Propositional Logic Puzzle Generator
Bochvar's ThreeValued Logic
Lukasiewicz's ThreeValued Logic
Cayley Tables for Small Groups and Moufang Loops
Algebraic Loops (1); Properties
Finite Field Tables
Venn Diagrams for Two Sets
Arithmetic in Lambda Calculus
Proofs in Multiway Systems
Binary Operators Satisfying Two Axioms
Gödelization
Boolean Algebra
Plots of Compositions of Bitwise Operations
OneTerm Nestedly Recursive Functions
Collatz Problem as a Cellular Automaton
«
PREVIOUS

1

2

3

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+