Searchpixie.com: Unknown Tag: 'title

SearchPixie - High Traffic Pay per Click Search Engine

Home: Science: Math: Logic and Foundations: Education
Featured Listing: LINKS:
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/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Around Gödel's Theorem (Hyper)textbook for students in mathematical logic, by Karlis Podnieks. http://www.ltn.lv/~podnieks/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Course on Description Logics Slides and notes by Enrico Franconi. http://www.inf.unibz.it/~franconi/dl/course/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Disjunction Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by Ray Jennings. http://plato.stanford.edu/entries/disjunction/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It 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/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It 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 (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It 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 (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It 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/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It 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/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It 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 (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Mission: Critical Interactive tutorial for critical thinking. http://www.sjsu.edu/depts/itl/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It 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 (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It The Logic Cafe An online textbook, courseware package, and homework assistant for introductory symbolic logic. Includes multimedia support. http://www.oakland.edu/phil/cafe/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It 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/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It The Logic Daemon On-line proof checker, and texts. http://logic.tamu.edu/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It 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/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

• HOME • ADD A LINK •