Education Logic and Foundations Math
Education Logic and Foundations Math
This category is for those sites on mathematical logic (and related topics) that are of interest to the general public rather than to professional mathematicians.
Top: Science: Math: Logic and Foundations: Education
See Also:
-
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
-
A Problem Course in Mathematical Logic; by Stefan Bilaniuk - Volume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness.
-
Mission: Critical - Interactive tutorial for critical thinking.
-
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.
-
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.
-
The Daily Translation - Problems on translation into a logical system, drawn from the current news and updated daily.
-
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.
-
Disjunction - Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by Ray Jennings.
-
Course on Description Logics - Slides and notes by Enrico Franconi.
-
ASL Committee on Logic Education - Reports and resources from the Association of Symbolic Logic.
-
Games Mathematicians Play - Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity.
-
The Logic Cafe - An online textbook, courseware package, and homework assistant for introductory symbolic logic. Includes multimedia support.
-
University of Alberta Logic Course - Includes an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar.
-
Gödel's Theorem and Information - G.J.Chaitin's proof of Gödel's theorem using arguments having an algorithmic information theory flavor.
-
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.
-
Infinity - Exploring the logical basis and practical meaning of infinite sets.
-
The Logic Daemon - On-line proof checker, and texts.
-
Around Gödel's Theorem - (Hyper)textbook for students in mathematical logic, by Karlis Podnieks.
Click here to add, change or remove your listing
|
