This category is for those sites on mathematical logic (and related topics) that are of interest to the general public rather than to professional mathematicians.
Related categories 1
Sites 11
- Games Mathematicians Play Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity.
- University of Alberta Logic Course Includes an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar.
- Around Gödel's Theorem (Hyper)textbook for students in mathematical logic, by Karlis Podnieks.
- The Logic Daemon On-line proof checker, and texts.
- Formal Methods Educational Materials A repository for information related to formal methods in education, including pointers to existing courses and suggestions for examples and projects.
- Logic Tutorial An interactive tool teaching basic formal logic, rendering truth tables as clickable Johnston diagrams. With notes on the Buddhist Nagarjuna and modern symbolic logic.
- The Logic Cafe An online textbook, courseware package, and homework assistant for introductory symbolic logic. Includes multimedia support.
- Disjunction Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by Ray Jennings.
- Logical Laws This page includes a collection of logical laws of the first-order logic. This collection is based on the Kleene's collection from his books 'Introduction to Metamathematics' and 'Mathematical Logic' and includes a few additions.
- Course on Description Logics Slides and notes by Enrico Franconi.
- ASL Committee on Logic Education Reports and resources from the Association of Symbolic Logic.