1 - 15 of 249,262,350 for education
 
Top  :  Science  :  Math  :  Logic and Foundations  :  Education
Web Results:
  • Around Gödel's Theorem
    (Hyper)textbook for students in mathematical logic, by Karlis Podnieks.
    www.ltn.lv/~podnieks
  • ASL Committee on Logic Education
    Reports and resources from the Association of Symbolic Logic.
    www.ucalgary.ca/philosophy/asl-cle
  • Course on Description Logics
    Slides and notes by Enrico Franconi.
    www.inf.unibz.it/~franconi/dl/course
  • The Daily Translation
    Problems on translation into a logical system, drawn from the current news and updated daily.
    www.univnorthco.edu/philosophy/trans.html
  • Disjunction
    Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by Ray Jennings.
    lato.stanford.edu/entries/disjunction
  • 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.
    www.cs.indiana.edu/formal-methods-education
  • Games Mathematicians Play
    Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity.
    www.math.usf.edu/~mccolm/RGintro.html
  • Gödel's Theorem and Information
    G.J.Chaitin's proof of Gödel's theorem using arguments having an algorithmic information theory flavor.
    www.cs.auckland.ac.nz/CDMTCS/chaitin/georgia.html
  • Infinity
    Exploring the logical basis and practical meaning of infinite sets.
    www.c-parr.freeserve.co.uk/hcp/infinity.htm
  • The Logic Cafe
    An online textbook, courseware package, and homework assistant for introductory symbolic logic. Includes multimedia support.
    www.oakland.edu/phil/cafe
  • 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.
    www.sjsu.edu/faculty/carranza
  • The Logic Daemon
    On-line proof checker, and texts.
    logic.tamu.edu
  • 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
    www-csli.stanford.edu
  • 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.
    logictutorial.com
  • Logical Laws
    This page includes a collection of logical laws of the first-order logic. This collection is based on the Kleene's collection from his books 'Introduction to Metamathematics' and 'Mathematical Logic' and includes a few additions.
    sakharov.net/logic.html
    • Powered by Yahoo! and dmoz
     
    Switch to Listings:
    1  2  3  4  5  6  7  8  9  Next
    ( 249,262,350 documents found )
     
    Related Search Results
     
     
    Ask Your Question
    Recent Questions
    • computer dialup
      Here's a good opportunity to introduce a little controversy. Some might say that the outcry over dia...
    • Travel Trivia
      which continent is the smallest of all in size? Africa, Australia or Antarctica
    • tennis
      I'm not sure that my earlier question went through, so, I will ask it again. Do you know of any com...
    More Questions
     
     
    Images
    More Pictures