Search Materials
Sort materials by
Search Materials
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
Select to go to your profile
Select to go to your workspace
Select to go to your Dashboard Report
Select to go to your Content Builder
Select 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

MERLOT II






        

Refine Your Search:

 
Materials 1 - 10 shown of 48 results

Proof Designer

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: Simulation
Author: Daniel J. Velleman
Date Added: Feb 10, 2003 Date Modified: Nov 11, 2010
Pick a Bookmark Collection or Course ePortfolio to put this material in or scroll to the bottom to create a new Bookmark Collection
Name the Bookmark Collection to represent the materials you will add
Describe the Bookmark Collection so other MERLOT users will know what it contains and if it has value for their work or teaching. Other users can copy your Bookmark Collection to their own profile and modify it to save time
Edit the information about the material in this {0}
Submitting Bookmarks...
Peer Review for material titled "Proof Designer"
User Rating for material titled "Proof Designer"
Member Comments for material titled "Proof Designer"
Bookmark Collections for material titled "Proof Designer"
Course ePortfolios 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 4.67 rating
User Rating (not rated)
Discussion (none)
In (2)  Bookmark Collections
Course ePortfolios (none)
Learning Exercises (none)
Accessibility Info (none)

Formal Logic

This is an 'undergraduate college level textbook covering first order predicate logic with identity but omitting metalogical... see more
Material Type: Open Textbook
Author: Multiple Authors
Date Added: Nov 17, 2008 Date Modified: Feb 20, 2015
Pick a Bookmark Collection or Course ePortfolio to put this material in or scroll to the bottom to create a new Bookmark Collection
Name the Bookmark Collection to represent the materials you will add
Describe the Bookmark Collection so other MERLOT users will know what it contains and if it has value for their work or teaching. Other users can copy your Bookmark Collection to their own profile and modify it to save time
Edit the information about the material in this {0}
Submitting Bookmarks...
Peer Review for material titled "Formal Logic"
User Rating for material titled "Formal Logic"
Member Comments for material titled "Formal Logic"
Bookmark Collections for material titled "Formal Logic"
Course ePortfolios for material titled "Formal Logic"
Learning Exercises for material titled "Formal Logic"
Accessibility Info for material titled "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)
In (3)  Bookmark Collections
In (9)  Course ePortfolios
Learning Exercises (none)
Accessibility Info (none)

A Modern Formal Logic Primer

This is a 'two-volume introduction to formal logic. Volume I presents sentence logic and Volume II covers predicate logic and... see more
Material Type: Open Textbook
Author: Paul Teller
Date Added: Nov 25, 2008 Date Modified: Feb 16, 2015
Pick a Bookmark Collection or Course ePortfolio to put this material in or scroll to the bottom to create a new Bookmark Collection
Name the Bookmark Collection to represent the materials you will add
Describe the Bookmark Collection so other MERLOT users will know what it contains and if it has value for their work or teaching. Other users can copy your Bookmark Collection to their own profile and modify it to save time
Edit the information about the material in this {0}
Submitting Bookmarks...
Peer Review for material titled "A Modern Formal Logic Primer"
User Rating for material titled "A Modern Formal Logic Primer"
Member Comments for material titled "A Modern Formal Logic Primer"
Bookmark Collections for material titled "A Modern Formal Logic Primer"
Course ePortfolios for material titled "A Modern Formal Logic Primer"
Learning Exercises for material titled "A Modern Formal Logic Primer"
Accessibility Info for material titled "A Modern Formal Logic Primer"
About this material:
Reviewed by members of Editorial board for inclusion in MERLOT.
Editor Review (not reviewed)
User Rating (not rated)
Discussion (none)
In (1)  Bookmark Collections
In (7)  Course ePortfolios
Learning Exercises (none)
Accessibility Info (none)

forall X: An Introduction to Formal Logic

'forall x is an introduction to sentential logic and first-order predicate logic with identity, logical systems that... see more
Material Type: Open Textbook
Author: P.D. Magnus
Date Added: Apr 13, 2008 Date Modified: Feb 16, 2015
Pick a Bookmark Collection or Course ePortfolio to put this material in or scroll to the bottom to create a new Bookmark Collection
Name the Bookmark Collection to represent the materials you will add
Describe the Bookmark Collection so other MERLOT users will know what it contains and if it has value for their work or teaching. Other users can copy your Bookmark Collection to their own profile and modify it to save time
Edit the information about the material in this {0}
Submitting Bookmarks...
Peer Review for material titled "forall X: An Introduction to Formal Logic"
User Rating for material titled "forall X: An Introduction to Formal Logic"
Member Comments for material titled "forall X: An Introduction to Formal Logic"
Bookmark Collections for material titled "forall X: An Introduction to Formal Logic"
Course ePortfolios for material titled "forall X: An Introduction to Formal Logic"
Learning Exercises for material titled "forall X: An Introduction to Formal Logic"
Accessibility Info for material titled "forall 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)
In (2)  Bookmark Collections
In (7)  Course ePortfolios
Learning Exercises (none)
Accessibility Info (none)

Intro to Logic

This is 'an introduction to reasoning with propositional and first-order logic, with applications to computer science. It is... see more
Material Type: Open Textbook
Author: John Greiner, et al.
Date Added: Nov 25, 2008 Date Modified: Feb 16, 2015
Pick a Bookmark Collection or Course ePortfolio to put this material in or scroll to the bottom to create a new Bookmark Collection
Name the Bookmark Collection to represent the materials you will add
Describe the Bookmark Collection so other MERLOT users will know what it contains and if it has value for their work or teaching. Other users can copy your Bookmark Collection to their own profile and modify it to save time
Edit the information about the material in this {0}
Submitting Bookmarks...
Peer Review for material titled "Intro to Logic"
User Rating for material titled "Intro to Logic"
Member Comments for material titled "Intro to Logic"
Bookmark Collections for material titled "Intro to Logic"
Course ePortfolios for material titled "Intro to Logic"
Learning Exercises for material titled "Intro to Logic"
Accessibility Info for material titled "Intro 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)
In (1)  Bookmark Collections
In (7)  Course ePortfolios
Learning Exercises (none)
Accessibility Info (1)

A Problem Course in Mathematical Logic

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 Textbook
Author: Stefan Bilaniuk
Date Added: Apr 12, 2008 Date Modified: Oct 17, 2012
Pick a Bookmark Collection or Course ePortfolio to put this material in or scroll to the bottom to create a new Bookmark Collection
Name the Bookmark Collection to represent the materials you will add
Describe the Bookmark Collection so other MERLOT users will know what it contains and if it has value for their work or teaching. Other users can copy your Bookmark Collection to their own profile and modify it to save time
Edit the information about the material in this {0}
Submitting Bookmarks...
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"
Bookmark Collections for material titled "A Problem Course in Mathematical Logic"
Course ePortfolios 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)
In (2)  Bookmark Collections
Course ePortfolios (none)
Learning Exercises (none)
Accessibility Info (none)

blogic: a web logic textbook

Interactive textbook for introductory logic courses. Topics include: (i) Boolean searching (ii) propositional logic with... see more
Material Type: Tutorial
Author: J. David Velleman
Date Added: Aug 13, 2003 Date Modified: Jun 06, 2013
Pick a Bookmark Collection or Course ePortfolio to put this material in or scroll to the bottom to create a new Bookmark Collection
Name the Bookmark Collection to represent the materials you will add
Describe the Bookmark Collection so other MERLOT users will know what it contains and if it has value for their work or teaching. Other users can copy your Bookmark Collection to their own profile and modify it to save time
Edit the information about the material in this {0}
Submitting Bookmarks...
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"
Bookmark Collections for material titled "blogic: a web logic textbook"
Course ePortfolios 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 5 user rating
Discussion (1 Comment)
In (3)  Bookmark Collections
Course ePortfolios (none)
Learning Exercises (none)
Accessibility Info (none)

Carnegie Mellon's Open Learning Initiative (OLI)

This site contains the learning materials for eleven online courses that are currently taught at Carnegie Mellon... see more
Material Type: Presentation
Author: Candace Thille, Director
Date Added: Feb 05, 2007 Date Modified: Feb 07, 2007
Pick a Bookmark Collection or Course ePortfolio to put this material in or scroll to the bottom to create a new Bookmark Collection
Name the Bookmark Collection to represent the materials you will add
Describe the Bookmark Collection so other MERLOT users will know what it contains and if it has value for their work or teaching. Other users can copy your Bookmark Collection to their own profile and modify it to save time
Edit the information about the material in this {0}
Submitting Bookmarks...
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)"
Bookmark Collections for material titled "Carnegie Mellon's Open Learning Initiative (OLI)"
Course ePortfolios 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)
In (1)  Bookmark Collections
Course ePortfolios (none)
Learning Exercises (none)
Accessibility Info (none)

Foundations of Computer Science

NuMachine, as powerful as Turing machine, but more intuitive in its working is described. Adding three more derivation rules... see more
Material Type: Tutorial
Author: Kannan Nambiar
Date Added: Jun 13, 2001 Date Modified: May 23, 2008
Pick a Bookmark Collection or Course ePortfolio to put this material in or scroll to the bottom to create a new Bookmark Collection
Name the Bookmark Collection to represent the materials you will add
Describe the Bookmark Collection so other MERLOT users will know what it contains and if it has value for their work or teaching. Other users can copy your Bookmark Collection to their own profile and modify it to save time
Edit the information about the material in this {0}
Submitting Bookmarks...
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"
Bookmark Collections for material titled "Foundations of Computer Science"
Course ePortfolios 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 4 user rating
Discussion (1 Comment)
In (1)  Bookmark Collections
Course ePortfolios (none)
Learning Exercises (none)
Accessibility Info (none)

Introduction to Logic

This free and open online course in Logic was produced by the WA State Board for Community & Technical Colleges... see more
Material Type: Online Course
Author: Tom Caswell
Date Added: Nov 29, 2011 Date Modified: Aug 22, 2012
Pick a Bookmark Collection or Course ePortfolio to put this material in or scroll to the bottom to create a new Bookmark Collection
Name the Bookmark Collection to represent the materials you will add
Describe the Bookmark Collection so other MERLOT users will know what it contains and if it has value for their work or teaching. Other users can copy your Bookmark Collection to their own profile and modify it to save time
Edit the information about the material in this {0}
Submitting Bookmarks...
Peer Review for material titled "Introduction to Logic"
User Rating for material titled "Introduction to Logic"
Member Comments for material titled "Introduction to Logic"
Bookmark Collections for material titled "Introduction to Logic"
Course ePortfolios 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)
In (3)  Bookmark Collections
Course ePortfolios (none)
Learning Exercises (none)
Accessibility Info (none)
RSS

Results page 1 of 5
2  3  4  5  Next Next Arrow
Jump to page