Home
Music_Metasearch
Music Top Sites
Music Store

AllMusicListings
Concert Listings
Concert Tickets

AllMusicTalk
Chat Rooms
Message Boards

MusicNews
Pop Music News
Pop Music Reviews
Music Business
MP3 News

Community Blogs
Free Member Blogs

AllMusicPages
Free Web Pages

AllMusicBookmarks
Your Bookmarks

AllMusicFun
Musical Postcards
Relationship Test
Tarot Readings
Numerology

Music Auctions
Auctions
Classifieds

Music Apparel
AllMusicSearch Apparel

Music Store
MP3 Players
Audio Equipment
MP3 Software

Musical Instruments

Music Books
Music Magazines

Music T-Shirts

Alternative Rock
Blues
Broadway & Vocal
Children's
Christian & Gospel
Classic Rock
Classical
Country
Dance & DJ
Folk
Hard Rock & Metal
International
Jazz
Latin Music
Miscellaneous
New Age
Opera & Vocal
Pop
R&B
Rap & Hip-Hop
Rock
Soundtracks

Music Videos
Music DVDs

AllMusicSearch Music Directory
Web Directory
AllMusicSearch.com Music Guide

Education (17)

See Also:
Sites:

http://euclid.trentu.ca/math/sb/pcml/
» A Problem Course in Mathematical Logic; by Stefan Bilaniuk Open in a new browser window
   Volume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness.
   http://euclid.trentu.ca/math/sb/pcml/
http://www.ltn.lv/~podnieks/
» Around Gödel's Theorem Open in a new browser window
   (Hyper)textbook for students in mathematical logic, by Karlis Podnieks.
   http://www.ltn.lv/~podnieks/
http://www.inf.unibz.it/~franconi/dl/course/
» Course on Description Logics Open in a new browser window
   Slides and notes by Enrico Franconi.
   http://www.inf.unibz.it/~franconi/dl/course/
http://plato.stanford.edu/entries/disjunction/
» Disjunction Open in a new browser window
   Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by Ray Jennings.
   http://plato.stanford.edu/entries/disjunction/
http://www.cs.indiana.edu/formal-methods-education/
» Formal Methods Educational Materials Open in a new browser window
   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/
http://www.math.usf.edu/~mccolm/RGintro.html
» Games Mathematicians Play Open in a new browser window
   Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity.
   http://www.math.usf.edu/~mccolm/RGintro.html
http://www.cs.auckland.ac.nz/CDMTCS/chaitin/georgia.html
» Gödel's Theorem and Information Open in a new browser window
   G.J.Chaitin's proof of Gödel's theorem using arguments having an algorithmic information theory flavor.
   http://www.cs.auckland.ac.nz/CDMTCS/chaitin/georgia.html
http://www.c-parr.freeserve.co.uk/hcp/infinity.htm
» Infinity Open in a new browser window
   Exploring the logical basis and practical meaning of infinite sets.
   http://www.c-parr.freeserve.co.uk/hcp/infinity.htm
http://www-csli.stanford.edu/hp/
» Logic Software from CSLI Open in a new browser window
   Hyperproof, Tarski's World, Turing's World, and The Language of First-order Logic, educational logic software by Jon Barwise and John Etchemendy
   http://www-csli.stanford.edu/hp/
http://logictutorial.com/
» Logic Tutorial Open in a new browser window
   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/
http://sakharov.net/logic.html
» Logical Laws Open in a new browser window
   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
http://www.sjsu.edu/depts/itl/
» Mission: Critical Open in a new browser window
   Interactive tutorial for critical thinking.
   http://www.sjsu.edu/depts/itl/
http://www.univnorthco.edu/philosophy/trans.html
» The Daily Translation Open in a new browser window
   Problems on translation into a logical system, drawn from the current news and updated daily.
   http://www.univnorthco.edu/philosophy/trans.html
http://www.oakland.edu/phil/cafe/
» The Logic Cafe Open in a new browser window
   An online textbook, courseware package, and homework assistant for introductory symbolic logic. Includes multimedia support.
   http://www.oakland.edu/phil/cafe/
http://www.sjsu.edu/faculty/carranza/
» The Logic Classroom Open in a new browser window
   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://www.sjsu.edu/faculty/carranza/
http://logic.tamu.edu/
» The Logic Daemon Open in a new browser window
   On-line proof checker, and texts.
   http://logic.tamu.edu/
http://ugweb.cs.ualberta.ca/~c272/
» University of Alberta Logic Course Open in a new browser window
   Includes an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar.
   http://ugweb.cs.ualberta.ca/~c272/

This category needs an editor

Last Updated: 2007-01-02 17:54:51



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

The content of this directory is based on the Open Directory and has been modified by AllMusicSearch.com editors

Free previews by Thumbshots.org