Add your Web Site - Logic and Foundations - Education Add Search to your Site

Search for:
Results per page: Output format: Match: Pages from:
 
 
 
 Show pages from IntraNet   Show all pages
 DIRECTORY/Science/Tech/Math/Logic and Foundations/Education (18)
i0A 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.
 
i0ASL Committee on Logic Education - http://www.ucalgary.ca/philosophy/asl-cle/ - Reports and resources from the Association of Symbolic Logic.
 
i0Around Gödel's Theorem - http://www.ltn.lv/~podnieks/ - (Hyper)textbook for students in mathematical logic, by Karlis Podnieks.
 
i0Course on Description Logics - http://www.inf.unibz.it/~franconi/dl/course/ - Slides and notes by Enrico Franconi.
 
i0Disjunction - http://plato.stanford.edu/entries/disjunction/ - Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by Ray Jennings.
 
i0Formal 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.
 
i0Games 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.
 
i0Gö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.
 
i0Infinity - http://www.c-parr.freeserve.co.uk/hcp/infinity.htm - Exploring the logical basis and practical meaning of infinite sets.
 
i0Logic 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
 
i0Logic 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.
 
i0Logical 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.
 
i0Mission: Critical - http://www.sjsu.edu/depts/itl/ - Interactive tutorial for critical thinking.
 
i0The Daily Translation - http://www.univnorthco.edu/philosophy/trans.html - Problems on translation into a logical system, drawn from the current news and updated daily.
 
i0The Logic Cafe - http://www.oakland.edu/phil/cafe/ - An online textbook, courseware package, and homework assistant for introductory symbolic logic. Includes multimedia support.
 
i0The 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.
 
i0The Logic Daemon - http://logic.tamu.edu/ - On-line proof checker, and texts.
 
i0University 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.
 
 E-Mail: webmaster@teradex.com Copyright © 2007 Aaex Corp. all rights reserved.
   
Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
This site is presented in modified Open Directory form