MERLOT Materials
Show results for
Filter by
- Logic (49)
- Set Theory (26)
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
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 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