free sites directory
Arts Business Computers Games Health Home News Recreation Reference Regional Science Shopping Teens

Smart Dir : free sites directory. Science Math Logic and Foundations Education. Directory of Science Math Logic and Foundations Education.

Google

Top: Science: Math: Logic_and_Foundations: Education:

See also:

    http://www.ltn.lv/~podnieks/   » Around Gödel's Theorem - (Hyper)textbook for students in mathematical logic, by Karlis Podnieks.

    http://www.ucalgary.ca/philosophy/asl-cle/   » ASL Committee on Logic Education - Reports and resources from the Association of Symbolic Logic.

    http://www.inf.unibz.it/~franconi/dl/course/   » Course on Description Logics - Slides and notes by Enrico Franconi.

    http://www.univnorthco.edu/philosophy/trans.html   » The Daily Translation - Problems on translation into a logical system, drawn from the current news and updated daily.

    http://plato.stanford.edu/entries/disjunction/   » Disjunction - Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by Ray Jennings.

    http://www.cs.indiana.edu/formal-methods-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.math.usf.edu/~mccolm/RGintro.html   » Games Mathematicians Play - Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity.

    http://www.cs.auckland.ac.nz/CDMTCS/chaitin/georgia.html   » Gödel's Theorem and Information - G.J.Chaitin's proof of Gödel's theorem using arguments having an algorithmic information theory flavor.

    http://www.c-parr.freeserve.co.uk/hcp/infinity.htm   » Infinity - Exploring the logical basis and practical meaning of infinite sets.

    http://www.oakland.edu/phil/cafe/   » The Logic Cafe - An online textbook, courseware package, and homework assistant for introductory symbolic logic. Includes multimedia support.

    http://www.sjsu.edu/faculty/carranza/   » The Logic Classroom - A course in basic logic consisting of 5 studies with exercises and answers to promote the learning of logic. Homeschool, college, and seminary students.

    http://logic.tamu.edu/   » The Logic Daemon - On-line proof checker, and texts.

    http://www-csli.stanford.edu/hp/   » Logic Software from CSLI - Hyperproof, Tarski's World, Turing's World, and The Language of First-order Logic, educational logic software by Jon Barwise and John Etchemendy

    http://logictutorial.com/   » 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://sakharov.net/logic.html   » 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://www.sjsu.edu/depts/itl/   » Mission: Critical - Interactive tutorial for critical thinking.

    http://euclid.trentu.ca/math/sb/pcml/   » A Problem Course in Mathematical Logic; by Stefan Bilaniuk - Volume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness.

    http://ugweb.cs.ualberta.ca/~c272/   » University of Alberta Logic Course - Includes an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar.

Help build the largest human-edited directory on the web.
Soumettre un site - Open Directory Project - Devenir Editeur

Copyright © Smart Dir

Locations Vacances | Vacances | Hotels | Destinations Vacances | Hotels