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 - 418 items found, showing 51 to 100

  1. CS22: Discrete Math - Brown University
    An introduction to discrete math with a focus on proof, logic, proof by induction, cryptography and networks of processors: lessons, homework, solutions, and information. "Discrete mathematics" refers to the distinction between discrete sets (for example, ...more>>

  2. Daniel J. Velleman - Daniel J. Velleman, Department of Mathematics and Computer Science, Amherst College
    In addition to Velleman's selected papers, link to his books, software, and unpublished papers, including Proof Designer, a Java applet designed to help students learn to write proofs in elementary set theory by outlining the steps of proofs under the ...more>>

  3. Database of Existing Mechanized Reasoning Systems - Kohlhase, Talcott.
    A 1999 page designed to represent the state of an ongoing effort to collect information about existing automated reasoning systems - automatic resolution provers (like Otter), interactive provers (like PVS) and other mechanized reasoning tools. The page ...more>>

  4. DavidZiskind.Org - David Ziskind
    Articles discussing variational problems, ordinary differential equations, series reversion, least squares regression, quantifiers, extrema, internal rate of return, and other mathematical topics. ...more>>

  5. DC Proof - Dan Christensen
    New software to teach the fundamentals of logic and proof. Enables user/student to write error-free proofs by selecting rules of inference, axioms, etc. from convenient drop-down menus. Includes tutorial with exercises. ...more>>

  6. Department of Logic - Faculty of Philosophy, Moscow State University, Russia
    In English and Russian. History of the department, staff, books, papers, courses, news. ...more>>

  7. Digital Math - Santa Barbara County Education Office
    A site to assist Algebra I, Grade 7, and Grade 6 students, their parents, and educators with the California State Mathematics Content Standards. Log in for Quicktime that provides step-by-step instruction to solve problems aligned with the mathematics ...more>>

  8. Dominoes Activity - Suzanne Alejandre
    A classroom activity (similar to Pentomino + 1 = Hexomino; a variation on polyominoes) aligned to the NCTM and California Standards, to be explored through manipulatives (paper dominoes). Students explore whether it is possible to cover a 6x5 grid with ...more>>

  9. Downloadable Articles, Papers & Materials - Michael de Villiers; Mathematics Education, Univ. of Durban-Westville, South Africa
    Articles by Villiers related to geometry and geometry education some in PDF format, including: An Extended Classification of Quadrilaterals; A Mathematical Treasure Hunt; Place Kicking Locus in Rugby; Sketchpad Solutions and Results; A Dual, and Generalizations, ...more>>

  10. Draft version of MSC2000 - European Mathematical Society (EMS)
    The proposed revision of the 1991 Mathematics Subject Classification (MSC), the classification used by the two reviewing journals Mathematical Reviews (MR) and Zentralblatt für Mathematik (Zbl) since the beginning of 1991. MSC2000 is the result of ...more>>

  11. Easier Fibonacci puzzles - Ron Knott
    Puzzles that are simply related to the Fibonacci numbers....; Brick Wall patterns; Making a bee-line with Fibonacci numbers; Chairs in a row; Stepping Stones; Fibonacci numbers for a change!; Telephone Trees ; Leonardo's Leaps; Fix or Flip; Two heads ...more>>

  12. Education: Mathematics - The Mining Company
    Web resource lists of sites: see sciences - physical/computer and, beneath, mathematics by Kristin Matherly, with links to sites "in the spotlight" and topics: Algebra; Applied Math; Books; Business Math; Careers; Calculus; Communities; Competitions; ...more>>

  13. EduWare - EduWare, Inc.
    Eduware Software lets teachers create exams for any subject or from test banks of Regents questions for Science, Social Studies, Foreign Languages, and Math, using the Wizard Test Maker program. Math subjects include logic, algebra, geometry, the coordinate ...more>>

  14. Elementary Computer Mathematics - Kenneth R. Koehler
    An introduction to the mathematics used in the design of computer and network hardware and software. This hypertextbook's goal is to prepare the student for further coursework in such areas as hardware architecture, operating systems internals, application ...more>>

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

  16. Eli's Math and Logic Puzzles and Other Interesting Things - Eli Karplus
    A mixed bag of problems, some geared toward the 6th grade level, others to challenge college folk, with answers for a few. Three Men in a Hotel/The Missing Dollar; The Boatman Crossing the River with Fox, Chicken, and Cabbage; Benardete's Paradox; The ...more>>

  17. The Elverson Puzzle Co., Inc.
    The creators of Jacob's Revenge, the classic wine bottle puzzle. Elverson Puzzle also makes a Tangram Puzzle, the eleven tiles of which form a 6 inch diameter circle; Farkle, a game played with extra large wooden dice or online, with the dice roller that ...more>>

  18. The Encyclopedia of Mathematics - Ulf Rehmann, Editor-in-Chief
    With articles originally from Kluwer Academic Publishers' online Encyclopaedia of Mathematics (EoM), this up-to-date, graduate-level, open-access math reference wiki boasts more than 8,000 entries on over 50,000 notions in the subject. Contribute to topics ...more>>

  19. Enigmatum, Centre des Énigmes
    In French: A tous ceux qui aiment se creuser la tête, de nombreuses énigmes classées par thèmes: logique, mathématiques, paradoxes etc.. Toutes les énigmes sont accompagnées de leurs solutions. Des plus petits au plus grands venez travailler votre ...more>>

  20. Erich's Puzzle Palace - Erich Friedman
    Mathematical puzzles, with solutions, in the following categories: mirror puzzles, number puzzles, hex loop puzzles, path puzzles, battleship puzzles, triangulation puzzles, grid puzzles, cris-cross puzzles, weight puzzles, and logic puzzles. In particular, ...more>>

  21. Essay Ideas - Jim Wilson, Dept. of Mathematics Education, Univ. of Georgia
    For a course on Using Computers in Mathematics Instruction. Friday the 13th (show there are at most three and at least one Friday the 13th in each year, consider when two consecutive months can be have Friday the 13th); Gingerbread Man (a Microsoft Excel ...more>>

  22. Euclid's Elements - David Joyce; Dept. of Mathematics & Computer Science, Clark University
    A version of Euclid's Elements created by David Joyce to rekindle an interest in the Elements and to show how java applets can be used to illustrate geometry and to bring the Elements alive. The text of all 13 Books is complete. Joyce writes: "...deductive ...more>>

  23. Eugenia Cheng
    Research as well as "things for non-specialists" by a mathematician "keen to bring mathematics to a wider audience and help reduce maths phobia." Articles by the author of Higher-Dimensional Categories: An Illustrated Guide Book and Cakes, Custard and ...more>>

  24. Factasia: Mathematics - Roger Bishop Jones
    Math essays organized into three categories: general (threads in the web of mathematics and re-use and abstraction); real numbers (a logical development, some history, and computing with reals); and history (a short history of rigour in mathematics, classical ...more>>

  25. A Fair Deal For Housemates - Ivars Peterson (MathTrek)
    Four friends move into a house and find they must choose among four rooms of different size and quality. Instead of sharing the rent equally, they decide to divide the total so that each person ends up satisfied with his or her combination of room and ...more>>

  26. The Fair Division Calculator - Francis Su
    An interactive Java applet designed to help you determine how to divide among n people: a desirable object (such as a cake); an undesirable object (such as a set of chores); or a set of indivisible objects (rooms, desirable) with payments (rent, undesirable). ...more>>

  27. Fair Shares (MatheMUSEments!) - Ivars Peterson (Math Muse for Kids)
    The birthday party is over, and one chunk of thickly frosted, richly decorated cake is uneaten. Your mother insists that you and your sister slice the cake into two equal pieces, so that she doesn't have to listen to you fight over which is bigger. What ...more>>

  28. False Proofs, Classic Fallacies - Math Forum, Ask Dr. Math FAQ
    What's wrong with proofs that say 1+1 = 1, or 2 = 1? ...more>>

  29. Famous Paradoxes - Isaac Reed
    Zeno's Paradox and Cantor's Infinities. ...more>>

  30. Fill-It-In Outline Mathematics - Interactive Mathematics Miscellany and Puzzles, Alexander Bogomolny
    A collection of outline solutions to various problems: word and logic problems, problems from arithmetic, number theory and geometry. Solutions are practically complete with a few essential pieces omitted and to be filled in by the student. ...more>>

  31. Finite Mathematics & Applied Calculus Resource Page - Waner, Costenoble; Hofstra University
    Online interactive tutorials - Algebra Review, Finite Mathematics, and Calculus - based on Finite Mathematics Applied to the Real World, Calculus Applied to the Real World, and Finite Mathematics and Calculus Applied to the Real World. Topic Summaries; ...more>>

  32. Flash Pegs - CleverMedia
    Jump a peg over its adjacent neighbors to eliminate them until only one remains in this online version of the classic logic puzzle. Choose from nine starting configurations. Requires the Flash plug-in. ...more>>

  33. Formulas for fairness - Ivars Peterson - Science News Online
    Applying the math of cake cutting to conflict resolution: researchers turn to the mathematics of cake cutting and point allocation to develop improved methods for people to use to settle disputes. ...more>>

  34. Foundations of Mathematics - Alex Sakharov
    A collection of links to materials related to Foundations of Mathematics, organized as a book contents page, and intended to be a guide for studying the subject and a comprehensive Web reference. Naive Set Theory; Paradoxes; Formal Systems; Axiomatization; ...more>>

  35. Freakonometrics - Arthur Charpentier
    Blog by a Montreal professor of actuarial science "addicted to R." Posts, which date back to March, 2007, have included "Dynamic dependence ordering for Archimedean copulas and distorted copulas," "Pricing catastrophe options in incomplete markets," "Estimation ...more>>

  36. Free Daily Sudoku Puzzles
    For this canonical puzzle the aim is to fill every square in the 9x9 grid with a number 1-9. Every row, every column, and every 3x3 box must contain the digits 1 through 9. Free Daily Sudoku has online puzzles and daily puzzles by email or RSS feed. Also ...more>>

  37. Free Puzzles - Jimmie Dean
    A collection of puzzles and brainteasers, divided into geometry, logic, math, weight, moves, and miscellaneous. Each puzzle includes a hint, and solutions are available through e-mail. Online games and puzzles include a chess knight game and Hangman. ...more>>

  38. From Hypothesis To Conclusion...Reading Maps To Understand Proofs (SMILE) - Maryann Blaszak, South Shore Community Academy
    A lesson designed to prepare students for writing two-column proofs by teaching them to write directions using a map; fill in missing data; understand the importance of diagrams in writing proofs; and develop a tentative understanding of writing proofs. ...more>>

  39. Front for the Mathematics ArXiv - Univ. of California, Davis
    U.C. Davis front end for the xxx.lanl.gov e-Print archive, a major site for mathematics preprints that has incorporated many formerly independent specialist archives including alg-geom, funct-an, dg-ga, q-alg, auto-fms, cd-hg, MAGNUS, Several Complex ...more>>

  40. Fun, Puzzles, Travel - Paul Bourke
    Brain twisters, arranged by approximate level, and designed for the most part to require no particularly advanced mathematical skills. Illusions include impossible triangle, Muller-Lyer, bad box, and Colours. ...more>>

  41. Fuzzy Machine Learning Framework - Dmitry A. Kazakov
    This fuzzy machine learning framework uses graph schemes, a variant of decision trees, to extend intuitionistic sets and represent not only uncertain, but also contradictory data within the same framework. The software provides both a library and a graphical ...more>>

  42. Fuzzy sets for Ada - Dmitry A. Kazakov
    A free (GPL) implementation of fuzzy sets, intuitionistic fuzzy sets, fuzzy numbers, linguistic variables and sets of linguistic variables. ...more>>

  43. The Game of Go - Jean-Claude Chetrit
    A page for Go players interested in mathematics or abstract reasoning. How many static positions exist and how many are legal? This is purely an exercise in counting (combinatorics). See also Chetrit's conjectures about playing Go on a 2 by 2 board and ...more>>

  44. Games and Puzzles - Interactive Mathematics Miscellany and Puzzles, Alexander Bogomolny
    Almost 40 games or puzzles, with extensive discussions and solutions. Examples include the Monty Hall Dilemma, Lewis Carroll's problem; the game of Nim, the 3 glass puzzle, Northcott's game, the Tower of Hanoi, and many more. Most require a browser capable ...more>>

  45. Games Mathematicians Play - Gregory McColm; Dept. of Mathematics, Univ. of South Florida
    Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity. Contents include Bisimulation; Foundations; Game Theoretic Semantics; and Guarded Quantifiers. With an outline of the problem of what it means ...more>>

  46. Gateways to Advanced Mathematical Thinking (GAMT) - Michelle Manes; Education Development Center, Inc. (EDC)
    The goal of this project is to research the ways in which high school and college mathematics students come to acquire flexible understandings of essential concepts needed for analytic and algebraic thinking. Integral to this research effort is the development ...more>>

  47. Gateway to Logic - Christian Gottschall; Dept. of Philosophy, Vienna
    A collection of Web-based logic programs offering a number of logical functions. Client side processing (requires Java): sparse trees, alpha graphs (Peirce), Begriffsschrift notation (Frege), Polish notation, truth tables, normal forms, miscellaneous ...more>>

  48. Gödel and the Nature of Mathematical Truth - Edge interview with Rebecca Goldstein
    Interview with Rebecca Goldstein, the philosopher and novelist, on her most recent book, Incompleteness: The Proof and Paradox of Kurt Gödel. ...more>>

  49. Gödel's Theorem and Information - Gregory J. Chaitin
    Gödel's theorem may be demonstrated using arguments having an information-theoretic flavor arguing that if a theorem contains more information than a given set of axioms, then it is impossible for the theorem to be derived from the axioms. In contrast ...more>>

  50. Göedel's Theorems - Math Academy Online/Platonic Realms
    An article covering the completeness theorem, the incompleteness theorems, and Göedel's set-theoretic independence result. ...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- The Math Forum at NCTM. All rights reserved.