MERLOT Search - materialType=Simulation&category=2557&nosearchlanguage=
http://www.merlot.org:80/merlot/
A search of MERLOT materialsCopyright 1997-2014 MERLOT. All rights reserved.Wed, 26 Nov 2014 15:04:19 PSTWed, 26 Nov 2014 15:04:19 PSTMERLOT Search - materialType=Simulation&category=2557&nosearchlanguage=http://www.merlot.org:80/merlot/images/merlot.gif
http://www.merlot.org:80/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.Truth 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.Interaktive 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 logicMetamath 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.obblog
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 TIG - 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.Touch 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 appTruth 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.