Browsing: All Content in Discrete Math for Logical Form & Equivalence Browse discussions 
Login to Subscribe / Save Results

Resource Name 
Topic (Course) 
Technology 
Type 
$? 
Rating 

DC Proof: An Aid to Teach the ...

Logical Form & Equivalence (Discrete Math) 
Computer 
Tool 

[0]

DC Proof is a PCbased educational software package. It is designed to facilitate students' transition to proofbased 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 minilesson 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,...

Programmers Calculator

Logical Form & Equivalence (Discrete Math) 
JavaScript 
Tool 

[0]

An online 64 bit calculator for anyone who wants to work with binary, hexadecimal or regular base 10 numbers. Aside from the ability to work with different bases, this tool has a wide variety of binar...
More: lessons, discussions, ratings, reviews,...

Page 1
