Online Web Directory. Web Directory @ Expo Central.
Your Online Guide to the Global and Local Marketplace
Home | About us | Advertise | Contact Us

Science > Math > Logic and Foundations > Education

Web Directory

Google Adwords

Google Adwords allows businesses to advertise on any number of sites, including Expo Central, regardless of the size of their budget. Ad campaigns can be set up to target based on keywords, geographical location of the visitor, and/or individual web sites. They handle the most common sizes of ads and allow text, image or video.

Firefox with Google Toolbar

Mozilla Firefox is a web browser with pop-up blocking, tabbed browsing, and privacy and security features. Integration of the Google Toolbar into the Firefox download offers users even more features: Google search, SpellCheck, and Autofill.


Google Pack Software

Get the power of Google on your desktop PCs! Google Pack provides a single installer for many essential PC applications from Google and other trusted partners. These applications improve your browsing with increased speed and security, provide better searching capability for the web and for your own PC and enable you to collect and organize your personal data, including photos.

Home > Science > Math > Logic and Foundations > Education
Directory of Web Resources @ Expo Central : Education

Science > Math > Logic and Foundations > Education : Categories


Science > Math > Logic and Foundations > Education : Web Resources



Science > Math > Logic and Foundations > Education : Web-Sites


1. A Problem Course in Mathematical Logic; by Stefan Bilaniuk [ Report dead link ]
Volume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness.
http://euclid.trentu.ca/math/sb/pcml/
_


2. Around Gödel's Theorem [ Report dead link ]
(Hyper)textbook for students in mathematical logic, by Karlis Podnieks.
http://www.ltn.lv/~podnieks/
_


3. ASL Committee on Logic Education [ Report dead link ]
Reports and resources from the Association of Symbolic Logic.
http://www.phil.ucalgary.ca/asl-cle/
_


4. Course on Description Logics [ Report dead link ]
Slides and notes by Enrico Franconi.
http://www.cs.man.ac.uk/~franconi/dl/course/
_


5. Disjunction [ Report dead link ]
Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by Ray Jennings.
http://plato.stanford.edu/entries/disjunction/
_


6. Formal Methods Educational Materials [ Report dead link ]
A repository for information related to formal methods in education, including pointers to existing courses and suggestions for examples and projects.
http://www.cs.indiana.edu/formal-methods-education/
_


7. Games Mathematicians Play [ Report dead link ]
Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity.
http://www.math.usf.edu/~mccolm/RGintro.html
_


8. Gödel's Theorem and Information [ Report dead link ]
G.J.Chaitin's proof of Gödel's theorem using arguments having an algorithmic information theory flavor.
http://www.cs.auckland.ac.nz/CDMTCS/chaitin/georgia.html
_


9. Infinity [ Report dead link ]
Exploring the logical basis and practical meaning of infinite sets.
http://www.c-parr.freeserve.co.uk/hcp/infinity.htm
_


10. Logic Software from CSLI [ Report dead link ]
Hyperproof, Tarski's World, Turing's World, and The Language of First-order Logic, educational logic software by Jon Barwise and John Etchemendy
http://www-csli.stanford.edu/hp/
_

Pages: [1] 2

Next Page >>

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor


Science > Math > Logic and Foundations > Education : Web Resources

Google
[ Home | About us | Advertise | Contact Us ]