MERLOT Materials

This power point presentation, in kiosk mode, allows the user to explore rows, columns, and cells of a 4x4... see more

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

This is a stand alone instructional resource created in PowerPoint and designed to teach students how to use the order of... see more

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

Generalized Continuum Hypothesis is derived from a simple axiom called Axiom of Combinatorial Sets.

Intuitive Set Theory (IST) is defined as the theory we get, when we add Axiom of Monotonicity and Axiom of Fusion to... see more

A Complex Scientific Calculator with full support of Complex Functions of Complex Variables. Using the Memory Variables... see more

Touch Fraction: (Android interactive fraction) About fractions, and the construction of the rational numbers. Fractions:... see more

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

This site provides an extremely large encyclopedia-style collection of material related to mathematics at the college... see more

A Concise Introduction to Logic is an introduction to formal logic suitable for undergraduates taking a general education... 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 book is an introduction to basic mathematics and is intended for students who need to reach the minimum level of... see more

This site contains several hundred articles concerned with mathematics and physics. General topics include Number Theory,... 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

The author offers reflections on specific questions mathematicians and philosophers have asked about the infinite over... 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