| Directory > Science > Math > Logic and Foundations > Education Disjunction
Theory and history of the binary connective 'or'; from the Stanford Encyclopdia of Philosophy by
Ray Jennings.
http://plato.stanford.edu/entries/disjunction/
Reviews Rating: Not yet Rated
Whois Check
The Logic Cafe
An online textbook, courseware package, and homework assistant for introductory symbolic logic.
Includes multimedia support.
http://www.oakland.edu/phil/cafe/
Reviews Rating: Not yet Rated
Whois Check
ASL Committee on Logic Education
Reports and resources from the Association of Symbolic Logic.
http://www.phil.ucalgary.ca/asl-cle/
Reviews Rating: Not yet Rated
Whois Check
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/
Reviews Rating: Not yet Rated
Whois Check
OBBLOG
Logic construction toybox. Binary logic simulator to explain binary logic and truth tables.
Javascript.
http://www.geocities.com/nummolt/obblog/
Reviews Rating: Not yet Rated
Whois Check
Course on Description Logics
Slides and notes by Enrico Franconi.
http://www.cs.man.ac.uk/~franconi/dl/course/
Reviews Rating: Not yet Rated
Whois Check
logic-l
Elementary Logic Discussion List.
http://www.liszt.com/lists/logic-l/
Reviews Rating: Not yet Rated
Whois Check
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/
Reviews Rating: Not yet Rated
Whois Check
A Problem Course in Mathematical Logic; by Stefan Bilaniuk
Volume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness.
http://www.trentu.ca/academic/math/sb/misc/pcml.html
Reviews Rating: Not yet Rated
Whois Check
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.
http://thoralf.uwaterloo.ca/htdocs/lmcs.html
Reviews Rating: Not yet Rated
Whois Check
The Logic Daemon
On-line proof checker, and texts.
http://logic.tamu.edu/
Reviews Rating: Not yet Rated
Whois Check
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
Reviews Rating: Not yet Rated
Whois Check
Around Gödel's Theorem
(Hyper)textbook for students in mathematical logic, by Karlis Podnieks.
http://www.ltn.lv/~podnieks/
Reviews Rating: Not yet Rated
Whois Check
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
Reviews Rating: Not yet Rated
Whois Check
University of Alberta Logic Course
Contains an introduction to logic and formal systems, revolving around the Mizar proof checker, and
a guide to Mizar.
http://ugweb.cs.ualberta.ca/~c272/
Reviews Rating: Not yet Rated
Whois Check
Infinity
Exploring the logical basis and practical meaning of infinite sets.
http://www.c-parr.freeserve.co.uk/hcp/infinity.htm
Reviews Rating: Not yet Rated
Whois Check
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
Reviews Rating: Not yet Rated
Whois Check
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/
Reviews Rating: Not yet Rated
Whois Check
Core Concepts in Critical Thinking
A classroom guide.
http://www.kcmetro.cc.mo.us/longview/ctac/corenotes.htm
Reviews Rating: Not yet Rated
Whois Check
Stephen Downes : Fallacies
Stephen's Guide to the Logical Fallacies.
http://www.intrepidsoftware.com/fallacy/welcome.htm
Reviews Rating: Not yet Rated
Whois Check
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
Reviews Rating: Not yet Rated
Whois Check
Mission: Critical
Interactive tutorial for critical thinking.
http://www.sjsu.edu/depts/itl/
Reviews Rating: Not yet Rated
Whois Check
|
