Search Materials

Sort materials by

Search Materials

Return to What's new in MERLOT

Get more information on the MERLOT Editors' Choice Award in a new window.

Get more information on the MERLOT Classics Award in a new window.

Get more information on the JOLT Award in a new window.

Go to Search Page

Go to Partner Benefits

View material results for all categories

Search all MERLOT

Click here to go to your profile

Click to expand login or register menu

Select to go to your workspace

Click here to go to your Dashboard Report

Click here to go to your Content Builder

Click here to log out

Search Terms

Enter username

Enter password

Please give at least one keyword of at least three characters for the search to work with. The more keywords you give, the better the search will work for you.

select OK to launch help window

cancel help

View material results for category Mathematics and Statistics

Mathematics and Statistics
>
View material results for category Mathematics and Statistics/Mathematics

Mathematics
>
View material results for category Mathematics and Statistics/Mathematics/Foundations of Mathematics

Foundations of Mathematics
>
Logic
Proof designer is a tool intended to help students who are beginning to learn how to write proofs. While proving theorems...
see more

Material Type:
SimulationAuthor: Daniel J. Velleman

Date Added: Feb 10, 2003 Date Modified: Nov 11, 2010

Peer Review for material titled "Proof Designer"

User Rating for material titled "Proof Designer"

Member Comments for material titled "Proof Designer"

Personal Collections for material titled "Proof Designer"

Learning Exercises for material titled "Proof Designer"

Accessibility Info for material titled "Proof Designer"

About this material:

Peer review 4.67 rating

Peer Reviews
User Rating (not rated)

Discussion (none)

Personal Collections (2)

Learning Exercises (none)

Accessibility Info (none)

A Problem Course in Mathematical Logic is intended to serve as the text for an introduction to mathematical logic for...
see more

Material Type:
Open TextbookAuthor: Stefan Bilaniuk

Date Added: Apr 12, 2008 Date Modified: Oct 17, 2012

Peer Review for material titled "A Problem Course in Mathematical Logic"

User Rating for material titled "A Problem Course in Mathematical Logic"

Member Comments for material titled "A Problem Course in Mathematical Logic"

Personal Collections for material titled "A Problem Course in Mathematical Logic"

Learning Exercises for material titled "A Problem Course in Mathematical Logic"

Accessibility Info for material titled "A Problem Course in Mathematical Logic"

About this material:

Reviewed by members of Editorial board for inclusion in MERLOT.

Editor Review
(not reviewed)
User Rating (not rated)

Discussion (none)

Personal Collections (2)

Learning Exercises (none)

Accessibility Info (none)

Interactive textbook for introductory logic courses. Topics include: (i) Boolean searching (ii) propositional logic with...
see more

Material Type:
TutorialAuthor: J. David Velleman

Date Added: Aug 13, 2003 Date Modified: Jun 06, 2013

Peer Review for material titled "blogic: a web logic textbook"

User Rating for material titled "blogic: a web logic textbook"

Member Comments for material titled "blogic: a web logic textbook"

Personal Collections for material titled "blogic: a web logic textbook"

Learning Exercises for material titled "blogic: a web logic textbook"

Accessibility Info for material titled "blogic: a web logic textbook"

About this material:

Reviewed by members of Editorial board for inclusion in MERLOT.

Editor Review
(not reviewed)
User review 5 average rating

User Rating
Discussion (1 Comment)

Personal Collections (3)

Learning Exercises (none)

Accessibility Info (none)

This site contains the learning materials for eleven online courses that are currently taught at Carnegie Mellon...
see more

Material Type:
PresentationAuthor: Candace Thille, Director

Date Added: Feb 05, 2007 Date Modified: Feb 07, 2007

Peer Review for material titled "Carnegie Mellon's Open Learning Initiative (OLI)"

User Rating for material titled "Carnegie Mellon's Open Learning Initiative (OLI)"

Member Comments for material titled "Carnegie Mellon's Open Learning Initiative (OLI)"

Personal Collections for material titled "Carnegie Mellon's Open Learning Initiative (OLI)"

Learning Exercises for material titled "Carnegie Mellon's Open Learning Initiative (OLI)"

Accessibility Info for material titled "Carnegie Mellon's Open Learning Initiative (OLI)"

About this material:

Reviewed by members of Editorial board for inclusion in MERLOT.

Editor Review
(not reviewed)
User Rating (not rated)

Discussion (none)

Personal Collections (1)

Learning Exercises (none)

Accessibility Info (none)

forall x is an introduction to sentential logic and first-order predicate logic with identity, logical systems that...
see more

Material Type:
Open TextbookAuthor: P.D. Magnus

Date Added: Apr 13, 2008 Date Modified: Nov 06, 2014

Peer Review for material titled "Foral X: An Introduction to Formal Logic"

User Rating for material titled "Foral X: An Introduction to Formal Logic"

Member Comments for material titled "Foral X: An Introduction to Formal Logic"

Personal Collections for material titled "Foral X: An Introduction to Formal Logic"

Learning Exercises for material titled "Foral X: An Introduction to Formal Logic"

Accessibility Info for material titled "Foral X: An Introduction to Formal Logic"

About this material:

Reviewed by members of Editorial board for inclusion in MERLOT.

Editor Review
(not reviewed)
User Rating (not rated)

Discussion (none)

Personal Collections (9)

Learning Exercises (none)

Accessibility Info (none)

NuMachine, as powerful as Turing machine, but more intuitive in its working is described. Adding three more derivation rules...
see more

Material Type:
TutorialAuthor: Kannan Nambiar

Date Added: Jun 13, 2001 Date Modified: May 23, 2008

Peer Review for material titled "Foundations of Computer Science"

User Rating for material titled "Foundations of Computer Science"

Member Comments for material titled "Foundations of Computer Science"

Personal Collections for material titled "Foundations of Computer Science"

Learning Exercises for material titled "Foundations of Computer Science"

Accessibility Info for material titled "Foundations of Computer Science"

About this material:

Reviewed by members of Editorial board for inclusion in MERLOT.

Editor Review
(not reviewed)
User review 4 average rating

User Rating
Discussion (1 Comment)

Personal Collections (1)

Learning Exercises (none)

Accessibility Info (none)

This free and open online course in Logic was produced by the WA State Board for Community & Technical Colleges...
see more

Material Type:
Online CourseAuthor: Tom Caswell

Date Added: Nov 29, 2011 Date Modified: Aug 22, 2012

Peer Review for material titled "Introduction to Logic"

User Rating for material titled "Introduction to Logic"

Member Comments for material titled "Introduction to Logic"

Personal Collections for material titled "Introduction to Logic"

Learning Exercises for material titled "Introduction to Logic"

Accessibility Info for material titled "Introduction to Logic"

About this material:

Reviewed by members of Editorial board for inclusion in MERLOT.

Editor Review
(not reviewed)
User Rating (not rated)

Discussion (none)

Personal Collections (3)

Learning Exercises (none)

Accessibility Info (none)

This online course comes from the Open Learning Initiative (OLI) by Carnegie Mellon. “The course includes self-guiding...
see more

Material Type:
Online CourseAuthor: Open Learning Initiative

Date Added: Feb 04, 2011 Date Modified: Feb 04, 2011

Peer Review for material titled "Logic and Proofs"

User Rating for material titled "Logic and Proofs"

Member Comments for material titled "Logic and Proofs"

Personal Collections for material titled "Logic and Proofs"

Learning Exercises for material titled "Logic and Proofs"

Accessibility Info for material titled "Logic and Proofs"

About this material:

Reviewed by members of Editorial board for inclusion in MERLOT.

Editor Review
(not reviewed)
User Rating (not rated)

Discussion (none)

Personal Collections (2)

Learning Exercises (none)

Accessibility Info (none)

This is a lesson created for fifth grade, but can be modified to fit other grade levels. The assignment is based on a real...
see more

Material Type:
AssignmentAuthor: Kelly Mahoney

Date Added: Nov 01, 2011 Date Modified: Aug 02, 2012

Peer Review for material titled "Menu Math"

User Rating for material titled "Menu Math"

Member Comments for material titled "Menu Math"

Personal Collections for material titled "Menu Math"

Learning Exercises for material titled "Menu Math"

Accessibility Info for material titled "Menu Math"

About this material:

Reviewed by members of Editorial board for inclusion in MERLOT.

Editor Review
Very good quality; in queue to be peer reviewed

avg:
User review 4.5 average rating

User Rating
Discussion (3 Comments)

Personal Collections (1)

Learning Exercises (none)

Accessibility Info (1)

This lesson plan was developed to help early grade school teachers demonstrate to students how to use simple deductive logic...
see more

Material Type:
AssignmentAuthor: Jeffrey Powers

Date Added: Jan 30, 2011 Date Modified: Mar 11, 2011

Peer Review for material titled "Solve a 4x4 Sudoku Puzzle"

User Rating for material titled "Solve a 4x4 Sudoku Puzzle"

Member Comments for material titled "Solve a 4x4 Sudoku Puzzle"

Personal Collections for material titled "Solve a 4x4 Sudoku Puzzle"

Learning Exercises for material titled "Solve a 4x4 Sudoku Puzzle"

Accessibility Info for material titled "Solve a 4x4 Sudoku Puzzle"

About this material:

Reviewed by members of Editorial board for inclusion in MERLOT.

Editor Review
Very good quality; in queue to be peer reviewed

avg:
User review 4 average rating

User Rating
Discussion (5 Comments)

Personal Collections (1)

Learning Exercises (none)

Accessibility Info (none)