Directory of Education Resources

Home > Science > Math > Logic and Foundations > Education

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.

Resources in This Category

• Around Gödel's Theorem

  http://www.ltn.lv/~podnieks/
  (Hyper)textbook for students in mathematical logic, by Karlis Podnieks.

• ASL Committee on Logic Education

  http://www.ucalgary.ca/aslcle/
  Reports and resources from the Association of Symbolic Logic.

• Course on Description Logics

  http://www.inf.unibz.it/~franconi/dl/course/
  Slides and notes by Enrico Franconi.

• Disjunction

  http://plato.stanford.edu/entries/disjunction/
  Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by Ray Jennings.

• Formal Methods Educational Materials

  http://www.cs.indiana.edu/formal-methods-education/
  A repository for information related to formal methods in education, including pointers to existing courses and suggestions for examples and projects.

• Games Mathematicians Play

  http://www.math.usf.edu/~mccolm/RGintro.html
  Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity.

• Logic Tutorial

  http://logictutorial.com/
  An interactive tool teaching basic formal logic, rendering truth tables as clickable Johnston diagrams. With notes on the Buddhist Nagarjuna and modern symbolic logic.

• Logical Laws

  http://sakharov.net/logic.html
  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.

• The Logic Cafe

  http://www.oakland.edu/phil/cafe/
  An online textbook, courseware package, and homework assistant for introductory symbolic logic. Includes multimedia support.

• The Logic Daemon

  http://logic.tamu.edu/
  On-line proof checker, and texts.

• University of Alberta Logic Course

  http://ugweb.cs.ualberta.ca/~c272/
  Includes an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar.

Related Categories

• Home > Science > Math > Education

 

Home > Science > Math > Logic and Foundations > Education

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us