Education Logic and Foundations Math

Education & Finance

Bluegrass DaVinci Fellowship - The Bluegrass DaVinci Fellowship is a group of shortwave enthusiasts who meet regularly to pursue interests in radio, computers, electronics, astronomy and nature. [Preview] First Southern National Bank - A Kentucky bank offering personalized service and Southern hospitality since 1983. Mortages, commercial lending, checking and savings accounts, IRA's and more. >> List Your Site Here << [Top]

Top: Science: Math: Logic_and_Foundations: Education:

• Top/Science/Math/Education

• - Reports and resources from the Association of Symbolic Logic.
  
• - On-line proof checker, and texts.
  
• - Logic construction toybox. Binary logic simulator to explain binary logic and truth tables. Javascript.
  
• - Hyperproof, Tarski's World, Turing's World, and The Language of First-order Logic, educational logic software by Jon Barwise and John Etchemendy
  
• - A classroom guide.
  
• - Exploring the logical basis and practical meaning of infinite sets.
  
• - Contains an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar.
  
• - Problems on translation into a logical system, drawn from the current news and updated daily.
  
• - An interactive tool teaching basic formal logic, rendering truth tables as clickable Johnston diagrams. With notes on the Buddhist Nagarjuna and modern symbolic logic.
  
• - Theory and history of the binary connective 'or'; from the Stanford Encyclopdia of Philosophy by Ray Jennings.
  
• - Interactive tutorial for critical thinking.
  
• - Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity.
  
• - G.J.Chaitin's proof of Gödel's theorem using arguments having an algorithmic information theory flavor.
  
• - Slides and notes by Enrico Franconi.
  
• - Supplementary material to Stanley Burris' logic textbook, with lecture notes, course development hints, and additional text including historical notes.
  
• - (Hyper)textbook for students in mathematical logic, by Karlis Podnieks.
  
• - A course in basic logic consisting of 5 studies with exercises and answers to promote the learning of logic. Homeschool, college, and seminary students.
  
• - Stephen's Guide to the Logical Fallacies.
  
• - Educational resource for users of the Language Proof and Logic textbook.
  
• - A repository for information related to formal methods in education, including pointers to existing courses and suggestions for examples and projects.
  
• - Volume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness.
  
• - An online textbook, courseware package, and homework assistant for introductory symbolic logic. Includes multimedia support.
  
• - Elementary Logic Discussion List.