Science Central - All about Science

Thursday, 8 January, 2009
Home  |  Submit Science Site  |  Add to Favorite  |  Contact

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

Formal Methods Educational Materials

 Popularity:    Hit: 255 | Visit: 3
Details
A repository for information related to formal methods in education, including pointers to existing courses and suggestions for examples and projects.

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.
Logic Software from CSLI (Popularity: ): Hyperproof, Tarski's World, Turing's World, and The Language of First-order Logic, educational logic software by ...
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.

© 2005-2008 Science Central. All Rights Reserved

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