|
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:
Joe Fields
A Gentle Introduction to the Art of Mathematics (GIAM for short) is a textbook for a "transitions"...
Type: Open Textbook
Date Added: Sep 11, 2010
Date Modified: Sep 13, 2010
|
|
|
|
Author:
Stefan Bilaniuk
A Problem Course in Mathematical Logic is intended to serve as the text for an introduction to...
Type: Open Textbook
Date Added: Apr 12, 2008
Date Modified: Oct 17, 2012
|
|
|
|
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:
Candace Thille, Director
This site contains the learning materials for eleven online courses that are currently taught at Carnegie...
Type: Presentation
Date Added: Feb 05, 2007
Date Modified: Feb 07, 2007
|
|
|
|
Author:
P.D. Magnus
forall x is an introduction to sentential logic and first-order predicate logic with identity, logical...
Type: Open Textbook
Date Added: Apr 13, 2008
Date Modified: Jul 18, 2012
|
|
|
|
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:
Tom Caswell
This free and open online course in Logic was produced by the WA State Board for Community &...
Type: Online Course
Date Added: Nov 29, 2011
Date Modified: Aug 22, 2012
|
|
|
|
Author:
Open Learning Initiative
This online course comes from the Open Learning Initiative (OLI) by Carnegie Mellon. “The course includes...
Type: Online Course
Date Added: Feb 04, 2011
Date Modified: Feb 04, 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
|
|
|
 |
|
|
|
