Educational Resources
Educational Resources Links
- 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.
- Around Gödel's Theorem (Hyper)textbook for students in mathematical logic, by Karlis Podnieks.
- Critical Thinking Books and Software Critical thinking products for home and classroom for use in mathematics, science, language arts, social studies, and more.
- 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.
- Games Mathematicians Play Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity.
- A Home Page for the Axiom of Choice Introduction and links collection by Eric Schechter.
- The Cantor Set Article in the Platonic Realms, describing a paradox of infinite sets in measure theory.
- Mathematics and Logic Site dedicated to Math and Logic education. Games, software, worksheets, puzzles.
- University of Alberta Logic Course Contains an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar.
- Foundations of Temporal Logic This site is 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.
- Core Concepts in Critical Thinking A classroom guide.
- Course on Description Logics Slides and notes by Enrico Franconi.
- Introduction to Logic and Recursion Theory Notes from the class taught by Prof. Sacks in the Spring of 1998.
- Stephen Downes : Fallacies Stephen's Guide to the Logical Fallacies.
- Mission: Critical Interactive tutorial for critical thinking.
- Conditionals and Counterfactuals An investigation into the definition and misuse of the word "if".
- Beginnings of Set Theory MacTutor History of Mathematics article.
- Lyceum Tutorial Services Philosophy and logic tutoring (paid services).
- The Daily Translation Problems on translation into a logical system, drawn from the current news and updated daily.
- logic-l Elementary Logic Discussion List
- 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
- Infinity Exploring the logical basis and practical meaning of infinite sets.
- A Problem Course in Mathematical Logic; by Stefan Bilaniuk Volume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness.
- 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.
- The Logic Daemon On-line proof checker, and texts.
- Gödel's Theorem and Information G.J.Chaitin's proof of Gödel's theorem using arguments having an algorithmic information theory flavor.
- Axiom of Choice and Continuum Hypothesis Part of the Frequently Asked Questions in Mathematics.
| Help build the largest human-edited directory on the web. |
| Submit a Site - Open Directory Project - Become an Editor |