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 - 429 items found, showing 301 to 350

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

  2. Plastelina Logic Games - Plastelina
    Free Flash games include classic constrained "crossing" problems, such as the puzzle of ferrying a wolf, a sheep, and a head of cabbage across a river in a boat that only holds any two of them at once, without leaving the wolf and sheep alone in each ...more>>

  3. Postulates and Theorems of Boolean Algebra - Julie Kenrow; Santa Clara University, Santa Clara, CA
    Five postulates (identity, complement, commutative law, associative law, distributive law); and six theorems. Supplementary material for a course in electrical engineering (Logic Design). ...more>>

  4. Powell's Books
    Located in Portland, Oregon, USA; the largest independent bookseller in the United States, specializing in technical books and new, used, hard-to-find, and antiquarian titles. An extensive subject and keyword list is available - search database of titles, ...more>>

  5. Powersums, Fermat, Waring; Quotes, History... - Nico F. Benschop
    Links to papers on the ideas of Fermat, Waring, Goldbach, Cantor, Hensel, Hasse-Minkowski, and Selmer, and the following mathematical concepts: semigroups, sequential logic synthesis, cubic roots, and state machines and their sequential closure. With ...more>>

  6. The Practice of Logical Frameworks (1996) - Frank Pfenning
    A survey article discussing the history of work on logical frameworks and their current open problems. Deductive systems, given via axioms and rules of inference, are a common conceptual tool in mathematical logic and computer science. They are used to ...more>>

  7. Preuve Proof Prueba
    A newsletter in French, Spanish, and English, the theme of which is teaching and learning mathematical proofs. Includes an extensive bibliography consisting of books, chapters in books, journal articles, and theses. ...more>>

  8. Principia Cybernetica Web - Turchin, Joslyn, Heylighen, Bollen, eds.
    Principia Cybernetica Project (PCP) is an international organization that tries to tackle age-old philosophical questions with the help of the most recent cybernetic theories and technologies. The Project's aim is the computer-supported collaborative ...more>>

  9. Principia Mathematica - A.D.Irvine; Stanford Encyclopedia of Philosophy
    The philosophy encyclopedia's entry on Principia Mathematica, the landmark work on mathematical logic and the foundations of mathematics written by Alfred North Whitehead and Bertrand Russell. Next to Aristotle's Organon, it is the most influential book ...more>>

  10. Principia Mathematica II - Michael Meyling
    An open source project attempting to present mathematical knowledge in a formal, correct form. It includes a proof verifier which checks a mathematical proof written in a certain formal language and an HTML converter for making mathematical HTML pages. ...more>>

  11. The Prisoner Problem - Anne Arundel Community College
    A classic logic problem about three prisoners, each of whom tries to determine what color his own hat is in order to be set free. ...more>>

  12. A Problem Course in Mathematical Logic - Stefan Bilaniuk
    A freeware mathematics text, available by anonymous ftp in LaTeX, PostScript, and PDF formats, for an introduction to mathematical logic for undergraduates with some mathematical sophistication. It supplies definitions, statements of results, and problems, ...more>>

  13. Problem Solving in Mathematics - Jim Wilson; Univ. of Georgia
    Problems in algebra, geometry, conversion, cryptarithm, "mean," trigonometry, and a mixture of all, many with comments and solutions, from a course given in the Dept. of Mathematics Education at the University of Georgia. The site also provides links ...more>>

  14. Problem Solving Island - Samuel A. Rebelsky
    Challenging open-ended word problems on the topics of games, such as Blockade, Finger Multiplication, and The Word Pyramid; puzzles such as Error Correction, Error Detection, The Fake Coin, Friday the 13th, and Leap Birthdays; and problems based on figures, ...more>>

  15. Progetto Rhoda - Emilio Brengio
    "Numeri con qualità." Software (.exe) per la didattica della matematica nella scuola elementare: problemi; operazioni; geometria; logica; procedure e verifiche; poligoni, angoli, perimetri, e aree; e giochi. ...more>>

  16. Projet Folium
    Folium est un ensemble organisé d'articles sur les mathématiques, du cours aux biographies de mathématiciens célèbres, en passant par les exos les plus classiques et les théorèmes les plus puissants. Articles ...more>>

  17. Proof - Mariotti, Maria-Alessandra; and Pedemonte, Bettina, editors
    Archives of the quarterly "international newsletter on the teaching and learning of mathematical proof." Articles have included "The effect of using Transparent Pseudo-Proofs in Linear Algebra," "Beliefs and beyond: hows and whys in the teaching of proof," ...more>>

  18. Proof, Mathematical (Encarta Encyclopedia 2000) - Microsoft Encarta Online
    An argument that is used to show the truth of a mathematical assertion. In modern mathematics, a proof begins with one or more statements called premises and demonstrates, using the rules of logic, that if the premises are true then a particular conclusion ...more>>

  19. Proofs in Mathematics - Interactive Mathematics Miscellany and Puzzles, Alexander Bogomolny
    A discussion of the value of proofs in the classroom, followed by a collection of proofs classified as either simple or charming. Simple proofs: Number of vowels in a Lewis Carroll game; Pigeonhole Principle; Number of X's and O's; Coloring points in ...more>>

  20. Proofs - James Garner
    An essay on different approaches using mathematical proofs: inductive reasoning, reasoning by analogy, deductive reasoning, direct method, contrapositive approach, etc. ...more>>

  21. Proofs Without Words - Cut the Knot!, Alexander Bogomolny
    Martin Gardner wrote, "There is no more effective aid in understanding certain algebraic identities than a good diagram. One should, of course, know how to manipulate algebraic symbols to obtain proofs, but in many cases a dull proof can be supplemented ...more>>

  22. Proof Techniques (Analysis Webnotes) - John Lindsay Orr; Dept. of Mathematics & Statistics, Univ. of Nebraska-Lincoln
    Techniques of writing proofs for: Showing two sets are equal; Showing a set is closed; How to show a sequence converges; and How to use a convergent sequence (to prove other things). ...more>>

  23. Proof: The Sum of Prime Twins is Divisible by 12 - Mathematics Dept., College of Marin
    Prime twins are prime numbers that are two numbers apart. For example 41 and 43 are prime twins. Can you PROVE that the sum of prime twins is divisible by 12? (This proof doesn't work for the prime twins 3 and 5.) ...more>>

  24. The ProvenMath Project - Michal Ryszard Wojcik and Michal Stanislaw Wojcik
    Proofs of the Fundamental Theorem of Algebra, the theorem about integration by change of variables for real-valued functions of n-variables, a derivation of Zorn's Lemma, and others. The site renders axioms and derives proofs using only ASCII characters. ...more>>

  25. Puzzlers - Bryan Clair, University of Chicago
    A collection of Clair's favorite puzzles (no discussion or answers are provided): The Nine Dots; Weighing Coins; The Dollar Hotel, Planning an Orchard; The Math Department; Tea and Cream; Bugs on a Square; River Crossing; More Crawling Bugs; The Unexpected ...more>>

  26. Puzzles - Martin Watson
    Blogs, comments, musings, design sketches, and photographs of mechanical puzzles by an avid collector and craftsman. Puzzle news, the author's own burrs (Watson's wormhole, digigrams, Dutch cubist), in-depth explorations of manipulative puzzles (Puzzles ...more>>

  27. The Puzzle TOAD - Tom Bohman, Oleg Pikhurko, Alan Frieze, and Danny Sleator, School of Computer Science, Carnegie Mellon University
    Send the authors your solutions to their challenging graph theory, number theory, geometry, discrete mathematics, logic, and other puzzles. Re-visit periodically to see the latest question, and download PDFs of solutions of past problems. ...more>>

  28. Puzzlies.net - Michał Barciś
    Play sudoku and griddler logic puzzles online. Log in to save game play and compete in the rankings. ...more>>

  29. The Puzzling World of Barry R. Clarke - Barry R. Clarke
    Brain teasers from Clarke's column in The Daily Telegraph (UK) and from his various puzzle books: liar problems, logic teasers, number conundrums, matchstick puzzles, lateral mind-benders, and more. With links to other puzzles sites and an article on ...more>>

  30. Query Interface to the Contents of the Mathematics Archives - University of Tennessee, Knoxville (UTK)
    Search software, abstracts and reviews; teaching materials, etc. by keyword. ...more>>

  31. Quiz Hub - Schmidel & Wojcik: Educational Web Weavers
    A collection of online interactive learning quizzes that help K-12 students enhance their core knowledge of English, languages, math, science, and social studies. Subscription required. ...more>>

  32. Raise Smart Kids - Inna Shapiro
    Download Powerpoint presentations of math problems, with answers: logic, basic arithmetic operations, natural numbers, pigeonhole principle, fractions, pouring, cutting, weighing, divisibility, and more. For Croatian translations of some of Shapiro's ...more>>

  33. Recent Papers in Category Theory - Prof. George F. Nassopoulos
    Recent papers in Category theory and its applications to functional analysis, global analysis, and abstract differential geometry. ...more>>

  34. The rec.puzzles Archive
    The index of the rec.puzzles archive. Puzzles are categorized by subject area and include solutions compiled from various sources and supposed to be definitive. Subjects include: analysis, arithmetic, combinatorics, competition, decision, geometry, group, ...more>>

  35. The rec.puzzles Archive - Massachusetts Institute of Technology (M.I.T.)
    A list of puzzles, categorized by subject area, from the newsgroup rec.puzzles. Puzzles include solutions compiled from various sources, supposed to be definitive. Subjects include analysis, arithmetic, combinatorics, competition, decision, geometry, ...more>>

  36. rec.puzzles FAQs by Newsgroup - Dept. of Computer Science, Universiteit Utrecht
    Information on the following topics: crosswords, analysis, arithmetic, combinatorics, competition, cryptology, decision, geometry, group, induction, Instructions, language, logic, physics, Pickover (Cliff), probability, real-life, references, series, ...more>>

  37. Reference Notes - Department of Mathematics, Cal. State U. San Bernardino (CSUSB)
    Notes on set theory, symbolic logic, methods of proof, basic proofs, functions, relations, binary operations, and groups. Also, Math Tools for practicing modular arithmetic and truth tables, or for solving Diophantine equations. Search the Notes, or scan ...more>>

  38. Reflections on Deep Blue - Keith Devlin (Devlin's Angle)
    We generally assume that the ability to play a good game of chess requires intelligence when it comes to people. Why not for chess-playing machines as well? Well, here is one argument that shows that things are not so simple. One aspect of human intelligence, ...more>>

  39. Resource Material - Spencer, Chan; Univ. of Toronto Mathematics Network
    A collection of resource material for use in classes or extracurricular activities in high schools: answers, explanations, and expositions of some common but deep math questions. In the process of answering three basic questions, this area delves into ...more>>

  40. Revathi Narasimhan - Department of Mathematics, Kean University
    College Math, College Algebra, and Calculus course resources and links include Narasimhan's own Interactive Calculus tutorial, which requires the LiveMath plug-in. See also Using Excel in Finite Math and Applied Calculus, freely downloadable Excel workbooks ...more>>

  41. Robbins Algebras are Boolean - William McCune, Automated Deduction Group, Argonne National Laboratory
    The Robbins problem - are all Robbins algebras Boolean? - has been solved: Every Robbins algebra is Boolean. This theorem was proved automatically by EQP, a theorem proving program developed at Argonne National Laboratory. Information on the solution; ...more>>

  42. Roger Antonsen
    Site of the logician, mathematician, computer scientist, researcher, inventor, lecturer, science communicator, public speaker, and author of Logical Methods: The Art of Thinking Abstractly and Mathematically. Blog posts, which date back to 2013, have ...more>>

  43. The Roman Press, Inc. - Steven Roman
    Home page of a California mathematics professor, including research articles, books and textbooks, and software. ...more>>

  44. Rubik's Cube Information - Michael Reid
    All about Rubik's Cube - even a mailing list. Site contents include: the Nederlandse Kubus Club; Rubik's cube pages on the Web; Cube books; Sources of cube-like puzzles; the author's notes, including an optimal cube solver; other Cube solutions on the ...more>>

  45. Rubik's Cube Java Applet - Michael Schubart
    To twist the cube, press the mouse button over a cubelet face that belongs to the slice you want to move. Keeping the button pressed, drag the mouse in the desired direction; then release the button. Moving the whole cube is done in the same way - just ...more>>

  46. Rubix Corner - Duane Cash
    The site includes information regarding the Duane Cash Cube Collection now featured at Hessport's Rubikshop in their "collectibles" section. New puzzles include the Rubik's Triamese, Fusion, Fusion+, SpeedFusion, 5x3, and 4x3 Cubes, which give those interested ...more>>

  47. Science, Math, and Technology Tutorial (SMATT) - ThinkQuest 1996
    Topics: Math History (biography of Descartes); Logic (how to construct logical arguments and put them into proofs); Math Tutorial (Basic Algebra with problems and solutions); Environmental Science (ozone in the atmosphere); Astronomy (implications of ...more>>

  48. Sciences exactes / Mathématiques - Encyclopédie Hachette Multimédia En Ligne
    Recherche Mathématiques par thème: Mathématiciens et logiciens; Mathématiques générales; Logique; Algèbre; Topologie; Analyse; Géométrie; Cinématique; Statistiques; Probabilités; ...more>>

  49. Search Ask Dr. Math Archives - The Math Forum
    Search by keyword K-12 math questions answered by volunteer 'math doctors' in the U.S. and abroad. ...more>>

  50. Search for Math on the Internet - The Math Forum
    Keyword search of all searchable archives, Newsgroup archives, Dr. Math archives, Problems of the Week, Internet Math Library, or any combination thereof. ...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.