MERLOT Search - materialType=Simulation&category=2557&nosearchlanguage=
http://www.merlot.org:443/merlot/
A search of MERLOT materialsCopyright 1997-2015 MERLOT. All rights reserved.Wed, 2 Sep 2015 10:02:13 PDTWed, 2 Sep 2015 10:02:13 PDTMERLOT Search - materialType=Simulation&category=2557&nosearchlanguage=http://www.merlot.org:443/merlot/images/merlot.gif
http://www.merlot.org:443/merlot/
4434Proof Designer
http://www.merlot.org/merlot/viewMaterial.htm?id=78631
Proof designer is a tool intended to help students who are beginning to learn how to write proofs. While proving theorems certainly is a creative task, there are many steps that actually are schematic and mathematicians have internalized them. For example, to prove a universally quantified statement we need to pick an arbitrary element and prove the statement for it. These types of nestings are not automatically done by novices and they take time to internalize. In proof designer such steps are created upon selection with the characteristic start (״Let a be ") and the characteristic ending (״Since a was arbitrary "). The user still has to fill in the steps in between. In the above fashion proof designer can be used to keep track of and demonstrate the macroscopic structure of the proof as well as the nesting of sub-proofs within a proof.Mon, 10 Feb 2003 00:00:00 -0800Truth Table Constructor
http://www.merlot.org/merlot/viewMaterial.htm?id=82130
Truth Table Constructor creates truth tables for statements in propositional logic. It allows entry of up to six variables and six connectives and produces T/F and 0/1 output. Results are shown all at once or may be requested step-by-step.Sat, 2 Oct 2004 00:00:00 -0700Interaktive Logik (Gateway to Logic) (CG1-1)
http://www.merlot.org/merlot/viewMaterial.htm?id=74810
interactive propositional logic; show syntax tree, alpha graph, Fregean notation of propositions; display truth tables, normal forms; optimize expressions; check proofs in predicate logicTue, 27 Jan 1998 00:00:00 -0800Metamath Solitaire
http://www.merlot.org/merlot/viewMaterial.htm?id=74634
This applet lets you build simple mathematical proofs from axioms in logic and set theory.Mon, 21 Jul 1997 00:00:00 -0700obblog
http://www.merlot.org/merlot/viewMaterial.htm?id=75934
Obblog2.Logic construction toybox. To explain binary logic, and truth tables. Binary logic simulator. It allows to keep the work. Help files at mirror site.There's a video playlist as support material:http://www.youtube.com/playlist?list=PLo4AMY8jDHYaUXoP2Zhzv-1h48ZCl6ESBObblog shows the inner workings of the logic gates Sat, 1 Dec 2001 00:00:00 -0800TIG - A Scientific Calculator with Memory Variables and Complex Numbers Support
http://www.merlot.org/merlot/viewMaterial.htm?id=85479
A Complex Scientific Calculator with full support of Complex Functions of Complex Variables. Using the Memory Variables you can create Sessions to solve mathematical and scientific problems. A graphical visualisation of the Complex Numbers is provided.Mon, 2 Jan 2006 00:00:00 -0800Touch Fraction App for Android
http://www.merlot.org/merlot/viewMaterial.htm?id=754562
Touch Fraction: (Android interactive fraction)About fractions, and the construction of the rational numbers.Fractions: Interactive app.Select equivalent fractions with the rational representation diagram.(video as support material in the mirror link)Nummolt construction toys:Touch Math apps.http://www.nummolt.comThis is a free appThu, 18 Apr 2013 02:41:00 -0700Truth Table Practice
http://www.merlot.org/merlot/viewMaterial.htm?id=280702
This page generates random truth table problems involving two simple statements P and Q. The user enters solutions and then checks for correctness.Wed, 7 Nov 2007 20:24:55 -0800