MERLOT Materials

Filter by

1-24 of 52 results for: MERLOT Materials

A+Click Math Skill Self-Study Tests... A+Click Math Skill Self-Study Tests for Grade 1 to 12

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

Solve a 4x4 Sudoku Puzzle

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

We use mathematics

WeUseMath.org is a non-profit website that helps to answer this question. This website describes the importance of... see more

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

Interaktive Logik (Gateway to Logic)... Interaktive Logik (Gateway to Logic) (CG1-1)

interactive propositional logic; show syntax tree, alpha graph, Fregean notation of propositions; display truth tables,... see more

Learn how to write mathematical... Learn how to write mathematical proofs

PC-based software and interactive tutorial to learn how to write mathematical proofs. Makes use of innovative... see more

Mathematical Logic

Conteudo de Logica Matematica em Portugues

Metamath Solitaire

This applet lets you build simple mathematical proofs from axioms in logic and set theory.

Proofs and Concepts: the fundamentals... Proofs and Concepts: the fundamentals of abstract mathematics

This is a free, online textbook. According to the author, "This free undergraduate textbook provides an introduction to... see more

UAbacus App for iPad

'With the UAbacus you can add and subtract numbers using the "logic method" for abacus computation. Those learning abacus... see more

18.100A Introduction to Analysis... 18.100A Introduction to Analysis (MIT)

Analysis I (18.100) in its various versions covers fundamentals of mathematical analysis: continuity, differentiability,... see more

18.S996 Category Theory for... 18.S996 Category Theory for Scientists (MIT)

The goal of this class is to prove that category theory is a powerful language for understanding and formalizing common... see more

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... see more

Formal Logic

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

Logic and Proofs

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

Principles of Logic and Argumentation

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

Boolean Searching on the Internet

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... 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

Foundations of Computer Science

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

Intro to Logic

This is 'an introduction to reasoning with propositional and first-order logic, with applications to computer science. It... see more

Introduction to Logic

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

Logic and Proofs

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

Truth Table Constructor

Truth Table Constructor creates truth tables for statements in propositional logic. It allows entry of up to six... see more