MERLOT Materials

Show results for

Filter by

1-24 of 49 results for MERLOT Materials

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

A+Click Math Self-study Tests and Skill Assessment for Grade 1 to Grade 12. It includes more than 1000 challenging... 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

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

'With the UAbacus you can add and subtract numbers using the "logic method" for abacus computation. Those learning abacus... 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

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

This is an 'undergraduate college level textbook covering first order predicate logic with identity but omitting... see more

Logic is a remarkable discipline. It is deeply tied to mathematics and philosophy, as correctness of argumentation is... see more

This textbook was developed as part of the Textbook Transformation Grants for the Affordable Learning Georgia project.... see more

A basic introduction to Boolean Logic and its basic operators: AND, OR, and NOT, along with search term examples and... see more

This is a 'two-volume introduction to formal logic. Volume I presents sentence logic and Volume II covers predicate logic... 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