# MERLOT Materials

#### Filter by

1-24 of 49 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

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

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