MERLOT Materials

Show results for

Filter by

25-48 of 49 results for MERLOT Materials

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

Logic problems good for use with sets, logic, and probability.

Information and sample tests on syllogisms.

This is a free textbook that is offered by Amazon for reading on a Kindle.  Anybody can read Kindle books—even without a... see more

Interactive textbook for introductory logic courses. Topics include: (i) Boolean searching (ii) propositional logic with... see more

A weblog in which issues of metamathematics are discussed.

Obblog2. Logic construction toybox. To explain binary logic, and truth tables. Binary logic simulator. It allows to keep... see more

An axiomatic theory called Real Set Theory is defined in which Generalized Continuum Hypothesis and Axiom of Choice are... see more

This is full of riddles for logic and analytical skills. Fun and educational!

Godel has proved that there are formulas in Elementary Arithmetic, which will introduce contradictions, irrespective of... see more

This is a free textbook that is offered by Amazon for reading on a Kindle.  Anybody can read Kindle books—even without a... see more

The mathematical universe discussed here gives models of possible structures our physical universe can have.

The mathematical universe discussed here gives models of possible structures our physical universe can have.

This page generates random truth table problems involving two simple statements P and Q. The user enters solutions and... see more

'In my experience students often struggle to understand Predicate Logic: they drown in the complicated notation; they do... see more

This video was recorded at Machine Learning Summer School (MLSS), Canberra 2002. Machine Learning is a foundational... see more

This video was recorded at 7th International Semantic Web Conference (ISWC), Karlsruhe 2008. We propose a novel method... see more

An author's Snapshot for Foundations of Computer Science for the material found in MERLOT at... see more

This video was recorded at Conference honoring the Winners of the Kurt Gödel Research Prize Fellowships 2008 and 2011.... see more

This video was recorded at European Summer School in Logic, Language and Information. For the past 23 years, the European... see more

'This is a textbook (or better, a workbook) in modern philosophy. It combines readings from primary sources with two... see more

This video was recorded at Solomon seminar. The study of noncommutative lattices began in 1949 with Pascual Jordan,... see more

This video was recorded at Conference honoring the Winners of the Kurt Gödel Research Prize Fellowships 2008 and 2011.... see more

This video was recorded at European Summer School in Logic, Language and Information. The paradigm example of a quantity... see more