Browse and Search the Library
Home : Math Topics : Logic/Foundations

All Sites - 418 items found, showing 351 to 400
 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>> 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>> 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>> 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>> 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>> 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>> 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>> 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>> 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>> 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>> Sudoku - PedagoNet Sudoku online. New puzzles generated regularly; archive of past puzzles. ...more>> 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>> 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>> 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>> 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>> 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>> 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>> 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>> 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>> 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>> 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>> 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>> 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>> Think Maths - Matt Parker This group of mathematics speakers visits schools to perform maths talks and workshops in the UK. Sessions present math in ways that "grab the attention of students and remind them that maths is something to be enjoyed." Free downloads include domino ...more>> 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>> 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>> 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>> 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>> 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>> 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>> 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>> 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>> 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>> 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>> 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>> 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>> 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>> 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>> 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>> 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>> 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>> 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>> 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>> 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>> Visual Structure of Postulates and Axioms in Algebraic Operations (SMILE) - Sanford Olshan, Roosevelt High School A lesson designed to reinforce and retain the use of axioms and postulates in various proofs and linear transformations of equations; and to have student build a physical model of the game of "PRUFF" either as a card game or as a board game. From the ...more>> Vladimir Voevodsky Lectures, publications, a library of Coq files, and more by the mathematician developing univalent foundations, which start with a view of mathematics where sets parametrize collections of objects without "internal structure" while more general homotopy ...more>> WASL Math Prompts - Port Angeles School District, Washington state Sample questions for the WASL, Washington State Assessment of Student Learning. Most questions have answers printed above the questions. Sample questions are offered for kindergarten through high school levels, organized by mathematical content, and accompanied ...more>> Was Math Invented or Discovered? - Math Forum, Ask Dr. Math Common Question A selection of answers to questions about whether math was invented or discovered. ...more>> WatchKnowLearn - Community Foundation of Northwest Mississippi Thousands of free online math educational videos, categorized into topics such as mathematics for young learners, number operations, math in the real world, pre-calculus, math study skills and test prep, and history of math. ...more>> Weighing a Counterfeit Coin - Math Forum, Ask Dr. Math Common Question A selection of answers to questions about using a balance beam to find a counterfeit coin, such as "If there are twelve coins in a bag, one of which is either lighter or heavier than the others, find the fake coin in exactly 3 weighings and determine ...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

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.
http://mathforum.org/