Top » Science » Math » Logic_and_Foundations » Education

Deprecated: Function eregi_replace() is deprecated in /home/chroot/home/sports/htdocs/index.php on line 128

Deprecated: Function ereg_replace() is deprecated in /home/chroot/home/sports/htdocs/index.php on line 129

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.

Education

• A Problem Course in Mathematical Logic; by Stefan Bilaniuk Volume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness.
• Around Gödel's Theorem (Hyper)textbook for students in mathematical logic, by Karlis Podnieks.
• ASL Committee on Logic Education Reports and resources from the Association of Symbolic Logic.
• Core Concepts in Critical Thinking A classroom guide.
• Core Concepts in Critical Thinking Heavy, but required, reading for anyone serious about the effective teaching of problem solving skills.
• Course on Description Logics Slides and notes by Enrico Franconi.
• Disjunction Theory and history of the binary connective 'or'; from the Stanford Encyclopdia of Philosophy by Ray Jennings.
• Disjunction Theory and history of the binary connective 'or'; by Ray Jennings.
• Fallacies A guide to argument and logical fallacies.
• 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.
• Games Mathematicians Play Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity.
• Gödel's Theorem and Information G.J.Chaitin's proof of Gödel's theorem using arguments having an algorithmic information theory flavor.
• Gödel's Theorem and Information A G.J.Chaitin proof of Gödel's Theorem using arguments having an algorithmic information theory flavor.
• Hector Parr's Essays: Infinity Includes a look at the concept of infinity and the logical flaws in the different contexts of infinity.
• Infinity Exploring the logical basis and practical meaning of infinite sets.
• Language Proof and Logic Solutions Educational resource for users of the Language Proof and Logic textbook.
• 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.
• 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
• 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.
• logic-l Elementary Logic Discussion List.
• Mathematical Logic "A Problem Course in Mathematical Logic" by Stefan Bilaniuk in LaTeX, PostScript or PDF.
• Mission: Critical Interactive tutorial for critical thinking.
• Mission: Critical interactive tutorial for critical thinking, in which you will be introduced to basic concepts through sets of instructions and exercises
• OBBLOG Logic construction toybox. Binary logic simulator to explain binary logic and truth tables. Javascript.
• Stephen Downes : Fallacies Stephen's Guide to the Logical Fallacies.
• The Daily Translation Problems on translation into a logical system, drawn from the current news and updated daily.
• The Logic Cafe An online textbook, courseware package, and homework assistant for introductory symbolic logic. Includes multimedia support.
• 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.
• University of Alberta Logic Course Contains an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar.

 

 

Copyright ©2000-2012 SPORT FR (121.44ms)

Apportez votre contribution à l'annuaire le plus complet du Web (avec évaluateurs « humains » !). Proposer un site - Open Directory Project - Devenir évaluateur de site