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 - 428 items found, showing 201 to 250

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

  2. The Logics Workbench (LWB) - Gerhard Jaeger, Leader; University of Bern, Switzerland
    The LWB allows work in classical and non-classical propositional logics, including nonmonotonic approaches. There are several groups of functions: functions concerning provability; simplification of formulas; computation of normal forms; embeddings, and ...more>>

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

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

  5. The Logic Zone
    A collection of logic problems with answers, logic puzzles, and cryptograms. ...more>>

  6. 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 ladder-based story illustrates the underlying idea, called ...more>>

  7. Ludo Novo - Guillermo Andres
    Manipulatives designed to educate and stimulate children from ages 2-6 through the early stages of cognitive development that form the basis of logical thought and problem solving capabilities. ...more>>

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

  9. Magic Truth Table Maker - Eric Silverberg
    A page that lets you enter logical data to generate a truth table. Simple, straightforward and text-based, with examples of valid strings provided.. ...more>>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  40. 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 what-you-see-is-what-you-get ...more>>

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

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

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

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

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

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

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

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

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

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


 
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.