|
Author:
Daniel J. Velleman
Proof designer is a tool intended to help students who are beginning to learn how to write proofs. While...
Type: Simulation
Date Added: Feb 10, 2003
Date Modified: Nov 11, 2010
|
|
|
|
Author:
Jeffrey Powers
This lesson plan was developed to help early grade school teachers demonstrate to students how to use...
Type: Assignment
Date Added: Jan 30, 2011
Date Modified: Mar 11, 2011
|
|
|
|
Author:
Kelly Mahoney
This is a lesson created for fifth grade, but can be modified to fit other grade levels. The assignment...
Type: Assignment
Date Added: Nov 01, 2011
Date Modified: Aug 02, 2012
|
|
|
|
Author:
Christian Gottschall
interactive propositional logic; show syntax tree, alpha graph, Fregean notation of propositions; display...
Type: Simulation
Date Added: Jan 27, 1998
Date Modified: Jan 01, 2008
|
|
|
|
Author:
Norman D. Megill
This applet lets you build simple mathematical proofs from axioms in logic and set theory.
Type: Simulation
Date Added: Jul 21, 1997
Date Modified: May 12, 2008
|
|
|
|
Author:
J. David Velleman
Interactive textbook for introductory logic courses. Topics include: (i) Boolean searching (ii)...
Type: Tutorial
Date Added: Aug 13, 2003
Date Modified: Feb 10, 2009
|
|
|
|
Author:
Brigham Young University, Department of Mathematics
WeUseMath.org is a non-profit website that helps to answer this question. This website describes the...
Type: Reference Material
Date Added: Sep 02, 2011
Date Modified: Sep 02, 2011
|
|
|
|
Author:
Kannan Nambiar
NuMachine, as powerful as Turing machine, but more intuitive in its working is described. Adding three...
Type: Tutorial
Date Added: Jun 13, 2001
Date Modified: May 23, 2008
|
|
|
|
Author:
Kannan Nambiar
An axiomatic theory called Real Set Theory is defined in which Generalized Continuum Hypothesis and Axiom...
Type: Reference Material
Date Added: Jun 25, 2001
Date Modified: Apr 14, 2010
|
|
|
|
Author:
Laura Cohen
A basic introduction to Boolean Logic and its basic operators: AND, OR, and NOT, along with search term...
Type: Tutorial
Date Added: Oct 09, 2011
Date Modified: Apr 24, 2012
|
|
|
 |
|
|
|
