Guest! Login/Join

DomainTools.com
Whois Domain Search Domain Suggestions For Sale Sales History Auction Search Domain Monitor Domain Directory
Ping Traceroute My IP Address Domain Parking Cheap Domain Name Registration Bulk Check Domain Typo Generator more>
Power Tools: Reverse IP Domain History Mark Alert Name Server Spy Hosting History Registrant Search Registrant Alert

 

Education


Directory > Science > Math > Logic_and_Foundations > Education
Related Categories:
   Science > Math > Education (640)


666 Listings - DR (6/10)666 Listings - DR (6/10) 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.
33 Listings - DR (6/10)33 Listings - DR (6/10) The Logic Cafe - http://www.oakland.edu/phil/cafe/
An online textbook, courseware package, and homework assistant for introductory symbolic logic. Includes multimedia support.
1,861 Listings - DR (6/10)1,861 Listings - DR (6/10) Disjunction - http://plato.stanford.edu/entries/disjunction/
Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by Ray Jennings.
1,861 Listings - DR (6/10)1,861 Listings - DR (6/10) Logic Software from CSLI - 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
3,169 Listings - DR (6/10)3,169 Listings - DR (6/10) Infinity - http://www.c-parr.freeserve.co.uk/hcp/infinity.htm
Exploring the logical basis and practical meaning of infinite sets.
309 Listings - DR (6/10)309 Listings - DR (6/10) 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.
On Target - DR (5/10)On Target - DR (5/10) 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.
8 Listings - DR (5/10)8 Listings - DR (5/10) 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.
10 Listings - DR (4/10)10 Listings - DR (4/10) Course on Description Logics - http://www.inf.unibz.it/~franconi/dl/course/
Slides and notes by Enrico Franconi.
106 Listings - DR (3/10)106 Listings - DR (3/10) The Logic Classroom - 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, college, and seminary students.
106 Listings - DR (3/10)106 Listings - DR (3/10) Mission: Critical - http://www.sjsu.edu/depts/itl/
Interactive tutorial for critical thinking.
1,196 Listings - DR (3/10)1,196 Listings - DR (3/10) The Logic Daemon - http://logic.tamu.edu/
On-line proof checker, and texts.
539 Listings - DR (2/10)539 Listings - DR (2/10) ASL Committee on Logic Education - http://www.ucalgary.ca/philosophy/asl-cle/
Reports and resources from the Association of Symbolic Logic.
409 Listings - DR (2/10)409 Listings - DR (2/10) 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.
63 Listings - DR (2/10)63 Listings - DR (2/10) A Problem Course in Mathematical Logic; by Stefan Bilaniuk - http://euclid.trentu.ca/math/sb/pcml/
Volume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness.
166 Listings - DR (1/10)166 Listings - DR (1/10) Gödel's Theorem and Information - http://www.cs.auckland.ac.nz/CDMTCS/chaitin/georgia.html
G.J.Chaitin's proof of Gödel's theorem using arguments having an algorithmic information theory flavor.
18 Listings - DR (1/10)18 Listings - DR (1/10) Around Gödel's Theorem - http://www.ltn.lv/~podnieks/
(Hyper)textbook for students in mathematical logic, by Karlis Podnieks.
On Target - DR (0/10)On Target - DR (0/10) The Daily Translation - http://www.univnorthco.edu/philosophy/trans.html
Problems on translation into a logical system, drawn from the current news and updated daily.

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

Domain Tools analysis of DMOZ top listed domains