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 351 to 400

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

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

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

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

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

  6. Software for Texas Instrument Calculators - Nevil Hopley
    A collection of teaching programs for Texas Instruments calculators. Developed and tested in classrooms since 1998, the programs make the TI83, TI83+ & TI83+ Silver Edition more than just a calculator. Order by program, age group (ages 12-18), or topic ...more>>

  7. Software (Mathematics Archives) - University of Tennessee, Knoxville (UTK)
    An extensive collection of links to software, with abstracts and reviews, organized in four different ways: by platform (Macintosh, MSDOS) and then by subject; interactive texts (using a commercial package such as Mathematica, Maple or Mathkit to interact ...more>>

  8. Stephen's Guide to Logical Fallacies - Stephen Downes
    Lists all known logical fallacies, with definitions, examples, and the steps needed to prove that the fallacy is committed. Site also includes links to logic references and resources. ...more>>

  9. STEPS Online Tutoring - TCYonline.com
    TCYonline.com provides one-on-one live online math tutoring and homework help for grade K-12 students. The service offers test prep for the SAT, ACT, GRE and GMAT and State Level exams 24x7, round the year. TCY also provides math education consulting ...more>>

  10. Strategy and Conflict: An Introductory Sketch of Game Theory - Roger A. McCain
    Game theory is an interdisciplinary approach to studying human behavior that touches on computer science, social sciences, and behavioral sciences. Designed as a supplement to existing texts as a means of making the basic ideas a bit more accessible, ...more>>

  11. Strawberry Macaw's Puzzle Page
    Although simple, this collection of four logic puzzles provides a challenge for students of any age. The interactive puzzles are: The Fox, the Duck, and the Bag of Corn; The Three Gallon and Five Gallon Cans; The Twenty-Three Matches Game; and The Game ...more>>

  12. Structures Directory - Vaughan Pratt
    An e-mail directory of logicians, algebraists, and programming linguists working primarily on structural problems in mathematics and computer science. ...more>>

  13. Subtle Logic, Winning Game - Ivars Peterson (MathTrek)
    Seemingly simple games can serve as thought-provoking exercises in mathematical logic. They can provide deep insights into subtle issues that confront logicians who are interested in the foundations of mathematics. So-called Ehrenfeucht games have proved ...more>>

  14. SuccessMaker mathematics courses - Pearson Education, Inc.
    A learning environment combining a management system, assessment, and curriculum resources to provide administrators, teachers, and students with tools to improve academic performance. Also available from http://www.pearsonschool.com/index.cfm?locator=PSZk99. ...more>>

  15. Sudoku
    Flash-based game: enter a 9x9 grid so that every column, every row and each of the nine 3x3 segement contains the numbers 1 to 9. The game provides hints when you are stuck and has different levels. ...more>>

  16. Sudoku - Pappocom, aka Wayne Gould
    Finish filling in the 9x9 grid so that every row, every column, and each of the nine 3x3 boxes contains the digits 1 through 9. Different from a magic square, this puzzle requires no arithmetic, only reasoning and logic to deduce which digit to put where. ...more>>

  17. Sudoku - PedagoNet
    Sudoku online. New puzzles generated regularly; archive of past puzzles. ...more>>

  18. Sudoku Shuffle - ridiculopathy.com
    Play a Flash version of Sudoku online or print out one of these logic puzzles. Choose a level of difficulty and whether to play with number tiles or letter tiles. ...more>>

  19. A Su Doku solver
    Solvers for sudoku puzzles, with documentation, source code, and binaries. Frequently asked questions about this numeric puzzle include "Su Doku" or "Sudoku"? How does the solver work? How do I compose a Su Doku problem? How few cells could appear on ...more>>

  20. Syllogism 1.0 - Ben Sharvy
    Software to download. Enter a syllogism of any length. The program will tell you whether it is a valid syllogism, and if not, why not. It will also analyse the links between terms in the syllogism. BASIC code, and a version compiled for the Mac. ...more>>

  21. The Syllogistic Machine - Johan Mårtensson
    A JavaScript machine for checking the properties of Aristotelian syllogisms, with links to Mårtensson's On-Line Logic Book. ...more>>

  22. Teaching Logic and Reasoning in an Illogical World - DIMACS Symposium
    A July 1996 symposium: Participants, schedule, list of papers, and the papers themselves in html, ascii, or postscript. Sample papers: S. Maurer: Teaching reasoning, broadly and narrowly; C. Nelan: Student's attitude toward the relationship between language ...more>>

  23. Technologies: Past and Future - Cut the Knot!, Alexander Bogomolny, with Don Greenwell
    A discussion of the similarities in browsing through books and surfing the Internet, the serendipitous discoveries that can be made, fallacious geometric and other puzzles, and an interesting integer matrix, with recommendations of books to read and sites ...more>>

  24. Terry McConnell's Home Page - Terry McConnell, Mathematics Department, Syracuse University
    Download PDFs of tests given in McConnell's introductory calculus, Math 295. "Stuff" ranges from a remark on average velocity and an expository paper showing the details of how to derive the second order correction to the period of a plane pendulum using ...more>>

  25. Theorem of the Day - Robin Whitty, London South Bank University
    Every day, Whitty posts a PDF of a different theorem, lemma, law, formula, or identity -- each "as self-contained as possible." With pictorial interpretation; proof; glossary briefly explaining some parts of the mathematical language; references to related ...more>>

  26. Theoretical Computer Science - Elsevier Science
    The journal is mathematical and abstract in spirit, but derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and to provide more efficient methodologies. All papers introducing or studying ...more>>

  27. The Theory Group - University of St. Andrews, U.K.
    The Theory Group investigates aspects of theoretical computer science including: specification; automated theorem proving techniques and applications (especially in computer algebra); computational logic, including logic programming and proof theory; ...more>>

  28. Things Impossible - Interactive Mathematics Miscellany and Puzzles, Alexander Bogomolny
    Essays on impossible things, including trisecting an angle, doubling a cube, squaring a circle, moving pegs five places in one direction (via checker-jumps), finding the center of a given circle with the straightedge alone, representing the square root ...more>>

  29. Think & Derive - Chris Long
    Monthly mathematical columns from May 1994 through April 1996 written for Central New Jersey Mensa's Forvm. Problems and puzzles, many with solutions. ...more>>

  30. This is MegaMathematics! (MegaMath) - Nancy Casey; Los Alamos National Laboratory
    The frontier of mathematics is an exciting place, where mathematicians experiment and play with creative and imaginative ideas, many of them accessible to young children; others (infinity is a good example) whose profound mathematical importance is not ...more>>

  31. Three Skills For Algebra - Alan Selby
    This book describes three skills key to the algebraic way of writing and thinking, offering a first image of mathematics beyond arithmetic. It also describes the first elements of logic or rule-based reason, needed in all disciplines for writing or a ...more>>

  32. Tim's Interactive Puzzle Solution Center - Alex Sakharov
    A growing collection of interactive online logic puzzles including Cannibals and Missionaries, Eight Queens, Gunport, and math puzzles of various difficulty levels. ...more>>

  33. Topics in High School Mathematics - Martin Cohen
    Lesson ideas on geometric series, mathematical induction, Pythagorean triples, combinatorics, continuity, modular arithmetic, rotations and revolutions, and more. ...more>>

  34. To teach definitions in geometry or teach to define? - Michael de Villiers; Mathematics Education, Univ. of Durban-Westville, South Africa
    This paper argues from a theoretical standpoint that students should be actively engaged in the defining of geometric concepts like the quadrilaterals, and presents some data relating to a teaching experiment aimed at developing students' ability to ...more>>

  35. The Tower of Hanoi - Andrew Cumming
    Interactive version of the famous logic puzzle, in html and VRML versions, with a separate page about solving it. ...more>>

  36. Tower of Hanoi on the Web - Miroslav Kolar
    The legend: A group of Eastern monks are the keepers of three towers on which sit 64 golden rings. Originally all 64 rings were stacked on one tower with each ring smaller than the one beneath. The monks are to move the rings from this first tower to ...more>>

  37. Traffic Jam Activity - Suzanne Alejandre
    A classroom activity (also called Hop, Skip, Jump) aligned to the NCTM and California Standards, to be explored through large movement experience, manipulatives, and an interactive Java applet. Students then revisit the activity, look for patterns, and ...more>>

  38. Tribute to Invariance - Cut the Knot!, Alexander Bogomolny
    As a competitive activity, the Squares and Circles game is not very challenging in itself. That is to say, the outcome of the game does not depend on how the game proceeds. The challenge is to come up with this realization and establish its veracity. ...more>>

  39. Trisecting the Angle - Steven Dutch; University of Wisconsin - Green Bay
    Why is trisecting an angle with a straightedge and compass impossible? Discussion includes several other proofs of impossibility (the largest prime number, the square root of 2, repeating patterns in the plane) and some alternate methods of trisection ...more>>

  40. The Truth Tree's Math and Logic Board - Bob Scott, Ron Savori
    A collection of math and logic problems, from Pascal's Pizza Parlor and Leaning Ladders to The Old Lady and the Eggs and The Rickety Table Disaster. Register to solve these and other problems and compete with other visitors to The Truth Tree. ...more>>

  41. Two Equals One? - Jim Loy
    A proof that 2=1, what's not "legal" about it, and a discussion of infinity. ...more>>

  42. UC Berkeley Mathematics Department
    Department info; a collection of the Berkeley [Ph.D.] preliminary exams; undergraduate study hints and survival guide; Notherian Ring (women in mathematics at Berkeley - includes WWW sites of interest to women mathematicians or grad students); Center ...more>>

  43. The Ultimate Puzzle Site - van Gassel, Heijmans, van Veldhoven
    A site in English and Dutch by three Dutch students. Contents include: Various Basic Puzzles and Riddles (no mathematics); Harder Puzzles and Riddles (no mathematics); Mathematical and Logic-deductional Puzzles with solutions; Brain-Teasers; and Complex ...more>>

  44. Uncertain Reasoning Group - Mathematical Logic - Dept. of Mathematics, Manchester Univ., U.K.
    Homepage for a research group that investigates uncertain knowledge, how to represent it, and how to reason with it intelligently. People, research topics, seminars, Web resources. ...more>>

  45. Uncle Bob's Puzzles - Robert & Claire Mead, Haverhill, NH, USA
    Math and logic problems (no solutions); if you have questions, want a hint, or want to submit a solution you're invited to email the author. Asterisks indicate greater difficulty: Blind Cowboy; A Game of Catch; The Next Three; Grandpa's Birthday; Square ...more>>

  46. Unsolved Problems in Number Theory, Logic, and Cryptography - Tim Roberts
    This site "concentrates only on problems which are easily understandable to the amateur.... explainable on a single screen (perhaps 200 words), using simple terminology." Read brief descriptions of open problems such as the Chromatic Number, the Collatz ...more>>

  47. Usenet FAQ Archive : Recreation : Puzzles - Netmeg Internet
    Problems and puzzles, with solutions, from the rec.puzzles archives, in the categories: analysis, arithmetic, combinatorics, competition, decision, geometry, group, induction, instructions, language, logic, physics, pickover, probability, real life, references, ...more>>

  48. VEE: The Visual Elements of Euclid - Ralph Abraham
    The Euclid Project is an exfoliation of the Elements of Euclid, the most important math text of all time. It will encompass several books, a CD-ROM, and an educational environment on the World Wide Web. Its components are: The Visual Elements of Euclid ...more>>

  49. Venn Diagrams - Math Forum, Ask Dr. Math Common Question
    A selection of answers to questions about Venn diagrams and using them to model sets, intersections, and unions. ...more>>

  50. Video Lectures in Mathematics - Jerry Farlow
    An online pinboard gathering thousands of visual links to a broad range of math videos. Categories include applications of math; famous mathematicians; math education; math humor; math on TV, movies; STEM math initiatives; and "instructional: K-12." Farlow ...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.