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 - 430 items found, showing 251 to 300

  1. MathWare Ltd.
    Software and books for algebra, geometry and calculus: Derive, MathPert, Scientific Notebook, Cyclone; books for use with the TI Graphing Calculators, and a book and CD for Mathematica. Also an Interactive Math Dictionary on CD-ROM with biographical entries, ...more>>

  2. MathWorld: Eric Weisstein's World of Mathematics - Eric W. Weisstein and Wolfram Research, Inc.
    A full-text searchable, comprehensive alphabetical encyclopedia of math terms, equations, and derivations, with explanations, examples, references, and much more. Everything from Abacus to Zsigmondy Theorem. (Formerly the CRC Concise Encyclopedia of Mathematics, ...more>>

  3. Math WWW VL: Specialized Fields - Dept. of Mathematics, Florida State University
    Links to sites for resources in specialized fields in college-level mathematics. ...more>>

  4. MERLOT Mathematics Portal - MERLOT (Multimedia Educational Resource for Learning and Online Teaching)
    Free higher-education online teaching materials, and a user community centered around those materials. Free registration allows users to create, contribute, collect, and comment on resources, or become a peer reviewer or guest speaker. The site offers ...more>>

  5. Metamath - Norman Megill
    A site for proofs and logic. Includes: Metamath Solitaire--a Java applet that lets you build simple proofs in logic and set theory (built-in: the axioms of logic and ZFC (Zermelo-Fraenkel with Choice) set theory) with source code and other web resources; ...more>>

  6. MetaPRL logical programming environment - Hickey, Nogin, et al.
    The next generation of the NuPrl proof development system. MetaPRL is two things: it is a logical framework where multiple logics can be defined and related, and it is a system implementation with support for interactive proof and automated reasoning. ...more>>

  7. Middle School Problem of the Week - Department of Mathematics, Southwest Missouri State University (SMSU)
    Word problems in number patterns, algebra, geometry, and other topics. Read the solution to the most recent problem, and archives of previous problems and their answers. ...more>>

  8. MiGen - London Knowledge Lab
    This generalization software microworld presents the abstractions of algebra in a visual format. With MiGen's simple sequences of coloured tiles, young learners construct patterns (eGeneraliser), express their structure and relationships (eXpresser), ...more>>

  9. Minesweeper Logic - Ivars Peterson (MathTrek)
    In the basic version of this Windows-based game, the player faces a gray landscape of 64 blank squares in an eight-by-eight grid. The object is to locate 10 randomly placed "land mines" hidden among the playing field's squares, working as quickly as possible ...more>>

  10. Missing Dollar - Math Forum, a Classic Problem from the Ask Dr. Math FAQ
    Three men go to stay at a motel, and the man at the desk charges them $30.00 for a room. They split the cost ten dollars each... where is the missing $1.00? ...more>>

  11. Mission: Critical - San Jose State University, California
    A self-paced interactive tutorial for critical thinking. Introduce your students to the basic concepts of logic. Immediate reinforcement to a series of increasingly complex exercises is provided after each right or wrong answer. ...more>>

  12. Moment of Truth - Keith Devlin (Devlin's Angle)
    "Just what do we mean by a 'proof'? It seems that mathematicians - and to avoid generating too many letters of complaint, let me hasten to rephrase that as 'we mathematicians' - are somewhat schizophrenic when it comes to answering this question. When ...more>>

  13. Monocosm: Introduction to Linear Xenology - Vladimir Trifonov; American Mathematical Society (AMS)
    A Topos-Theoretic Approach to the Foundations of Physics. The Four-Dimensionality Problem: Why does observable spacetime look four-dimensional? is related to the Compactification Problem. The Effective Metric Signature Problems: Why is the metric of signature ...more>>

  14. Monty Hall Dilemma - Interactive Mathematics Miscellany and Puzzles, Alexander Bogomolny
    A full discussion (including simulation) of the famous "three doors" problem, also known as the Game Show problem. ...more>>

  15. The Most Common Errors in Undergraduate Mathematics - Eric Schechter
    Errors in communication: teacher hostility, student shyness, bad handwriting, not reading directions, loss of invisible parentheses, terms lost inside an ellipsis; Algebra errors: sign errors, everything is additive, everything is commutative, undistributed ...more>>

  16. Mr. Myers' Classroom - Nathan Myers
    Read the puzzle of the week and then submit your answers online. Other "brain busters" include matrix logic puzzles, featuring ready-made charts. Explore and identify fraction bars with JavaScript, or geometry with Java applets. Also, fact sheets and ...more>>

  17. MSMS World of Logic - Claudia Carter; Mississippi School for Mathematics and Science (MSMS)
    MSMS Logic and Game Theory is a study of logic, symbolic notation, truth tables, simple game theory, and problem-solving strategies. Links to significant figures in the world of logic: Lewis Carroll, George Boole, Giuseppe Peano, Von Neuman, Willard Van ...more>>

  18. m@th IT
    A "platform to promote, propagate, and mediate applied mathematics and computer sciences," with emphasis on cryptography, number theory, financial mathematics, logic and knowledge representation, and quantum computation. In particular, m@th IT offers ...more>>

  19. MUltlog - Gernot Salzer et al.
    MUltlog is a system that takes as input the specification of a finitely-valued first-order logic and produces a sequent calculus, a natural deduction system, and clause formation rules for this logic. All generated rules are optimized regarding their ...more>>

  20. MUltseq - Gil, Salzer
    MUltseq is a generic sequent prover for propositional finitely-valued logics. It is intended as companion for MUltlog, which computes optimized sequent rules from the truth tables of a finitely valued logic. MUltseq uses these rules to construct derivations ...more>>

  21. ncase - Nicky Case
    Interactive projects that illuminate principles of game theory, logic, and other topics, such as the parable of the paragons (with Vi Hart), coming out simulator (a half-true game about half-truths), and sight & light (how to create 2D visibility/shadows ...more>>

  22. The n-Category Café - John Baez, David Corfield, and Urs Schreiber
    A blog devoted to "that heady interface between physics, mathematics and philosophy." Read posts, many with MathML, that date back to August, 2006. ...more>>

  23. Neutral and Non-Euclidean Geometries - David C. Royster; University of North Carolina at Charlotte
    Course notes that include: Origins of geometry; spherical geometry; logic and the axiomatic method; proof; Euclid's mathematical system; incidence geometry; betweenness axioms; congruence theorems; axioms of continuity; neutral geometry; theorems of continuity; ...more>>

  24. New Foundations - Randall Holmes
    Developing site for the set theory "New Foundations," first introduced by W.V.O. Quine in 1937. A refinement of Russell's theory of types based on the observation that the types in Russell's theory look the same, as far as one can apparently prove. Site ...more>>

  25. New York Regents Exam Prep Center - Oswego City School District
    A site dedicated to assisting high school students in preparing for the "new" New York State Math A Regents Examination. Covers Algebra, Geometry, and Algebra II/Trig. The materials featured for each topic include: general review/formula sheet, Regents ...more>>

  26. Nils Ahbel - Deerfield Academy, Deerfield, MA
    Access Ahbel's Blackboard courses as a guest to preview his teaching resources and download Excel files in algebra, functions, statistics, and trigonometry. ...more>>

  27. Nonstandard Analysis and the Hyperreals - Jordi Gutierrez Hermoso; Math Forum, Ask Dr. Math FAQ
    An essay introducing the most basic ideas of nonstandard analysis and the hyperreal number system. Contents: A Very Brief History of Almost-Nothing and More-than-Everything; The Hyperreal Wish-List; Construction of the hyperreal numbers; Hyperreal arithmetic; ...more>>

  28. NSDL Middle School Portal: Math Pathway - NSDL; the Ohio State University
    A middle school portal into NSDL's math resources, browsable by topic, or choose a pre-selected set of resources on given subjects. ...more>>

  29. Numberplay - The New York Times
    Mathematical, logical and scientific puzzles, with solution "recaps." The posts, by Gary Antonick and Pradeep Mutalik, have included "Surreal Hat Tricks," "The Puzzles of Pickover," "Prime Rib at Hogwarts," "Nim for (a) Change," "Phi - The Magic and the ...more>>

  30. Numericana.com - Gérard P. Michon
    The online companion of Numericana, this site contains excerpts from Michon's book, including the entire glossary of scientific terms. Browse an index with pithy summaries, browse by popularity, or search nearly two hundred of his "final answers" of readers' ...more>>

  31. Nummňlt - Maurici Carbó Jordi
    Java applets: an area "workshop," which explains area and division by converting numbers in area units; an architect's toy blocks, with gravity; connecting and programming elementary logic (in the form of pipes with light bulbs signifying true sentences); ...more>>

  32. Nummòlt - Maurici Carbó Jordi
    Math teaching resources built by architects include base 10 block manipulatives; a block construction toybox; a logic construction toybox; an area workshop; and MathCats balance. See, in particular, Nummòlt's open-ended obbl & math toys: adding ...more>>

  33. NuPrl Proof Development System - Cornell University, Ithaca, NY
    A tactic-based proof assistant developed over the last 15 years at Cornell University. Its features include: very expressive logical language based on Martin-Lof type theory, extensive library of formal mathematics and automata theory, possibility of ...more>>

  34. One Trip to the Attic? (Math Chat) - Frank Morgan, MAA Online
    In the lobby of a hotel there are three on/off switches. One is attached to a light bulb on the third floor; the other two are attached to nothing at all. You may work the three switches as often as you please. How many times do you need to visit the ...more>>

  35. Onlineindiaeducation - Atul Mittal
    Page after page of questions with links to view answers and explanations: aptitude (area, series, "problems on trains," boats and streams, odd man out, and more), puzzles (sudoku, number, logical, clock, etc.), and reasoning (cause and effect, arithmetic, ...more>>

  36. On-Line Logic Book - Johan Mårtensson
    An introductory text, with accompanying Java teaching tools for specific topics. Includes an introduction to logic itself and chapters on ontology and semantics. ...more>>

  37. Onlineunitconversion.com
    Oover 225,000 conversions, togethr with explanations of their history and use. ...more>>

  38. An Outline of the Proof of Gödel's Incompleteness Theorem - Michal Wojcik
    On this page we give an outline of the proof of Goedel's Incompleteness Theorem. We construct a statement in set theory such that it is not a theorem and its negation is not a theorem. What we show on this page is not a presentation of the proof that ...more>>

  39. P2S Games - P2S Information Systems Pvt. Ltd
    Online games that challenge you to click your way to filling containers of liquids (Fill It Up), completing equations with operations (Equation), adding adjacent tiles to maximize their overall sum (Maximize), selecting operations between the 4s to make ...more>>

  40. Panthera's Puzzle Contest - Dr. Amy Galitzer; Puzzle University
    A weekly contest of math, logic, and word puzzles sponsored by the American Mathematical Society and the University of Maryland Mathematics Department. You can submit your own puzzle for the next contest by signing up to participate, or simply read the ...more>>

  41. Paradox (Encarta Encyclopedia 2000) - Microsoft Encarta Online
    Paradox, in logic and mathematics, an apparently contradictory conclusion that is derived from what seem to be valid premises. ...more>>

  42. Pass Calculus - Le Site PassCalculus.com
    Calculus question solution service. Solutions offered via email, phone, or fax; quotes are free; payment by credit card. Sample solutions and FAQ online. ...more>>

  43. Pattern Based Reason - Alan Selby
    This book surveys rule and pattern based thought in daily life, society, science and technology. The first chapters show how reliable implication rules can be employed one at a time or one after another to arrive at conclusions. The middle chapters describe ...more>>

  44. Penn State University Mathematics Department
    Course home pages and instructional material; seminars, colloquia, and conferences; and subject area pages for Penn State research centers, with preprints and links to other resources on the Web: Algebra and Number Theory; Dynamical Systems; Mathematical ...more>>

  45. Perfect Symmetry Number Theory - Derek Nalls
    A fundamental, educational exposition of a nonstandard number theory based upon perfect symmetry (in contrast to broken symmetry) modelled throughout arithmetic, algebra, analytic geometry, analytic trigonometry and calculus. ...more>>

  46. Permadi.com - F. Permadi
    Java and Flash applets: logic games, drawing and pattern-making programs, Conway's Life, and more arcade-style offerings. Also includes tutorials in using Flash and a graphics gallery. ...more>>

  47. Perplexus - flooble
    A large archive of mathematically inclined puzzles and problems displayed by category. Includes logic, number theory, geometry, probability and other problems. All are rated by difficulty and quality and discussed in depth by visitors. Most with solutions. ...more>>

  48. Personalized Programming Service Inc.
    Educational software for teachers and students. Topical software in Math, English, Social Studies, and Science, as well as Quizmaker and Testmaker programs. Download demos and upgrades, browse the products, or order on site. ...more>>

  49. Physics Forums
    Discussions emphasize physics, but "PF" also includes an entire directory on mathematics: General Math; Calculus & Analysis; Differential Equations; Linear & Abstract Algebra; Topology & Geometry; Set Theory, Logic, Probability, and Statistics; ...more>>

  50. Pico Firme Bago - Evan M. Fuchs
    A Flash-based logic/deduction game, similar to Mastermind. Originally created as an online version of a game used in the author's 5th grade class. ...more>>


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


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.