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 - 425 items found, showing 51 to 100

  1. A compendium of NP optimization problems - Crescenzi & Kann
    A continuously updated catalog of approximability results for NP optimization problems. Because no NP-complete problem can be solved in polynomial time (unless P=NP), many approximability results (both positive and negative) of NP-hard optimization problems ...more>>

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

  3. Constraints - Davide Cucciniello
    This SAT-based 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>>

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

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

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

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

  8. 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 eux-mêmes. Chaque numéro comporte 6 catégories: Mathématiques, ...more>>

  9. CS22: Discrete Math - Brown University
    An introduction to discrete math with a focus on proof, logic, proof by induction, cryptography and networks of processors: lessons, homework, solutions, and information. "Discrete mathematics" refers to the distinction between discrete sets (for example, ...more>>

  10. Daniel J. Velleman - Daniel J. Velleman, Department of Mathematics and Computer Science, Amherst College
    In addition to Velleman's selected papers, link to his books, software, and unpublished papers, including Proof Designer, a Java applet designed to help students learn to write proofs in elementary set theory by outlining the steps of proofs under the ...more>>

  11. Database of Existing Mechanized Reasoning Systems - Kohlhase, Talcott.
    A 1999 page designed to represent the state of an ongoing effort to collect information about existing automated reasoning systems - automatic resolution provers (like Otter), interactive provers (like PVS) and other mechanized reasoning tools. The page ...more>>

  12. DavidZiskind.Org - David Ziskind
    Articles discussing variational problems, ordinary differential equations, series reversion, least squares regression, quantifiers, extrema, internal rate of return, and other mathematical topics. ...more>>

  13. DC Proof - Dan Christensen
    New software to teach the fundamentals of logic and proof. Enables user/student to write error-free proofs by selecting rules of inference, axioms, etc. from convenient drop-down menus. Includes tutorial with exercises. ...more>>

  14. Department of Logic - Faculty of Philosophy, Moscow State University, Russia
    In English and Russian. History of the department, staff, books, papers, courses, news. ...more>>

  15. Digital Math - Santa Barbara County Education Office
    A site to assist Algebra I, Grade 7, and Grade 6 students, their parents, and educators with the California State Mathematics Content Standards. Log in for Quicktime that provides step-by-step instruction to solve problems aligned with the mathematics ...more>>

  16. Dominoes Activity - Suzanne Alejandre
    A classroom activity (similar to Pentomino + 1 = Hexomino; a variation on polyominoes) aligned to the NCTM and California Standards, to be explored through manipulatives (paper dominoes). Students explore whether it is possible to cover a 6x5 grid with ...more>>

  17. Downloadable Articles, Papers & Materials - Michael de Villiers; Mathematics Education, Univ. of Durban-Westville, South Africa
    Articles by Villiers related to geometry and geometry education some in PDF format, including: An Extended Classification of Quadrilaterals; A Mathematical Treasure Hunt; Place Kicking Locus in Rugby; Sketchpad Solutions and Results; A Dual, and Generalizations, ...more>>

  18. Draft version of MSC2000 - European Mathematical Society (EMS)
    The proposed revision of the 1991 Mathematics Subject Classification (MSC), the classification used by the two reviewing journals Mathematical Reviews (MR) and Zentralblatt für Mathematik (Zbl) since the beginning of 1991. MSC2000 is the result of ...more>>

  19. Easier Fibonacci puzzles - Ron Knott
    Puzzles that are simply related to the Fibonacci numbers....; Brick Wall patterns; Making a bee-line with Fibonacci numbers; Chairs in a row; Stepping Stones; Fibonacci numbers for a change!; Telephone Trees ; Leonardo's Leaps; Fix or Flip; Two heads ...more>>

  20. Education: Mathematics - The Mining Company
    Web resource lists of sites: see sciences - physical/computer and, beneath, mathematics by Kristin Matherly, with links to sites "in the spotlight" and topics: Algebra; Applied Math; Books; Business Math; Careers; Calculus; Communities; Competitions; ...more>>

  21. EduWare - EduWare, Inc.
    Eduware Software lets teachers create exams for any subject or from test banks of Regents questions for Science, Social Studies, Foreign Languages, and Math, using the Wizard Test Maker program. Math subjects include logic, algebra, geometry, the coordinate ...more>>

  22. Elementary Computer Mathematics - Kenneth R. Koehler
    An introduction to the mathematics used in the design of computer and network hardware and software. This hypertextbook's goal is to prepare the student for further coursework in such areas as hardware architecture, operating systems internals, application ...more>>

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

  24. Eli's Math and Logic Puzzles and Other Interesting Things - Eli Karplus
    A mixed bag of problems, some geared toward the 6th grade level, others to challenge college folk, with answers for a few. Three Men in a Hotel/The Missing Dollar; The Boatman Crossing the River with Fox, Chicken, and Cabbage; Benardete's Paradox; The ...more>>

  25. The Elverson Puzzle Co., Inc.
    The creators of Jacob's Revenge, the classic wine bottle puzzle. Elverson Puzzle also makes a Tangram Puzzle, the eleven tiles of which form a 6 inch diameter circle; Farkle, a game played with extra large wooden dice or online, with the dice roller that ...more>>

  26. Enigmatum, Centre des Énigmes
    In French: A tous ceux qui aiment se creuser la tête, de nombreuses énigmes classées par thèmes: logique, mathématiques, paradoxes etc.. Toutes les énigmes sont accompagnées de leurs solutions. Des plus petits au plus grands venez travailler votre ...more>>

  27. Erich's Puzzle Palace - Erich Friedman
    Mathematical puzzles, with solutions, in the following categories: mirror puzzles, number puzzles, hex loop puzzles, path puzzles, battleship puzzles, triangulation puzzles, grid puzzles, cris-cross puzzles, weight puzzles, and logic puzzles. In particular, ...more>>

  28. Essay Ideas - Jim Wilson, Dept. of Mathematics Education, Univ. of Georgia
    For a course on Using Computers in Mathematics Instruction. Friday the 13th (show there are at most three and at least one Friday the 13th in each year, consider when two consecutive months can be have Friday the 13th); Gingerbread Man (a Microsoft Excel ...more>>

  29. Euclid's Elements - David Joyce; Dept. of Mathematics & Computer Science, Clark University
    A version of Euclid's Elements created by David Joyce to rekindle an interest in the Elements and to show how java applets can be used to illustrate geometry and to bring the Elements alive. The text of all 13 Books is complete. Joyce writes: "...deductive ...more>>

  30. Eugenia Cheng
    Research as well as "things for non-specialists" by a mathematician "keen to bring mathematics to a wider audience and help reduce maths phobia." Articles by the author of Higher-Dimensional Categories: An Illustrated Guide Book and Cakes, Custard and ...more>>

  31. Factasia: Mathematics - Roger Bishop Jones
    Math essays organized into three categories: general (threads in the web of mathematics and re-use and abstraction); real numbers (a logical development, some history, and computing with reals); and history (a short history of rigour in mathematics, classical ...more>>

  32. A Fair Deal For Housemates - Ivars Peterson (MathTrek)
    Four friends move into a house and find they must choose among four rooms of different size and quality. Instead of sharing the rent equally, they decide to divide the total so that each person ends up satisfied with his or her combination of room and ...more>>

  33. The Fair Division Calculator - Francis Su
    An interactive Java applet designed to help you determine how to divide among n people: a desirable object (such as a cake); an undesirable object (such as a set of chores); or a set of indivisible objects (rooms, desirable) with payments (rent, undesirable). ...more>>

  34. Fair Shares (MatheMUSEments!) - Ivars Peterson (Math Muse for Kids)
    The birthday party is over, and one chunk of thickly frosted, richly decorated cake is uneaten. Your mother insists that you and your sister slice the cake into two equal pieces, so that she doesn't have to listen to you fight over which is bigger. What ...more>>

  35. False Proofs, Classic Fallacies - Math Forum, Ask Dr. Math FAQ
    What's wrong with proofs that say 1+1 = 1, or 2 = 1? ...more>>

  36. Famous Paradoxes - Isaac Reed
    Zeno's Paradox and Cantor's Infinities. ...more>>

  37. Fill-It-In Outline Mathematics - Interactive Mathematics Miscellany and Puzzles, Alexander Bogomolny
    A collection of outline solutions to various problems: word and logic problems, problems from arithmetic, number theory and geometry. Solutions are practically complete with a few essential pieces omitted and to be filled in by the student. ...more>>

  38. Finite Mathematics & Applied Calculus Resource Page - Waner, Costenoble; Hofstra University
    Online interactive tutorials - Algebra Review, Finite Mathematics, and Calculus - based on Finite Mathematics Applied to the Real World, Calculus Applied to the Real World, and Finite Mathematics and Calculus Applied to the Real World. Topic Summaries; ...more>>

  39. Flash Pegs - CleverMedia
    Jump a peg over its adjacent neighbors to eliminate them until only one remains in this online version of the classic logic puzzle. Choose from nine starting configurations. Requires the Flash plug-in. ...more>>

  40. Formulas for fairness - Ivars Peterson - Science News Online
    Applying the math of cake cutting to conflict resolution: researchers turn to the mathematics of cake cutting and point allocation to develop improved methods for people to use to settle disputes. ...more>>

  41. Foundations of Mathematics - Alex Sakharov
    A collection of links to materials related to Foundations of Mathematics, organized as a book contents page, and intended to be a guide for studying the subject and a comprehensive Web reference. Naive Set Theory; Paradoxes; Formal Systems; Axiomatization; ...more>>

  42. Freakonometrics - Arthur Charpentier
    Blog by a Montreal professor of actuarial science "addicted to R." Posts, which date back to March, 2007, have included "Dynamic dependence ordering for Archimedean copulas and distorted copulas," "Pricing catastrophe options in incomplete markets," "Estimation ...more>>

  43. Free Daily Sudoku Puzzles
    For this canonical puzzle the aim is to fill every square in the 9x9 grid with a number 1-9. Every row, every column, and every 3x3 box must contain the digits 1 through 9. Free Daily Sudoku has online puzzles and daily puzzles by email or RSS feed. Also ...more>>

  44. Free Puzzles - Jimmie Dean
    A collection of puzzles and brainteasers, divided into geometry, logic, math, weight, moves, and miscellaneous. Each puzzle includes a hint, and solutions are available through e-mail. Online games and puzzles include a chess knight game and Hangman. ...more>>

  45. From Hypothesis To Conclusion...Reading Maps To Understand Proofs (SMILE) - Maryann Blaszak, South Shore Community Academy
    A lesson designed to prepare students for writing two-column proofs by teaching them to write directions using a map; fill in missing data; understand the importance of diagrams in writing proofs; and develop a tentative understanding of writing proofs. ...more>>

  46. Front for the Mathematics ArXiv - Univ. of California, Davis
    U.C. Davis front end for the xxx.lanl.gov e-Print archive, a major site for mathematics preprints that has incorporated many formerly independent specialist archives including alg-geom, funct-an, dg-ga, q-alg, auto-fms, cd-hg, MAGNUS, Several Complex ...more>>

  47. FTL
    An online magazine with articles about space, science, and science fiction. Features include a series of humorous articles by Ian Stewart, with topics ranging from lattice polyhedra (and conceptual art) to Diophantine equations (and camels). ...more>>

  48. Fun, Puzzles, Travel - Paul Bourke
    Brain twisters, arranged by approximate level, and designed for the most part to require no particularly advanced mathematical skills. Illusions include impossible triangle, Muller-Lyer, bad box, and Colours. ...more>>

  49. Fuzzy Machine Learning Framework - Dmitry A. Kazakov
    This fuzzy machine learning framework uses graph schemes, a variant of decision trees, to extend intuitionistic sets and represent not only uncertain, but also contradictory data within the same framework. The software provides both a library and a graphical ...more>>

  50. Fuzzy sets for Ada - Dmitry A. Kazakov
    A free (GPL) implementation of fuzzy sets, intuitionistic fuzzy sets, fuzzy numbers, linguistic variables and sets of linguistic variables. ...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.