MERLOT Search - materialType=Simulation&category=2557&nosearchlanguage=
https://www.merlot.org/merlot/
A search of MERLOT materialsCopyright 1997-2016 MERLOT. All rights reserved.Sun, 25 Sep 2016 18:14:06 PDTSun, 25 Sep 2016 18:14:06 PDTMERLOT Search - materialType=Simulation&category=2557&nosearchlanguage=https://www.merlot.org/merlot/images/merlot.gif
https://www.merlot.org/merlot/
4434Proof Designer
https://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
https://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)
https://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
https://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 -0700Motion Math Educator Suite
https://www.merlot.org/merlot/viewMaterial.htm?id=1113860
This suite of 6 games covers elementary math skills from addition & subtraction to multiplication & division, to fractions and decimals. My students’ current favorite is Motion Math Pizza, where they build and sell pizzas to hungry customers, setting the prices and seeing how basic economic principles work.Tue, 29 Dec 2015 15:20:15 -0800obblog
https://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
https://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 ℚ Android app
https://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)From my point of view, apps allow using the method of factorization into prime numbers. More clearly than the Euclidean algorithm.Nummolt construction toys:Touch Math apps.http://www.nummolt.comThis is a free appThu, 18 Apr 2013 02:41:00 -0700Truth Table Practice
https://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