Directory: Top/Science/Math/Logic_and

Top / Science / Math / Logic_and_Foundations / Education /

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.
http://www.cs.indiana.edu/formal-methods-education/
Indiana.edu ~ Site Info Whois Trace Route RBL Check

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.
http://logictutorial.com/
Logictutorial.com ~ Site Info Whois Trace Route RBL Check

The Logic Cafe
An online textbook, courseware package, and homework assistant for introductory symbolic logic. Includes multimedia support.
http://www.oakland.edu/phil/cafe/
Oakland.edu ~ Site Info Whois Trace Route RBL Check

Disjunction
Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by Ray Jennings.
http://plato.stanford.edu/entries/disjunction/
Stanford.edu ~ Site Info Whois Trace Route RBL Check

A Problem Course in Mathematical Logic; by Stefan Bilaniuk
Volume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness.
http://euclid.trentu.ca/math/sb/pcml/
Trentu.ca ~ Site Info Whois Trace Route RBL Check

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.
http://sakharov.net/logic.html
Sakharov.net ~ Site Info Whois Trace Route RBL Check

Course on Description Logics
Slides and notes by Enrico Franconi.
http://www.inf.unibz.it/~franconi/dl/course/
Unibz.it ~ Site Info Whois Trace Route RBL Check

ASL Committee on Logic Education
Reports and resources from the Association of Symbolic Logic.
http://www.ucalgary.ca/philosophy/asl-cle/
Ucalgary.ca ~ Site Info Whois Trace Route RBL Check