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 - 424 items found, showing 401 to 424

  1. Visual Structure of Postulates and Axioms in Algebraic Operations (SMILE) - Sanford Olshan, Roosevelt High School
    A lesson designed to reinforce and retain the use of axioms and postulates in various proofs and linear transformations of equations; and to have student build a physical model of the game of "PRUFF" either as a card game or as a board game. From the ...more>>

  2. WASL Math Prompts - Port Angeles School District, Washington state
    Sample questions for the WASL, Washington State Assessment of Student Learning. Most questions have answers printed above the questions. Sample questions are offered for kindergarten through high school levels, organized by mathematical content, and accompanied ...more>>

  3. Was Math Invented or Discovered? - Math Forum, Ask Dr. Math Common Question
    A selection of answers to questions about whether math was invented or discovered. ...more>>

  4. WatchKnowLearn - Community Foundation of Northwest Mississippi
    Thousands of free online math educational videos, categorized into topics such as mathematics for young learners, number operations, math in the real world, pre-calculus, math study skills and test prep, and history of math. ...more>>

  5. Weighing a Counterfeit Coin - Math Forum, Ask Dr. Math Common Question
    A selection of answers to questions about using a balance beam to find a counterfeit coin, such as "If there are twelve coins in a bag, one of which is either lighter or heavier than the others, find the fake coin in exactly 3 weighings and determine ...more>>

  6. What Can Mathematics Do For The Businessperson? - Keith Devlin (Devlin's Angle)
    In business, the ability to dig beneath the surface of a problem to see what the real underlying issues are, and the capacity for clear and logical thought, can be extremely valuable. And learning mathematics provides an excellent way to develop that ...more>>

  7. What Color Is My Hat? - Math Forum, Ask Dr. Math Common Question
    A selection of answers to questions about which person wears which hat, such as "Three students close their eyes, and the teacher puts a hat on each of their heads (hiding the other two hats)...." ...more>>

  8. What is Mathematics: Goedel's Theorem and Around - Karlis Podnieks
    An extended translation of Podnieks' book, published in 1992 in Russian. Contents include: Platonism, intuition and the nature of mathematics; Axiomatic set theory; First order arithmetic; Hilbert's Tenth problem; Incompleteness theorems; Around Goedel's ...more>>

  9. What's New - Terence Tao, UCLA
    Updates on Tao's research and expository papers, discussion of open problems, and other maths-related topics. Blog posts, which date to February, 2007, have included "Riemannian manifolds and curvature" and "Sailing into the wind, or faster than the wind" ...more>>

  10. Why Does Back-to-School Imply Back to Math? - Keith Devlin (Devlin's Angle)
    ...in a world where everyone can afford a pocket calculator and a great many people seem to be successful in life with little or no mathematical ability or knowledge of science, why do we place so much emphasis on math and science? Whatever the answer, ...more>>

  11. WinKE: A Proof Assistant for Teaching Logic - Ulrich Endriss
    An interactive proof assistant based on the KE calculus, a refutation system that combines features from Smullyan's analytic tableaux and Gentzen's natural deduction. The software has been designed to serve as a tutoring system to support the teaching ...more>>

  12. The Wolfram Demonstrations Project - Wolfram Research, Inc.
    A web collection of freely available demonstrations in math, science, and many other areas. Interact with the demonstrations directly in your browser. Each Demonstration contains a set of related links to sites such as MathWorld, The Wolfram Functions ...more>>

  13. 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>>

  14. 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>>

  15. 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>>

  16. 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>>

  17. 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>>

  18. 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>>

  19. 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>>

  20. 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>>

  21. 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>>

  22. 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>>

  23. 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>>

  24. 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-2014 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.