Learning Materials

advanced search materials‎|advanced search members‎|search other libraries

Home

Communities

Learning Materials

Member Directory

My Profile

About Us


Learning Materials	Become a Member \| Log In

Browse Path: All > Mathematics and Statistics > Mathematics > Foundations of Mathematics

Foundations of Mathematics

Material Types

Contribute a Material

Title:
URL:

New Search: Advanced Search

Items 1 - 9 shown of 9 results

Sort by:

Touch Fraction

Author: Maurici Carbó
Touch Fraction: (Android interactive fraction)About fractions, and the construction of the rational...
Type: Simulation
Date Added: Apr 18, 2013
Date Modified: Apr 18, 2013

Peer Reviews (not reviewed)
Comments (none)
Personal Collections (none)
Learning Exercises (none)
Accessibility Info (none)

Author: Peter Williams
This page generates random truth table problems involving two simple statements P and Q. The user enters...
Type: Simulation
Date Added: Nov 07, 2007
Date Modified: Nov 07, 2007

Peer Reviews (not reviewed)
Comments (none)
Personal Collections (none)
Learning Exercises (none)
Accessibility Info (none)

FiniteMath Applets

Author: Wayne Holt
small interactive applets for teaching sets, logic, circuits, codes, counting, probability, and...
Type: Simulation
Date Added: Apr 07, 2006
Date Modified: Jun 29, 2012

Peer Reviews (not reviewed)
Comments (none)
Personal Collections (4)
Learning Exercises (none)
Accessibility Info (none)

TIG - A Scientific Calculator with Memory Variables and Complex Numbers Support

Author: Teodoru Gugoiu
A Complex Scientific Calculator with full support of Complex Functions of Complex Variables. Using the...
Type: Simulation
Date Added: Jan 02, 2006
Date Modified: Nov 24, 2011

Peer Reviews (not reviewed)
Comments (none)
Personal Collections (none)
Learning Exercises (none)
Accessibility Info (none)

Truth Table Constructor

Author: Brian S. Borowski
Truth Table Constructor creates truth tables for statements in propositional logic. It allows entry of...
Type: Simulation
Date Added: Oct 02, 2004
Date Modified: Jan 27, 2009

Peer Reviews (not reviewed)
Comments (none)
Personal Collections (2)
Learning Exercises (none)
Accessibility Info (none)

Proof Designer

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

Peer Review

Comments (none)
Personal Collections (2)
Learning Exercises (none)
Accessibility Info (none)

obblog

Author: Maurici Carbó
Obblog2Logic construction toybox. To explain binary logic, and truth tables. Binary logic simulator. It...
Type: Simulation
Date Added: Dec 01, 2001
Date Modified: Mar 18, 2013

Peer Reviews (not reviewed)
Comments (none)
Personal Collections (none)
Learning Exercises (none)
Accessibility Info (none)

Interaktive Logik (Gateway to Logic) (CG1-1)

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

Peer Reviews (not reviewed)
Comments (2)avg:

Personal Collections (none)
Learning Exercises (none)
Accessibility Info (none)

Metamath Solitaire

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

Peer Reviews (not reviewed)
Comments (2)avg:

Personal Collections (none)
Learning Exercises (none)
Accessibility Info (none)

Results page 1 of 1

--%>