Google
  Web education.logic-and-foundations.math.sciencenter.work
Education Sites

Science Math Logic and Foundations Education
Science Math Logic and Foundations Education sites
Education.Logic-and-Foundations.Math.sciencenter.work
Science Math Logic and Foundations Education
Science Math Logic and Foundations Education sites
Education.Logic-and-Foundations.Math.science-sites.work
Around Gödel's Theorem
(Hyper)textbook for students in mathematical logic , by Karlis Podnieks.
www.ltn.lv/~podnieks/
ASL Committee on Logic Education
Reports and resources from the Association of Symbolic Logic.
www.ucalgary.ca/aslcle/
Course on Description Logics
Slides and notes by Enrico Franconi.
www.inf.unibz.it/~franconi/dl/course/
Disjunction
Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by Ray Jennings.
plato.stanford.edu/entries/disjunction/
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.
www.cs.indiana.edu/formal-methods-education/
Games Mathematicians Play
Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity.
www.math.usf.edu/~mccolm/RGintro.html
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.
logictutorial.com/
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.
sakharov.net/logic.html
The Logic Cafe
An online textbook , courseware package , and homework assistant for introductory symbolic logic. Includes multimedia support.
www.oakland.edu/phil/cafe/
The Logic Daemon
On-line proof checker , and texts.
logic.tamu.edu/
University of Alberta Logic Course
Includes an introduction to logic and formal systems , revolving around the Mizar proof checker , and a guide to Mizar.
ugweb.cs.ualberta.ca/~c272/

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Directory listings are provided by Open Directory and modified by education.logic-and-foundations.math.sciencenter.work


Home | Links Exchange| Contact | Directory | Domain Name Registration | Links | My Sites


Copyleft 2005 education.logic-and-foundations.math.sciencenter.work