Home
AllMusicListings
AllMusicTalk
MusicNews
Community
Blogs
AllMusicPages
AllMusicBookmarks
AllMusicFun
Music Auctions
Music Apparel
Music Store
|
Education (17) See Also:
Sites:
» A Problem Course in Mathematical Logic; by Stefan Bilaniuk
Volume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness. http://euclid.trentu.ca/math/sb/pcml/ » Around Gödel's Theorem
(Hyper)textbook for students in mathematical logic, by Karlis Podnieks. http://www.ltn.lv/~podnieks/ » Course on Description Logics
Slides and notes by Enrico Franconi. http://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. http://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. http://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. http://www.math.usf.edu/~mccolm/RGintro.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.cs.auckland.ac.nz/CDMTCS/chaitin/georgia.html » Infinity
Exploring the logical basis and practical meaning of infinite sets. http://www.c-parr.freeserve.co.uk/hcp/infinity.htm » 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://www-csli.stanford.edu/hp/ » 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://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. http://sakharov.net/logic.html » The Daily Translation
Problems on translation into a logical system, drawn from the current news and updated daily. http://www.univnorthco.edu/philosophy/trans.html » The Logic Cafe
An online textbook, courseware package, and homework assistant for introductory symbolic logic. Includes multimedia support. http://www.oakland.edu/phil/cafe/ » 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://www.sjsu.edu/faculty/carranza/ » University of Alberta Logic Course
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
The content of this directory is based on the Open Directory and has been modified by AllMusicSearch.com editors |