Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Browse and Search the Library
Home : Math Topics : Logic/Foundations

_____________________________________
Library Home || Search || Full Table of Contents || Suggest a Link || Library Help
_____________________________________


  All Sites - 412 items found, showing 401 to 412

  1. Working Group Mathematical Logic - Ludwig-Maximilians-Universität, Munich, Germany
    In English and German. Contact information, staff, conferences, seminars, and workshops, Ph.D. program, links, articles. ...more>>

  2. Writings from the MegaMath Project (MegaMath) - Casey, Fellows, Koblitz; Los Alamos National Laboratory
    Documents containing classroom materials and discussions of mathematics pedagogy. The Los Alamos workbook; Lessons for math teachers; An hour in the classroom; Literacy lessons and mathematics learning; Computer science in elementary school; Combinatorially ...more>>

  3. wrotniak.net - J. Andrzej Wrotniak
    Includes shareware and freeware programs for Windows written by Wrotniak: scientific and regular calculators, a spherical geometry calculator, a logic and strategy game, a statistics graphing program, and a simple program to compute the area of a polygon. ...more>>

  4. www.logic.at - University of Technology, Vienna, Austria
    A group in Applications of Formal Logic. This server contains the home pages of the Institut für Computersprachen; the Abteilung für Anwendungen der formalen Logik; the Kurt Gödel Society; the Vienna Group for Multiple-valued Logics; ...more>>

  5. Yahoo! Science: Mathematics - Yahoo! Inc.
    All the best on the Web in math including Indices, alphabetically listed by category: Academic Papers; Algebra; Applied Mathematics; Books; Calculus; Chaos; Combinatorics; Complex Systems; Conferences; Education; Employment; Entropy; Equations; Ethnomathematics; ...more>>

  6. Yarrow Home Page - Jan Zwanenburg
    A proof-assistant for Pure Type Systems (PTSs). In Yarrow you can experiment with various pure type systems, representing different logics and programming languages. A basic knowledge of Pure Type Systems and the Curry-Howard-de Bruijn isomorphism is ...more>>

  7. yyGrams Books: Books, Games, Puzzles - David Zethmayr
    Zethmayr presents boundary mathematics to young children, introducing the ideas of logic, proof, and algebra far earlier than is usually attempted. Books, games, and puzzles on this site reinforce these ideas, and Zethmayr presents a seminar and children's ...more>>

  8. Zeno's Paradoxes - Franz Kiekeben
    Statements of the following paradoxes: The Racetrack (or Dichotomy); Achilles and the Tortoise; The Arrow; A brief analysis of the motion paradoxes; The Thomson Lamp; Kiekeben's Odd/Even Paradox; Benardete's Paradox of the Gods; The Paradox of the Spaceship; ...more>>

  9. Zeno's Paradox - Jim Loy
    Among the most famous of Zeno's "paradoxes" involves Achilles and the tortoise, who are going to run a race. Achilles, being confident of victory, gives the tortoise a head start. Zeno supposedly proves that Achilles can never overtake the tortoise. A ...more>>

  10. Zentralblatt MATH Database - Springer-Verlag
    A database edited by the European Mathematical Society, the FIZ Karlsruhe, and the Heidelberg Academy of Sciences, and established in cooperation with Math Doc Cell (France). Search for abstracts of papers on any math subject by author, title, classification, ...more>>

  11. Zero in Four Dimensions: Cultural, Historical, Mathematical, and Psychological Perspectives - Prof. Hossein Arsham; University of Baltimore
    A critical panoramic view of basic mathematical fallacies surrounding zero, such as dividing by zero, taking the limit, IEEE special floating point, the notion of zero throughout history, when zero is "not there," the origin of infinity and its symbol, ...more>>

  12. Zoma's Land O'Logic - David and Zoma Stern
    Who Rode the Goat? A logic puzzle with many clues and a link to the answer. ...more>>


 
Page: [<prev]  1  2  3  4  5  6  7  8  9


Search for these keywords:
               

Click only once for faster results:

all keywords, in any order at least one, that exact phrase
parts of words whole words


Power Search

[Privacy Policy] [Terms of Use]

_____________________________________
Home || The Math Library || Quick Reference || Search || Help
_____________________________________

© 1994-2013 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.