Drexel dragonThe 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 301 to 350

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  33. The Rose-Hulman Undergraduate Mathematics Journal - Rose-Hulman Institute of Technology
    Devoted entirely to papers written by undergraduates on topics related to mathematics. A mathematician familiar with each student's work to sponsor the paper. Freely download refereed PDF articles from past issues of the biannual RHIT Undergraduate Math ...more>>

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

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

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

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

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

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

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

  41. Self-Reference and Apparent Self-Reference - Interactive Mathematics Miscellany and Puzzles, Alexander Bogomolny
    Various paradoxes, real and imagined, including verbal, logical, and mathematical examples, and links to: Blinking page with errors; Apparent paradox; Set of all subsets; An Impossible Page; Russell's paradox; and An Impossible Machine. ...more>>

  42. Shady Puzzles - LambdaMu Pte Ltd
    A logic and elimination (disjunctive syllogism) puzzle: the column and row headers identify the number and spacing of shaded squares within a grid--place shaded squares where they belong according to those guides. The site includes a history of the puzzles, ...more>>

  43. Simple City - Richard Elwes
    Website of the author of, among other books, Mathematics 1001, How to Build a Brain (Mathematics without the Boring Bits), and Chaotic Fishponds and Mirror Universes. Prior to lecturing at the University of Leeds, Elwes earned his PGCE (QTS) in secondary ...more>>

  44. Sites with Problems Administered by Others - Math Forum
    Problems of the week or month: a page of annotated links to weekly/monthly problem challenges and archives hosted at the Math Forum but administered by others, and to problems and archives elsewhere on the Web, color-coded for the level(s) of the problems ...more>>

  45. Sketchpad Activities for Young Learners: Grades 3-5 - Nathalie Sinclair
    This collection of activities for grades 3-5 offers examples of the ways in which Sketchpad can be used across the range of mathematical subject areas in the elementary curriculum. ...more>>

  46. Smarandache Notions - J. Castillo
    A journal for papers related to the work of Florentin Smarandache, who in the 1960s proposed some new geometries: Non-Geometry, Counter-Projective Geometry, Anti-Geometry, and Paradoxist geometry, which would generalize and unite Euclid, Lobachevsky/Bolyai/Gauss, ...more>>

  47. SMART: Science and Mathematics Advancement and Resources for Teachers - Los Angeles Educational Partnership
    A program designed to help teachers in Los Angeles County (California, USA) develop their professional teaching skills and content knowledge. Links for Teachers, Students, Businesses and Institutions, Parents, and Community Members. Includes the SMART ...more>>

  48. SmartZoid
    SmartZoid provides online math evaluation and tutoring with a comprehensive free assessment for grades K-9. ...more>>

  49. SMILE Program Mathematics Index - Science and Mathematics Initiatives for Learning Enhancement
    Over 200 single-concept lesson plans in the following categories: Geometry and Measurement, Patterns and Logic, Probability and Statistics, Recreational and Creative Math, Practical and Applied Math, Arithmetic, Graphs and Visuals, Algebra and Trigonometry, ...more>>

  50. Social and Historical Aspects of Mathematics - Thompson, Wilkinson; Univ. of Wolverhampton (UK)
    Math history: the development of counting systems and notations (includes Egyptian, Sumerian, Babylonian, and Hindu-Arabic numerals); of notation and concepts in algebra; Changing systems of geometry from Euclid to Klein's programme (includes New Geometries, ...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.