Math Tools Browse

Resource Name	Topic (Course)	Technology	Type	Rating
Browsing: All Content in Discrete Math for Logical Form & Equivalence Browse discussions			Login to Subscribe / Save Results
DC Proof: An Aid to Teach the ...	Logical Form & Equivalence (Discrete Math)	Computer	Tool	[0]
DC Proof is a PC-based educational software package. It is designed to facilitate students' transition to proof-based mathematics at the undergraduate or advanced high school levels. An interactive tu... More: lessons, discussions, ratings, reviews,...
Hypothesis and Conclusions of ...	Logical Form & Equivalence (Discrete Math)	Flash	Support Material	[0]
This mini-lesson explains how to identify the hypothesis and conclusions in an argument. More: lessons, discussions, ratings, reviews,...
Learning to Reason	Logical Form & Equivalence (Discrete Math)	Flash	Tool	[0]
The author states, "When we reason within a logical framework, words must be manipulated according to the rules of the game...." Her site offers an opportunity to learn about the terms not, ... More: lessons, discussions, ratings, reviews,...
Truth Table Applications	Truth tables (Discrete Math)	Flash	Tool	[0]
This set of problem reminds the user of the natural language context for propositional expressions and truth tables. After completing a truth table, the user is asked questions about various circumsta... More: lessons, discussions, ratings, reviews,...
Truth Tables for Determining L...	Truth tables (Discrete Math)	Flash	Tool	[0]
This set of problems consists of a handful of randomly selected pairs of expressions for which the user must provide a truth table in order to determine if the two expressions are logically equivalent... More: lessons, discussions, ratings, reviews,...
Truth Tables for Expressions U...	Truth tables (Discrete Math)	Flash	Tool	[0]
This set of problems consists of a handful of randomly selected expressions for which the user must provide a truth table. The statements use only "and", "or" and "not" as logical connectives and each... More: lessons, discussions, ratings, reviews,...
Truth Tables for Expressions U...	Truth tables (Discrete Math)	Flash	Tool	[0]
This set of problems consists of a handful of randomly selected expressions for which the user must provide a truth table. The statements use "and", "or", "not", and implication as logical connectives... More: lessons, discussions, ratings, reviews,...
Truth Tables in Three Variable...	Truth tables (Discrete Math)	Flash	Tool	[0]
This set of problems consists of a handful of randomly selected expressions for which the user must provide a truth table. The statements use "and", "or", "not", and implication as logical connectives... More: lessons, discussions, ratings, reviews,...
Truth Tables in Three Variable...	Truth tables (Discrete Math)	Flash	Tool	[0]
A set of problems in which the user is given a propositional expression along with the subexpressions leading up to it in building the truth table. More: lessons, discussions, ratings, reviews,...
Coin Problem	Logical Form & Equivalence (Discrete Math)	Java Applet	Tool	[5]
Use deduction to find the lighter coin. More: lessons, discussions, ratings, reviews,...
Coin Problem (tPoW version)	Logical Form & Equivalence (Discrete Math)	Java Applet	Tool	[1]
Use deduction to find the lighter coin. More: lessons, discussions, ratings, reviews,...
Counterfeit Coins	Logical Form & Equivalence (Discrete Math)	Java Applet	Technology PoW	[0]
Find the fewest number of weighings that will identify which of the nine coins is counterfeit. A link to a Java applet from The National Library of Virtual Manipulatives (NLVM) is provided to help stu... More: lessons, discussions, ratings, reviews,...
Fill and Pour	Logical Form & Equivalence (Discrete Math)	Java Applet	Tool	[3]
Fill a glass with the requested amount of liquid by filling, emptying, and pouring between it and a second container. Click the "New Problem" button to generate new parameters; "Challenge" creates con... More: lessons, discussions, ratings, reviews,...
Mastermind	Logical Form & Equivalence (Discrete Math)	Java Applet	Tool	[2]
This virtual manipulative is a version of the classic Mastermind game of logic. Win the game by discovering the colors of the four peg solution. More: lessons, discussions, ratings, reviews,...
Monedas Falsas	Logical Form & Equivalence (Discrete Math)	Java Applet	Technology PoW	[0]
Encuentre el n�mero m�nimo de monedas que pesaras para poder identificar cu�l moneda de las 9 es falsa. versi�n en ingl�s NOTE: A free login is required. Sign up using th... More: lessons, discussions, ratings, reviews,...
Peg Puzzle	Logical Form & Equivalence (Discrete Math)	Java Applet	Tool	[1]
This virtual manipulative is the classic logic peg puzzle. The goal of the puzzle is to switch the the pegs on the left with the pegs on the right by moving one peg at a time. More: lessons, discussions, ratings, reviews,...
Obblog 2	Logical Form & Equivalence (Discrete Math)+	JavaScript	Tool	[0]
Obblog 2 is an elementary logic simulator that displays 15 basic logic gates and their truth tables. It shows a possible inner workings of the logic gates. The user can build elementary logic machines... More: lessons, discussions, ratings, reviews,...
Page 1