MERLOT Materials
Show results for
Filter by
- Logic (51)
- Set Theory (25)
A+Click Math Self-study Tests and Skill Assessment for Grade 1 to Grade 12. It includes more than 1000 challenging... see more
This is a lesson created for fifth grade, but can be modified to fit other grade levels. The assignment is based on a... see more
This lesson plan was developed to help early grade school teachers demonstrate to students how to use simple deductive... see more
WeUseMath.org is a non-profit website that helps to answer this question. This website describes the importance of... see more
Proof designer is a tool intended to help students who are beginning to learn how to write proofs. While proving theorems... see more
interactive propositional logic; show syntax tree, alpha graph, Fregean notation of propositions; display truth tables,... see more
PC-based software and interactive tutorial to learn how to write mathematical proofs. Makes use of innovative... see more
Logic is a remarkable discipline. It is deeply tied to mathematics and philosophy, as correctness of argumentation is... see more
Conteudo de Logica Matematica em Portugues
This applet lets you build simple mathematical proofs from axioms in logic and set theory.
This is a free, online textbook. According to the author, "This free undergraduate textbook provides an introduction to... see more
Analysis I (18.100) in its various versions covers fundamentals of mathematical analysis: continuity, differentiability,... see more
The goal of this class is to prove that category theory is a powerful language for understanding and formalizing common... see more
This is a 'two-volume introduction to formal logic. Volume I presents sentence logic and Volume II covers predicate logic... see more
This is an 'undergraduate college level textbook covering first order predicate logic with identity but omitting... see more
This textbook was developed as part of the Textbook Transformation Grants for the Affordable Learning Georgia project.... see more
'With the UAbacus you can add and subtract numbers using the "logic method" for abacus computation. Those learning abacus... see more
A basic introduction to Boolean Logic and its basic operators: AND, OR, and NOT, along with search term examples and... see more
A Problem Course in Mathematical Logic is intended to serve as the text for an introduction to mathematical logic for... see more
NuMachine, as powerful as Turing machine, but more intuitive in its working is described. Adding three more derivation... see more
This is 'an introduction to reasoning with propositional and first-order logic, with applications to computer science. It... see more
This free and open online course in Logic was produced by the WA State Board for Community & Technical Colleges... see more
This online course comes from the Open Learning Initiative (OLI) by Carnegie Mellon. “The course includes self-guiding... see more
Truth Table Constructor creates truth tables for statements in propositional logic. It allows entry of up to six... see more