Education (Logic and Foundations)

Education Sites:

Games Mathematicians Play Games Mathematicians Play: Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity. (Education) http://www.math.usf.edu/~mccolm/RGintro.html The Daily Translation The Daily Translation: Problems on translation into a logical system, drawn from the current news and updated daily. (Education) http://www.univnorthco.edu/philosophy/trans.html Mission: Critical Mission: Critical: Interactive tutorial for critical thinking. (Education) http://www.sjsu.edu/depts/itl/ Stephen Downes : Fallacies Stephen Downes : Fallacies: Stephen's Guide to the Logical Fallacies. (Education) http://www.intrepidsoftware.com/fallacy/welcome.htm Logic Software from CSLI 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 (Education) http://www-csli.stanford.edu/hp/ OBBLOG OBBLOG: Logic construction toybox. Binary logic simulator to explain binary logic and truth tables. Javascript. (Education) http://www.geocities.com/nummolt/obblog/ Language Proof and Logic Solutions Language Proof and Logic Solutions: Educational resource for users of the Language Proof and Logic textbook. (Education) http://www.geocities.com/lplsolutions/ Core Concepts in Critical Thinking Core Concepts in Critical Thinking: A classroom guide. (Education) http://www.kcmetro.cc.mo.us/longview/ctac/corenotes.htm Gödel's Theorem and Information Gödel's Theorem and Information: G.J.Chaitin's proof of Gödel's theorem using arguments having an algorithmic information theory flavor. (Education) http://www.cs.auckland.ac.nz/CDMTCS/chaitin/georgia.html The Logic Classroom 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. (Education) http://www.sjsu.edu/faculty/carranza University of Alberta Logic Course University of Alberta Logic Course: Contains an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar. (Education) http://ugweb.cs.ualberta.ca/~c272/ Around Gödel's Theorem Around Gödel's Theorem: (Hyper)textbook for students in mathematical logic, by Karlis Podnieks. (Education) http://www.ltn.lv/~podnieks/ The Logic Cafe The Logic Cafe: An online textbook, courseware package, and homework assistant for introductory symbolic logic. Includes multimedia support. (Education) http://www.oakland.edu/phil/cafe/ Infinity Infinity: Exploring the logical basis and practical meaning of infinite sets. (Education) http://www.c-parr.freeserve.co.uk/hcp/infinity.htm Logic Tutorial 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. (Education) http://logictutorial.com/ logic-l logic-l: Elementary Logic Discussion List. (Education) http://www.liszt.com/lists/logic-l/ The Logic Daemon The Logic Daemon: On-line proof checker, and texts. (Education) http://logic.tamu.edu/ Logic for Mathematics and Computer Science Logic for Mathematics and Computer Science: Supplementary material to Stanley Burris' logic textbook, with lecture notes, course development hints, and additional text including historical notes. (Education) http://thoralf.uwaterloo.ca/htdocs/lmcs.html Formal Methods Educational Materials 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. (Education) http://www.cs.indiana.edu/formal-methods-education/ Disjunction Disjunction: Theory and history of the binary connective 'or'; from the Stanford Encyclopdia of Philosophy by Ray Jennings. (Education) http://plato.stanford.edu/entries/disjunction/ A Problem Course in Mathematical Logic; by Stefan Bilaniuk A Problem Course in Mathematical Logic; by Stefan Bilaniuk: Volume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness. (Education) http://www.trentu.ca/academic/math/sb/misc/pcml.html Course on Description Logics Course on Description Logics: Slides and notes by Enrico Franconi. (Education) http://www.cs.man.ac.uk/~franconi/dl/course/ ASL Committee on Logic Education ASL Committee on Logic Education: Reports and resources from the Association of Symbolic Logic. (Education) http://www.phil.ucalgary.ca/asl-cle/