Sponsored Links:
The Logic Classroom (Popularity:  )
http://www.sjsu.edu/faculty/carranza
A course in basic logic consisting of 5 studies with exercises and answers to promote the learning of logic. Homeschool, ...
|
Around Gödel's Theorem (Popularity: )
http://www.ltn.lv/~podnieks/
(Hyper)textbook for students in mathematical logic, by Karlis Podnieks.
|
The Logic Daemon (Popularity: )
http://logic.tamu.edu/
On-line proof checker, and texts.
|
Formal Methods Educational Materials (Popularity: )
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 ...
|
logic-l (Popularity: )
http://www.liszt.com/lists/logic-l/
Elementary Logic Discussion List.
|
Course on Description Logics (Popularity: )
http://www.cs.man.ac.uk/~franconi/dl/course/
Slides and notes by Enrico Franconi.
|
OBBLOG (Popularity: )
http://www.geocities.com/nummolt/obblog/
Logic construction toybox. Binary logic simulator to explain binary logic and truth tables. Javascript.
|
Logic Tutorial (Popularity: )
http://logictutorial.com/
An interactive tool teaching basic formal logic, rendering truth tables as clickable Johnston diagrams. With notes on the Buddhist Nagarjuna ...
|
ASL Committee on Logic Education (Popularity: )
http://www.phil.ucalgary.ca/asl-cle/
Reports and resources from the Association of Symbolic Logic.
|
The Logic Cafe (Popularity: )
http://www.oakland.edu/phil/cafe/
An online textbook, courseware package, and homework assistant for introductory symbolic logic. Includes multimedia support.
|
Disjunction (Popularity: )
http://plato.stanford.edu/entries/disjunction/
Theory and history of the binary connective 'or'; from the Stanford Encyclopdia of Philosophy by Ray Jennings.
|
A Problem Course in Mathematical Logic; by Stefan Bilaniuk (Popularity: )
http://euclid.trentu.ca/math/sb/pcml/
Volume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness.
|
Mission: Critical (Popularity: )
http://www.sjsu.edu/depts/itl/
Interactive tutorial for critical thinking.
|
The Daily Translation (Popularity: )
http://www.univnorthco.edu/philosophy/trans.html
Problems on translation into a logical system, drawn from the current news and updated daily.
|
Logic Software from CSLI (Popularity: )
http://www-csli.stanford.edu/hp/
Hyperproof, Tarski's World, Turing's World, and The Language of First-order Logic, educational logic software by Jon Barwise and John Etchemendy
|
Games Mathematicians Play (Popularity: )
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.
|
University of Alberta Logic Course (Popularity: )
http://ugweb.cs.ualberta.ca/~c272/
Contains an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar.
|
