 1991 Mathematics Subject Classification (MSC)  Chris Eilbeck; HeriotWatt University, Edinburgh
A hypertext version of the 1991 MSC. The main purpose of the classification is to help readers to find the items of present or potential interest to them as readily as possible  in MR, in Zbl, or anywhere else where this classification system is used.
...more>>
 About Proofs  Math Forum, Ask Dr. Math FAQ
What is a proof? How do you write a twocolumn proof?
...more>>
 ABsurd MAth: Prealgebra from another dimension  Michael Cain; HRM Video; LearningWave Communications
An interactive problemsolving game series where the ultimate power consists of mathematical skill and knowledge. Many pages have hidden clues and areas; when players need help, they may email the staff for assistance. Teachers and parents may request
...more>>
 Active Worksheets  David Womersley, Active Maths Limited
Formerly known as the Worksheet Factory, you can create worksheets online for an annual subscription fee: click on the "change" button and watch the numbers, angles, shapes or equations change; click on the "print" button to print a pupil worksheet and
...more>>
 Activity Resources  Activity Resources Inc.
Created by Mary Laycock for mathematics teachers, with the goal of providing a real understanding of mathematics through handson (manipulative) activities. Purchase books and manipulatives on arithmetic, base ten, red and blue blocks, Cuisenaire rods,
...more>>
 The Af2 Proof Assistant  Christophe Raffalli et al., France
A type system based on second order intuitionistic logic. The major design goal of this program was to make as easy as possible the formalization of
mathematical proofs on machine.
...more>>
 Algebra, Philosophy, and Fun  Ivars Peterson (MathTrek)
About the book Philosophy and Fun of Algebra, written by Mary Everest Boole (18321916) and published in 1909. "Boole's gentle, conversational introduction to algebra is meant for children. It also serves as a window on
math educationas it was perceived
...more>>
 alt.math.undergrad  Math Forum
An unmoderated discussion forum for issues and problems pertaining to college undergraduate mathematics. Read and search archived messages; and register to post to the discussions.
...more>>
 anthropicprinciple.com  Nick Bostrom
A site on 'Anthropic reasoning', which involves concepts such as probability, objective chance, rationality, and observers. See problems like the Doomsday argument.
...more>>
 Appetizers and Lessons for Math and Reason  Alan Selby
Logic Appetizers to test or or improve reading, writing and thinking skills, with definitions, concepts and proofs in many subjects (Chains of Reason; One or TwoWay Implications; Islands & Divisions of Knowledge; Deception); Advice (How to Study
...more>>
 Arbeitsgruppe Mathematische Logik und Theoretische Informatik  Ru[rechtKarls_Universität Heidelberg, Germany
Aktuelles, Anshriften, und Personen.
...more>>
 Arché: Philosophical Research Centre for Logic, Language, Metaphysics, and Epistemology  Crispin Wright, Director; University of St. Andrews, U.K.
Arché is a new research centre within the School of Philosophical and Anthropological Studies, St Andrews. Its goal is the promotion and publication of research of the highest quality in metaphysics, formal and philosophical logic, philosophy of
...more>>
 Aristotle and the Paradoxes of Logic  Gilbert Voeten
At about the same time that set theory began to influence other branches of mathematics, various contradictions, called paradoxes, were discovered. A paradox, however, is only due to a striking violation of at least one of Aristotle's laws of logic. The
...more>>
 arXiv.org ePrint archive  Los Alamos National Laboratory (LANL)
A major site for mathematics preprints that has incorporated many formerly independent specialist archives including alggeom, functan, dgga, qalg, autofms, cdhg, MAGNUS, Several Complex Variables, Logic Eprints, Commutative Algebra, Dynamical Systems,
...more>>
 Association des Collaborateurs de Nicolas Bourbaki  École Normale Supérieure (Paris, France)
The Bourbaki Association's principal activities include drafting _Elements of Mathematics_ (Éléments de Mathématique) and organizing seminars. View or download conference dates, programs, proceedings, and style guides.
...more>>
 Association for Symbolic Logic
The Association for Symbolic Logic (ASL) is an international organization supporting the presentation, publication, and critical discussion of scholarly work in the field of logic. Its current membership reflects the longstanding important role of logic
...more>>
 Automated Reasoning Project  Computer Sciences Laboratory, Australian National University, Canberra
A research group that investigates the mathematical properties of nonclassical logics, and studies algorithms for reasoning in various systems, both classical and nonclassical. Includes access to software developed by the team for projects such as FINDER
...more>>
 The Axiom of Choice (AC)  Eric Schechter; Vanderbilt University
An introduction to and some implications of perhaps the last great controversy of mathematics, the Axiom of Choice, now a basic assumption used in many parts of mathematics. With a collection of annotated links to relevant sites: Introductory/elementary;
...more>>
 Basic Concepts of Mathematics  Elias Zakon
This electronic text helps the student complete the transition from purely manipulative to rigorous mathematics. Chapters cover basic set theory, induction, quantifiers, functions and relations, equivalence relations, the real numbers (including consequences
...more>>
 Bertrand: Symbolic Logic ProblemSolving Software  Larry Herzberg
Using a decomposition/instantiation algorithm inspired by the 'consistency tree' method found in Leblanc and Wisdom's textbook Deductive Logic, Bertrand solves sets of firstorder symbolic logic statements (subjectequality supported) for satisfiability
...more>>
 A Bibliography of Mathematics Education  Paul Ernest, University of Exeter, U.K.
A 1994 electronic bibliography prepared for students at the University of Exeter, U.K. Contents: Society, Diversity And Mathematics Education; The Learning Of Mathematical Topics; The Psychology Of Learning Mathematics; Teaching Approaches And Resources
...more>>
 The Big List of Puzzle and Riddle Pages  MindBreakers Associates Inc.
An annotated list of links to sites with collections of math and word puzzles; also the best puzzles (the files), ranked for coolness and difficulty, with solutions and discussion: Gold for free; Just draw a line...; Turn on a lightbulb; the Wizard and
...more>>
 Blogic  J. David Velleman, Dept. of Philosophy, Univ. of Michigan
An interactive textbook in logic. Topics and interactive software include: Boolean searching; logic circuits; truthtables; Turing machines; foundations of probability; modal logic with possibleworlds diagrams; quantification. Includes interactive
...more>>
 bontegames  Bart Bonte
Logic and physics Flash challenges from the independent game designer behind "factory balls" and "sugar, sugar": a blocky christmas, furiosity, 40xEscape, farafalla, 14 locks, and more.
...more>>
 Books: Professional & Technical: Professional Science: Mathematics  Amazon.com
Browse bestselling math books from the Professional and Technical Bookstore at Amazon.com, in such categories as Applied; Chaos & Systems; Geometry & Topology; Mathematical Analysis; Mathematical Physics; Number Systems; Pure Mathematics; Transformations;
...more>>
 BrainBashers  Kevin N. Stone
A collection of logic, language and math puzzles, in a choice of easy/medium/hard. Rate the puzzles; show their answers. Logic puzzles include Einstein's Puzzle. Play games of strategy, such as "Four in a Row" (also known as "Connect Four") or games based
...more>>
 Brainers  PedagoNet
More than 60 word problems and puzzles designed to develop logic and problemsolving skills. Submit your answers and suggestions to become part of the Wall of Fame. Site is in English, French, and Spanish.
...more>>
 Brain Food  Puzzles For the Brain To Gnaw On  Samuel Stoddard
Hundreds of online (CGI) puzzles, including logic puzzles, word problems, number puzzles, lateral thinking puzzles, scrambled equations, cryptograms, loginumber puzzles, discrete reasoning puzzles, mathematical reasoning puzzles, knight's dilemma, magic
...more>>
 Brainfreeze Puzzles  Riley, Philip; and Taalman, Laura
Free example puzzles and solving tips for colorful, handdesigned Sudoku variation puzzles with additional rules that challenge you to rethink your old Sudoku strategies and devise new ones. From the authors of the book, Color Sudoku.
...more>>
 Breaking Chocolate Bars  Cut the Knot!, Alexander Bogomolny
The chocolate bar puzzle has three parameters: two side lengths (m and n) and actual selection of lines along which to break the bar and its parts... An interactive column for MAA Online that uses a Java applet to simulate a puzzle or mathematical problem,
...more>>
 Bricks Activity  Suzanne Alejandre
A classroom activity (also called the Masonry Problem; a variation on polyominoes) aligned to the NCTM and California Standards, to be explored through manipulatives (dominoes). Students explore different possibilities of making brick walls with and without
...more>>
 Bridge to Higher Mathematics  Sam Vandervelde
Textbook for use with the proofs course taught at St. Lawrence University by Vandervelde, an Associate Professor of Mathematics who writes questions for the USA Math Olympiad. Bridge to Higher Mathematics incorporates "concept checks" and "mathematical
...more>>
 'The Calculus of Logic' by George Boole  D. R. Wilkins, School of Mathematics, Trinity College, Dublin
The paper "The calculus of logic" by George Boole, first published in The Cambridge and Dublin Mathematical Journal, vol. 3 (1848), is available here in various formats: HTML (with inlined images), LaTeX, DVI, PostScript (US Letter size), and PostScript
...more>>
 CARROLLIA  Mensa España  CarrollSIG
El órgano de comunicación del CARROLLSIG de Mensa España, que se dedica a las matemáticas recreativas, la lingüística, la literatura experimental, la lógica, la ciencia, y todo aquello que hubiera gustado
...more>>
 Carroll's Paradox  Math Academy Online/Platonic Realms
An online encyclopedia article on Lewis Carroll's paradox, in Charles Dodgson's Alice in Wonderland.
...more>>
 Category Theory Demonstrations  Jocelyn Paine
This is a Web page with buttons that generate examples, with diagrams, of concepts in category theory. These include: initial and terminal objects, products and coproducts, equalisers and coequalisers, pullbacks and pushouts, and limits and colimits.
...more>>
 Centre for Logic and Philosophy of Science  University of Ghent, Belgium
Members, events, preprints and books, research interests, and more.
...more>>
 Changes of Mathematical State  Ivars Peterson  Science News Online
A discussion of constraintsatisfaction problems, more specifically the logic puzzle in theoretical computer science known as the satisfiability (SAT) problem (e.g. working out a seating plan), the current state of research on computational "phase transitions,"
...more>>
 Children's Shareware, Java Applets, Nature Wallpaper, and more  Lawrence Goetz
Shareware programs for kids, for Windows 3.1 and 95, including: Paddle Battle (a pong clone), Larry's Learning Math Machine (unregistered version has addition and subtraction; registered includes multiplication and division practice), Larry's Learning
...more>>
 Classic Fallacies  Philip Spencer; University of Toronto Mathematics Network
Mathematical "proofs" demonstrating, among other things, that 1 = 2 and that all people in Canada are the same age. Each consists of several steps, and users search for the flaws. For every step there is explanation of why the flaw is or is not in that
...more>>
 Classic Problems  Math Forum; Ask Dr. Math FAQ
Classic problems from the Ask Dr. Math FAQ (Frequently Asked Questions) files, including: age word problems, birthday probability, boy or girl?, camel and bananas, coin problems, doubling pennies, grazing animals, liars and truthtellers, the missing dollar,
...more>>
 Colección de Juegos de Ingenio del Club Mensa  Javier García Algarra
Esta colección recoge juegos de ingenio y problemas de matemática recreativa publicados en diversas revistas de Mensa, la asociación internacional para personas con un elevado cociente intelectual. En cada problema se hace referencia
...more>>
 A compendium of NP optimization problems  Crescenzi & Kann
A continuously updated catalog of approximability results for NP optimization problems. Because no NPcomplete problem can be solved in polynomial time (unless P=NP), many approximability results (both positive and negative) of NPhard optimization problems
...more>>
 Computability Theory  Peter Cholak
A resource for computability theorists. Includes a Bibliographic Database for Computability Theory; Open Questions in Recursion Theory: LaTeX or dvi; a link to the Association for Symbolic Logic; and links to pages of people who work (or have worked)
...more>>
 Constraints  Davide Cucciniello
This SATbased propositional (Boolean) logic engine for the iPhone lets you add, modify, delete, enable or disable constraints; assign values (true, false) to Boolean variables; and find all possible assignments to unassigned Boolean variables as solutions
...more>>
 The Counterfeit Coin  Ivars Peterson (MathTrek)
The classic puzzle of the counterfeit coin has long served as a stiff test of one's reasoning power and ingenuity. In its standard form, the problem concerns 12 coins identical in size, shape, and appearance. One coin, however, is counterfeit, having
...more>>
 A Crash Course in Symbolic Logic  D.J. Brasier; Math Forum, Ask Dr. Math FAQ
Is symbolic logic so hard that some people will just never be able to get it? In a gentle introduction to the notation and rules of derivation used in symbolic logic, Dr. Achilles shows why the answer to that question is 'No'.
...more>>
 Creative Java Puzzles  J. L. Read, Enchanted Mind
Games "good for exercising both sides of the brain." Knight's Tour: pass all the squares of the board with the knight, making only legal moves. Peg Solitaire: Remove all the pegs in the least amount of time, finishing with only one peg in the target hole.
...more>>
 Critical Thinking Books and Software
Critical thinking books and software for home and classroom for use in mathematics, science, language arts, social studies, and more. Search for Content Area Mathematics from the classroom catalog or the home catalog.
...more>>
 CROC'Sciences: le net.magazine de la pédagogie des sciences  P. Lambert
Un mensuel faisant le tour des sites scientifiques d'intérêt
pédagogique, soit pour la construction d'un cours, soit pour les
élèves euxmêmes. Chaque numéro comporte 6
catégories: Mathématiques,
...more>>
 
