 |
|  |
||||||||||
 |
||||||||||||
  |
||||||||||||
|
Core Concepts in Critical Thinking
A classroom guide.
logic-l
Elementary Logic Discussion List.
OBBLOG
Logic construction toybox. Binary logic simulator to explain binary logic and truth tables. Javascript.
University of Alberta Logic Course
Contains 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.
Mission: Critical
Interactive tutorial for critical thinking.
A Problem Course in Mathematical Logic; by Stefan Bilaniuk
Volume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness.
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.
Infinity
Exploring the logical basis and practical meaning of infinite sets.
|
|
||
 |
|||