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 201 to 250

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

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

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

  4. mathbabe - Cathy O'Neil
    "Exploring and venting about quantitative issues." Blog posts, which date back to June, 2011, have included "K-Nearest Neighbors: dangerously simple," "Cool math books," "Women in math," "Mathematicians know how to admit they're wrong," and "Why log returns?" ...more>>

  5. The Math Behind Numb3rs - Wolfram Research, Inc.
    Wolfram Demonstrations of the mathematics behind each CBS television broadcast of the FBI crime drama series NUMB3RS, from the pilot episode through season six: Structural Corruption, Prime Suspect, Sabotage, Bettor or Worse, Soft Target, Double Down, ...more>>

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

  7. Math Club - Mary Kathryn Eisemann, Tomasz Jan Klosowski, Micjal Andrzej Zabicki--ThinkQuest 2000
    Brief tutorials, puzzles, and brain teasers for students aged 12-17. 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>>

  8. Math.com
    Links to Internet math resources for students, teachers, and others, and to products from the Math.com store. Solutions include assessment, on-demand modular courses that target key math concepts, 24/7 live online tutoring, and expert answers to math ...more>>

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

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

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

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

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

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

  15. Mathematical Thinking - Swan, Malcolm; and Ridgway, Jim
    Self-contained, self-instructional modules that "promote and assess thinking skills in mathematics." Mathematical Thinking Classroom Assessment Techniques (Math CATs) tasks from the Field-tested Learning Assessment Guide (FLAG) include "Fault Finding ...more>>

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

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

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

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

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

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

  22. 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. See also Penn State's page of preprints. ...more>>

  23. Mathematics Related Articles - AllRefer.com
    Browse mathematics-related entries from the Columbia Electronic Encyclopedia, 2003 edition. Further subjects available from the main page. ...more>>

  24. Mathematik-Lehrgang (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>>

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

  26. Math Explorers' Club - Cornell Department of Mathematics
    Self-contained modules of activities and other materials for middle and high school teachers to give their students experience with more advanced topics in mathematics, such as combinatorics and cryptology, graph theory, probability and applications, ...more>>

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

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

  29. Math I Can Do - Math I Can Do Solutions, Inc.
    An online interactive equation editor for writing math expressions. Different account levels provide options for storing your math documents and — with mathicando.com's "Math I Can Share" feature — embedding links to images of them online. ...more>>

  30. Math in Russia - Vladimir Kim
    In Russian: On-line testing, synopsis in algebra subject area, publications about teaching methods. ...more>>

  31. Mathlinks.info - Ronald N. Gibson, M.D.
    A portal to mathematics resources on the internet; links to college-level mathematics sites, categorized. ...more>>

  32. 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, hands-on activities, and the Web, as well as standards addressed, a hotlist of Web resources, and pictures of students. Toothpick ...more>>

  33. 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 step-by-step solution. The movies of English-speaking and Spanish-speaking ...more>>

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

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

  36. Math Online - Salem-Keiser Public Schools, Oregon
    Salem-Keizer 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>>

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

  38. Math Professor Quotes
    Blog of "the absurd things math professors say." Submit your own teacher's quirky head-scratchers, or browse the collective archive, which dates back to July, 2012. ...more>>

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

  40. Math Teacher Mambo - Shireen Dadmehr
    Blog by a veteran high school teacher in Texas. Posts, which date back to January, 2005, have included "TAKS TAKS TAKS," "English Practice in Math Class," "Fraction Song," "Reviewing Angst," "Spaghetti Sine Curves," "Blocks & Pieces," "Memory Wheel," ...more>>

  41. MathWare Ltd.
    Software and books for algebra, geometry and calculus: Derive, MathPert, Scientific Notebook, Cyclone; books for use with the TI Graphing Calculators, and a book and CD for Mathematica. Also an Interactive Math Dictionary on CD-ROM with biographical entries, ...more>>

  42. MathWorld: Eric Weisstein's World of Mathematics - Eric W. Weisstein and Wolfram Research, Inc.
    A full-text searchable, comprehensive alphabetical encyclopedia of math terms, equations, and derivations, with explanations, examples, references, and much more. Everything from Abacus to Zsigmondy Theorem. (Formerly the CRC Concise Encyclopedia of Mathematics, ...more>>

  43. Math WWW VL: Specialized Fields - Dept. of Mathematics, Florida State University
    Links to sites for resources in specialized fields in college-level mathematics. ...more>>

  44. MERLOT Mathematics Portal - MERLOT (Multimedia Educational Resource for Learning and Online Teaching)
    Free higher-education online teaching materials, and a user community centered around those materials. Free registration allows users to create, contribute, collect, and comment on resources, or become a peer reviewer or guest speaker. The site offers ...more>>

  45. Metamath - Norman Megill
    A site for proofs and logic. Includes: Metamath Solitaire--a Java applet that lets you build simple proofs in logic and set theory (built-in: the axioms of logic and ZFC (Zermelo-Fraenkel with Choice) set theory) with source code and other web resources; ...more>>

  46. MetaPRL logical programming environment - Hickey, Nogin, et al.
    The next generation of the NuPrl proof development system. MetaPRL is two things: it is a logical framework where multiple logics can be defined and related, and it is a system implementation with support for interactive proof and automated reasoning. ...more>>

  47. Middle School Problem of the Week - Department of Mathematics, Southwest Missouri State University (SMSU)
    Word problems in number patterns, algebra, geometry, and other topics. Read the solution to the most recent problem, and archives of previous problems and their answers. ...more>>

  48. MiGen - London Knowledge Lab
    This generalization software microworld presents the abstractions of algebra in a visual format. With MiGen's simple sequences of coloured tiles, young learners construct patterns (eGeneraliser), express their structure and relationships (eXpresser), ...more>>

  49. Minesweeper Logic - Ivars Peterson (MathTrek)
    In the basic version of this Windows-based game, the player faces a gray landscape of 64 blank squares in an eight-by-eight grid. The object is to locate 10 randomly placed "land mines" hidden among the playing field's squares, working as quickly as possible ...more>>

  50. Missing Dollar - Math Forum, a Classic Problem from the Ask Dr. Math FAQ
    Three men go to stay at a motel, and the man at the desk charges them $30.00 for a room. They split the cost ten dollars each... where is the missing $1.00? ...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.
http://mathforum.org/