Science Central - All about Science

Monday, 23 November, 2009
Home  |  Submit Science Site  |  Add to Favorite  |  Contact

search
for
Directories
 
Category:  Science » Math » Logic and Foundations » Education UPDATE URL | REPORT BROKEN LINK

Logic Software from CSLI

 Popularity:    Hit: 509 | Visit: 41
Details
Hyperproof, Tarski's World, Turing's World, and The Language of First-order Logic, educational logic software by Jon Barwise and John Etchemendy

Sponsored Links:


URL:
Title:
Description:

Category:


Related sites
Mission: Critical (Popularity: ): Interactive tutorial for critical thinking.
The Daily Translation (Popularity: ): Problems on translation into a logical system, drawn from the current news and updated daily.
Core Concepts in Critical Thinking (Popularity: ): A classroom guide.
Games Mathematicians Play (Popularity: ): Mathematical games from a logical point of view: strategies for games and using games in ...
Infinity (Popularity: ): Exploring the logical basis and practical meaning of infinite sets.
University of Alberta Logic Course (Popularity: ): Contains an introduction to logic and formal systems, revolving around the Mizar proof checker, and ...
The Logic Classroom (Popularity: ): A course in basic logic consisting of 5 studies with exercises and answers to promote ...
Around Gödel's Theorem (Popularity: ): (Hyper)textbook for students in mathematical logic, by Karlis Podnieks.
Gödel's Theorem and Information (Popularity: ): G.J.Chaitin's proof of Gödel's theorem using arguments having an algorithmic information theory flavor.
The Logic Daemon (Popularity: ): On-line proof checker, and texts.

© 2005-2008 Science Central. All Rights Reserved

Home | Submit Science Site | Add to Favorite | Privacy | Contact