 Logic Software from CSLI  Jon Barwise and John Etchemendy; Center for the Study of Language and Information
Text/software packages described here  Hyperproof, The Language of Firstorder Logic, Tarski's World, and Turing's World  are all published by the Center for the Study of Language and Information and distributed by Cambridge University Press.
...more>>
 The Logics Workbench (LWB)  Gerhard Jaeger, Leader; University of Bern, Switzerland
The LWB allows work in classical and nonclassical propositional logics, including nonmonotonic approaches. There are several groups of functions: functions concerning provability; simplification of formulas; computation of normal forms; embeddings, and
...more>>
 Logic  ThinkQuest 1996
About logic  knowing how to construct logical arguments and put them into proofs. Logic is the art of showing whether something is true or false. An explanation of basic concepts is followed by an opportunity to test your skills. From SMATT (Science,
...more>>
 Logicville
Anagram, chess, cryptarithm, cryptogram, doublet, logic, mathematical, magic word square, and tangram puzzles. Select a puzzle at random; solve the puzzle of the week. Interactive puzzles require Java.
...more>>
 The Logic Zone
A collection of logic problems with answers, logic puzzles, and cryptograms.
...more>>
 Longer Chains of Reason (Pattern Based Reason)  Alan Selby
About mathematical induction. Rules that say that when a first situation occurs, so should a second, are called implication rules. Implication rules can be linked together, one after another. A ladderbased story illustrates the underlying idea, called
...more>>
 Ludo Novo  Guillermo Andres
Manipulatives designed to educate and stimulate children from ages 26 through the early stages of cognitive development that form the basis of logical thought and problem solving capabilities.
...more>>
 Magic Cube Generator  Dwane H. Campbell, Keith A. Campbell
This site offers a generator for magic squares, cubes, and hypercubes, along with history, overview of basic concepts, and statistics, and downloads and references. The authors focus primarily on a set of 8 by 8 by 8 magic cubes that are often called
...more>>
 Magic Truth Table Maker  Eric Silverberg
A page that lets you enter logical data to generate a truth table. Simple,
straightforward and textbased, with examples of valid strings provided..
...more>>
 Mag's 3x3 Rubik's Cube Solution  Tom Magliery
A small collection of operations for the 3x3 Rubik's Cube, which assumes that you already know how to get one entire face solved; this means not only having all of one color on one side, but also having those 8 pieces in the proper position with respect
...more>>
 Mancala Web  Brian Casey, Imagiware, Inc.
An ancient, challenging game. Mancala is played with seven pits  six playing pits plus one score pit, the Kalaha, per player. At the beginning of the game, each of the (12) playing pits contains 3 seeds (or beads or stones or balls or whatever). To play,
...more>>
 Maple worksheets  Ben Pollina; Dept. of Mathematics, Univ. of Hartford, Hartford, CT
Maple worksheets for linear algebra and discrete math courses (introduction to Maple, linear systems, matrices, determinants, and logic).
...more>>
 Marilyn is Wrong!  Herb Weiner
A searchable forum for discussion of Parade magazine's Ask Marilyn column, which regularly addresses logic puzzles. Organized into "Correct, but Incomplete," "You be the Judge," "Unsubstantiated Reports," and "She's Wrong!" With Frequently Asked Questions.
...more>>
 Martin Flashman  Department of Mathematics, Humboldt State University, Arcata, CA
Papers by Martin Flashman: "Solving Calculus Problems without Calculus"; "Dynamic Visualization of Calculus"; "Differential Equations: A Motivating Theme for Sensible Calculus." See also The Sensible Calculus Program, a draft text description in progress;
...more>>
 MAT 007 I News, Wreckreational Math  Joel Chan, Ed.; Dept. of Mathematics, Univ. of Toronto, Canada
A newsletter that combines mathematics and humour, with articles that range from the very serious and informative to the witty and hilarious. The ultimate goal of the newsletter is to bring you some enjoyment in mathematics that you might not be able
...more>>
 mathbabe  Cathy O'Neil
"Exploring and venting about quantitative issues." Blog posts, which date back to June, 2011, have included "KNearest Neighbors: dangerously simple," "Cool math books," "Women in math," "Mathematicians know how to admit they're wrong," and "Why log returns?"
...more>>
 Math by Proof: What is it, and why should we?  Roger Jones
Formalised mathematics is distinguished from informal mathematics by three features: machine processable languages with precisely defined semantics in which mathematical propositions are expressed; machine checkable reliable criteria for demonstrating
...more>>
 Math Club  Mary Kathryn Eisemann, Tomasz Jan Klosowski, Micjal Andrzej ZabickiThinkQuest 2000
Brief tutorials, puzzles, and brain teasers for students aged 1217. Some topics include: equations, trigonometry, geometry, set theory, logic, and induction. The games range from mazes to magic squares to Victorian parlor games. Students may log in
...more>>
 Math.com
Links to Internet math resources for students, teachers, and others, and to products from the Math.com store. Solutions include assessment, ondemand modular courses that target key math concepts, 24/7 live online tutoring, and expert answers to math
...more>>
 The Mathematical Atlas: A Gateway to Modern Mathematics  Dave Rusin
A collection of short articles introducing the subject areas of modern mathematics, describing a few of the milestone results and topics, and giving pointers to some of the key resources where further information is to be found. The material is arranged
...more>>
 Mathematical BBS (Mathematics)  Mathematics Dept., Univ. of Ferrara, Italy
Collections of resources: Associations, Departments, Disciplines, Journals, Industrial mathematics, the mathematician. Disciplines include: Algebra; Algebraic geometry; Analysis; Applied Mathematics; Categories; Combinatorics; Complex analysis; Computational
...more>>
 Mathematical Foundations of Computer Science  Erich Grädel; Aachen University of Technology, Germany
A research group at Aachen: Mathematische Grundlagen der Informatik: Research, Finite Model Theory, Publications, Teaching, People, Books.
...more>>
 Mathematical Induction  Interactive Mathematics Miscellany and Puzzles, Alexander Bogomolny
A brief discussion of mathematical induction, with proof, and other examples also proven by mathematical induction, including: Splitting piles; Continued Fractions; Linear Functions; Groups of Permutations; Inequality between arithmetic and geometric
...more>>
 Mathematical Logic  Department of Mathematics, Manchester University, U.K.
There is a strong tradition in mathematical logic at Manchester. The first logician at Manchester was Alan Turing, now considered to be the father of artificial intelligence and one of the great visionaries of the twentieth century... The present group
...more>>
 Mathematical Logic Group
 Department of Mathematics, University of Bonn
Research in the group is concentrated on axiomatic set theory, in particular: Inner models and large cardinals; Descriptive set theory and Determinacy; Consistency strengths; and Forcing. Members, recent publications, lectures, and links.
...more>>
 The Mathematical Logic Group  University of Leeds, U.K.
One of the largest and most active groups in Europe, with an international reputation for research in several of the main areas of mathematical logic: recursion theory, model theory, set theory and foundations, proof theory, and in applications to algebra,
...more>>
 Mathematical Thinking  Swan, Malcolm; and Ridgway, Jim
Selfcontained, selfinstructional modules that "promote and assess thinking skills in mathematics." Mathematical Thinking Classroom Assessment Techniques (Math CATs) tasks from the Fieldtested Learning Assessment Guide (FLAG) include "Fault Finding
...more>>
 Mathematicians and Philosophers: Chalk and Cheese?  Keith Devlin (Devlin's Angle)
...mathematicians and philosophers go about their business in very different ways, and on the whole they don't mix. Mathematicians who arguably would benefit from reading works in philosophy rarely do so  books by Daniel Dennett and John Searle excepted
...more>>
 Mathematics Archives  University of Tennessee, Knoxville (UTK)
A comprehensive site for finding mathematics on the Internet; particularly strong in its collection of educational software and links to other sites of interest to mathematicians that provide access to electronic journals, preprint services, grant information,
...more>>
 Mathematics Curriculum Notes  Alan Selby
A model for mathematics instruction from primary school to college. The first part describes Pattern Based Reason, its origins, benefits and limitations in many subjects. In mathematics education there are two barriers to comprehension to be lowered or
...more>>
 Mathematics  David Madore
Before organizing cryptography conferences for the École Nationale Supérieure des Télécommunications, Madore studied at France's École Normale Supérieure (ENS). See, in particular, his Javascript hyperbolic maze,
...more>>
 Mathematics: Important Theorems and their Proofs  Richard Lindberg
Major theorems and their proofs from Analysis (calculus topics, induction, and sets). This page is maintained by a student, who plans to add more theorems and proofs as he learns of them. Also includes a links page, to which the public is invited to contribute.
...more>>
 Mathematics Journals (AMS)  American Mathematical Society
A list of mathematics journals with articles on the Web and a list of Web sites for printed journals, with tables of contents of issues, abstracts of papers, actual papers, information about submissions and subscriptions, etc. See also the Annual Listing
...more>>
 Mathematics Journals: Electronic and Printed  Mathematics Dept., Penn State University
Links to dozens of journals, from the Academic press electronic journal library to the Ulam Quarterly, and spanning printed journals from Abstract and Applied Analysis to the Zentralblatt für Mathematik. A link to the Bibliothèque Mathématique
...more>>
 Mathematics Related Articles  AllRefer.com
Browse mathematicsrelated entries from the Columbia Electronic Encyclopedia, 2003 edition. Further subjects available from the main page.
...more>>
 MathematikLehrgang (Logik, Trigonometrie, Lineare Algebra, Analysis)
A mathematics training course in German with online and download versions, for high school and early college, in which all necessary prerequisite knowledge is contained in the course. Also links to German maths sites.
...more>>
 Mathenomicon.net
Online mathematical reference, covering a wide range of topics (Algebra, Analysis & Calculus, Applied Mathematics, Discrete Mathematics, Foundations of Mathematics, Geometry, History & Biography, Language & Symbols, Number Theory, Probability & Statistics,
...more>>
 Math Games for Fun  Ciciu Alexandru
JavaScript games of logic, game theory, memory, and graph theory: lights off, flipping triangles, peg solitaire, place 7 balls, Nim and bogus Nim, Mastermind, the four knights, Josephus Flavius, and more. Click the "game strategy" button for hints.
...more>>
 Math Help and Online Tutoring
Email or online tutoring in many areas of mathematics as well as other subjects. Sample work and fee structure available on the site.
...more>>
 Math I Can Do  P. Karl Halton
An online interactive equation editor for writing math expressions. Register a free account to save up to ten files online; purchase a premium account for unlimited storage, file sharing, and more features. Watch video tutorials of the whatyouseeiswhatyouget
...more>>
 Math in Russia  Vladimir Kim
In Russian: Online testing, synopsis in algebra subject area, publications about teaching methods.
...more>>
 Mathlinks.info  Ronald N. Gibson, M.D.
A portal to mathematics resources on the internet; links to collegelevel mathematics sites, categorized.
...more>>
 Math Logic Project Page  Mary Lee Malen; The Levering School, Philadelphia, PA
A project plan, summary reports, content and results are included for concept puzzles in logic and math, involving teamwork, handson activities, and the Web, as well as standards addressed, a hotlist of Web resources, and pictures of students. Toothpick
...more>>
 Math Mentor Take the Test  Santa Clara County Office of Education
For students preparing to take the California High School Exit Examination (CAHSEE) in math: answer a sample question on your own; watch a math mentor solve the same problem; and review a stepbystep solution. The movies of Englishspeaking and Spanishspeaking
...more>>
 Math Mutation  Erik Seligman
These "show notes" accompany a short podcast of the same name that explores "fun, interesting, or just plain weird corners of mathematics that you probably didn't hear in school." Posts, which date back to December, 2011, have included "Flat People Give
...more>>
 MathNet  Philip Spencer, Dept. of Mathematics, University of Toronto
Resources for high school students: interactive activities (Classic Fallacies, Keep the Traffic Moving) and mathematically interesting games (Tower of Hanoi, Game of Nim, Monty Hall Problem), questions and discussion, answers and explanation, problems
...more>>
 Math Online  SalemKeiser Public Schools, Oregon
SalemKeizer Public Schools of Salem, Oregon, designed this collection of daily math problems to help students in the third, fifth, and eighth grades prepare for the State of Oregon CIM Benchmark exams. Student exercises are organized by grade level,
...more>>
 Math Pages  Kevin Brown
A collection of over 600 brief articles covering a huge variety of mathematical topics. Contents include: Number Theory; Combinatorics; Geometry; Algebra; Calculus and Differential Equations; Probability and Statistics; Set Theory and Foundations; History
...more>>
 Math Professor Quotes
Blog of "the absurd things math professors say." Submit your own teacher's quirky headscratchers, or browse the collective archive, which dates back to July, 2012.
...more>>
 Math  Science Search
Science Search is a directory for scientific topics, including this subsection of Math. Individual entries include description, category, and a user rating of the site.
...more>>
 
