|
|
|
|
Home / Science / Math / Logic and Foundations / Educational Resources
|
|
|
|
Web Sites
|
- A Home Page for the Axiom of Choice - Introduction and links collection by Eric Schechter.
math.vanderbilt.edu/~schectex/ccc/choice.html
- A Problem Course in Mathematical Logic; by Stefan Bilaniuk - Volume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness.
www.trentu.ca/academic/math/sb/misc/pcml.html
- Around Gödel's Theorem - (Hyper)textbook for students in mathematical logic, by Karlis Podnieks.
www.ltn.lv/~podnieks
- ASL Committee on Logic Education - Reports and resources from the Association of Symbolic Logic.
www.phil.ucalgary.ca/asl-cle
- Axiom of Choice and Continuum Hypothesis - Part of the Frequently Asked Questions in Mathematics.
www.cs.unb.ca/~alopez-o/math-faq/mathtext/node34.html
- Beginnings of Set Theory - MacTutor History of Mathematics article.
www-groups.dcs.st-and.ac.uk/~history/HistTopics/Beginnings_of_set_theory.html
- Conditionals and Counterfactuals - An investigation into the definition and misuse of the word "if".
www.c-parr.freeserve.co.uk/hcp/if.htm
- Core Concepts in Critical Thinking - A classroom guide.
www.kcmetro.cc.mo.us/longview/ctac/corenotes.htm
- Course on Description Logics - Slides and notes by Enrico Franconi.
www.cs.man.ac.uk/~franconi/dl/course
- Critical Thinking Books and Software - Critical thinking products for home and classroom for use in mathematics, science, language arts, social studies, and more.
www.criticalthinking.com
- Disjunction - Theory and history of the binary connective 'or'; from the Stanford Encyclopdia of Philosophy by Ray Jennings.
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.
www.cs.indiana.edu/formal-methods-education
- Foundations of Temporal Logic - Devoted to the Life and Work of Arthur Norman Prior (1914-69), the founding father of temporal logic. A special emphasis is placed on Prior's papers in The Bodleian Library, Oxford.
www.hum.auc.dk/prior
- Games Mathematicians Play - Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity.
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.
www.cs.auckland.ac.nz/CDMTCS/chaitin/georgia.html
- Infinity - Exploring the logical basis and practical meaning of infinite sets.
www.c-parr.freeserve.co.uk/hcp/infinity.htm
- Introduction to Logic and Recursion Theory - Notes from the class taught by Prof. Sacks in the Spring of 1998.
www.media.mit.edu/physics/pedagogy/babbage/texts/rt.html
- 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.
thoralf.uwaterloo.ca/htdocs/lmcs.html
- 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
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.
logictutorial.com
- logic-l - Elementary Logic Discussion List.
www.liszt.com/lists/logic-l
- Lyceum Tutorial Services - Philosophy and logic tutoring (paid services).
www.helpinschool.com/philosophy.html
- Mathematics and Logic - Site dedicated to Math and Logic education. Games, software, worksheets, puzzles.
www.mathsboost.com
- Mission: Critical - Interactive tutorial for critical thinking.
www.sjsu.edu/depts/itl
- OBBLOG - Logic construction toybox. Binary logic simulator to explain binary logic and truth tables. Javascript.
www.geocities.com/nummolt/obblog
- Stephen Downes : Fallacies - Stephen's Guide to the Logical Fallacies.
www.intrepidsoftware.com/fallacy/welcome.htm
- The Cantor Set - Article in the Platonic Realms, describing a paradox of infinite sets in measure theory.
www.mathacademy.com/platonic_realms/encyclop/articles/cantset.html
- The Daily Translation - Problems on translation into a logical system, drawn from the current news and updated daily.
www.univnorthco.edu/philosophy/trans.html
- The Logic Cafe - An online textbook, courseware package, and homework assistant for introductory symbolic logic. Includes multimedia support.
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.
www.sjsu.edu/faculty/carranza
- The Logic Daemon - On-line proof checker, and texts.
logic.tamu.edu
- University of Alberta Logic Course - Contains an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar.
ugweb.cs.ualberta.ca/~c272
|
|
|
|
|