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 - 431 items found, showing 151 to 200

  1. James Propp
    James Propp studies tilings, games, and other aspects of combinatorics, probability, and dynamical systems. Many of his articles are available for download in PostScript and gzipped PostScript formats. Code for C programs related to tilings and cellular ...more>>

  2. janko.at - Angela and Otto Janko
    Puzzles, games, and Java applets on logic, number, and chess. See also the Jankos' Retrograde Analysis Corner and analyses of legal moves in chess. ...more>>

  3. JB Programming - Jim Burke
    Logic.xla, a free Excel logic processor add-in for symbolic logic and mathematics. ...more>>

  4. John MacFarlane
    Papers, books, talks, courses, and other resources by the member of the University of California, Berkeley's Group in Logic and the Methodology of Science and a co-organizer of the Working Group in the History and Philosophy of Logic, Mathematics, and ...more>>

  5. Joseph Mazur
    Books by the professor emeritus of mathematics at Marlboro College: Enlightening Symbols: A Short History of Mathematical Notation and its Hidden Powers; Euclid in the Rainforest: Discovering Universal Truth in Mathematics; The Motion Paradox: The 2,500-Year ...more>>

  6. Journal Homepages - Kluwer Academic Publishers
    A search page for finding journals published by Kluwer Academic Publishers. Each includes past, present, and future article listings, aims and scope, and submission and subscription information. Search the complete catalogue by keyword or view journals ...more>>

  7. Journal of Mathematics and Computer Science - M.T. Grabiec, Chief Editor
    Research "on the development of theories and methods for computer and information sciences; the design, implementation, and analysis of algorithms and software tools for mathematical computation and reasoning; and the integration of mathematics and computer ...more>>

  8. Just a Usual Day at Unusual School (MegaMath) - Nancy Casey; Los Alamos National Laboratory
    Students perform a play that takes place in a school where some of the students always lie and the rest always tell the truth. Terry, the protagonist, is trying to find out which students are which, but at the beginning, there is no way of knowing whom ...more>>

  9. Kumo - Joseph Goguen et al.; University of California at San Diego.
    A Web-based proof assistant that assists with proofs in first order hidden logic, using OBJ3 as a reduction engine. The most important inference rules in first order logic and hidden equational logic are implemented, including induction and coinduction. ...more>>

  10. Laboratory for Applied Logic (LAL) - Brigham Young University, Provo, UT
    A research unit of the Department of Computer Science specializing in applying mathematical methods to problems in computer dependability. The research conducted in the LAL is currently divided into three major areas: modeling abstract hardware components ...more>>

  11. Laboratory of Mathematical Logic - Steklov Institute of Mathematics, St. Petersburg, Russia
    Staff, activities, seminars, Web pages devoted to Hilbert's Tenth Problem, Relevant links. ...more>>

  12. Lammas - Peter Fox
    A simple game of logic using a number of differently coloured tiles arranged in a grid. The object is to convert the complete grid to tiles of a single colour. The rule for conversion is given by the four tiles at the top left corner as a template. A ...more>>

  13. The Language of Mathematics - Warren Esty; Montana State University
    A book and core-course at Montana State University. Site provides a description of the philosophy behind the book, the methods used in the book and course, research results from studies of both, and information on ordering the book. Also a bio of the ...more>>

  14. La pagina della classificazione matematica: MSC2000 librerie H-volumi - Antonella De Robbio, Alberto Marini, Dario Maguolo
    Italian version of Mathematics Subject Classification version 2000 (MSC2000); different points of views, with a comparison of MSC1991 and MSC2000. Includes a description of the project, links to relevant pages, and a preprint of "La versione Draft2000 ...more>>

  15. Lateral Puzzles - Paul Sloane
    Pose or solve lateral thinking puzzles, also known as situation puzzles, which depict a counterintuitive scenario to be explained by asking yes-no questions or by proposing explanations. Read question-and-answer conversations of current and solved puzzles; ...more>>

  16. Laws of Form - Richard Shoup
    Inspired by the book Laws of Form by George Spencer-Brown, in which the author built a "calculus of distinctions." Read an interpretation of his laws of calling and crossing as a logical arithmetic; see a simple analysis of Spencer-Brown's Counter; learn ...more>>

  17. Laws of Thought - Keith Devlin (Devlin's Angle)
    "What Zeno of Citium actually did was found the Stoic school of logic. Though modern mathematical logic is popularly credited as having its beginnings in the syllogistic logic of Aristotle, most of the fundamental notions of contemporary propositional ...more>>

  18. The Learning Box: K-5 Math Software
    Developer of elementary mathematics software for students in grades K-5. Featured titles include The Manipulative Math Series: Logic Blocks, Base Ten Blocks, and the Peg Board (learning about sets). Shockwave Flash activities include Flowering Fractions ...more>>

  19. Learning to Reason - Nancy Rodgers, Hanover College
    "When we reason within a logical framework, words must be manipulated according to the rules of the game...." Learn about the terms "not," "and," "or," "implies," "is equivalent to," "for all," and "for some"; logical reasoning and expressing it in writing; ...more>>

  20. Lectures - John Conway, Princeton University
    Listen to audio of Conway's lectures: Calendar Conundrums; Archimedes and His World; Cantor's Infinities; Goedel and Undecidability; Geometry, Logic and Physics; Escher and Symmetry; Finally, Fun. Requires Real Player. ...more>>

  21. The LEGO Proof Assistant - Randy Pollack; University of Edinburgh
    A tool for interactive proof development in the natural deduction style. It implements various related type systems - the Edinburgh Logical Framework (LF), the Calculus of Constructions (CC), the Generalized Calculus of Constructions (GCC), and the Unified ...more>>

  22. Leibniz's 333-year-old problem solved - Vladimir Sotirov
    Arithmetizations of the traditional syllogistic. The first Leibniz trial to arithmetize the Aristotelian syllogistic explored divisibility of integers; it was unsuccessful. The second one used pairs of co-prime numbers and was successful, as Slupecki ...more>>

  23. L'Equipe de Logique Mathématique - Université Denis-Diderot, Paris, France
    In English and French. Mathematical Logic Team. People, seminars, preprints, links to other logic sites in France. ...more>>

  24. Lessons, Tutorials, and Lecture Notes (Mathematics Archives) - University of Tennessee, Knoxville (UTK)
    An extensive, alphabetical, annotated listing of sites providing course material for teachers and students of mathematics. Includes topics from almost every field of math, at every level: K-12, college and beyond. Algebra; Analysis; Arithmetic; Calculus; ...more>>

  25. Lewis Carroll's Logic Game - Interactive Mathematics Miscellany and Puzzles, Alexander Bogomolny
    Discussion of an invention of Lewis Carroll's that competes with Venn diagrams for solving logical problems. Topics include the bilateral and trilateral diagrams, syllogisms, two Java applets, sample soriteses, and Carroll's Game of Logic. ...more>>

  26. Liars and Truthtellers - Math Forum, a Classic Problem from the Ask Dr. Math FAQ
    A princess visits an island inhabited by two tribes. Members of one tribe always tell the truth, and members of the other tribe always lie. What question should the princess ask the natives to find out the right road to take? ...more>>

  27. The Lighter Side of Dr. Paulsen - William Paulsen
    A collection of online games and puzzles: blackjack, The Non-Zero Difference Game, No Alibi (a mystery detective game), a haunted mansion labyrinth, sliding tile puzzles, and The Prime Maze. ...more>>

  28. The Limits of Mathematics - Ivars Peterson (MathTrek)
    In Godel's realm, no matter what the system of axioms or rules is, there will always be some assertion that can be neither proved nor invalidated within the system. Indeed, mathematics is full of conjectures assertions awaiting proof with no assurance ...more>>

  29. Linear logic in computer science - Institut de Mathématiques de Luminy (IML)
    A network of research groups (part of the European Training and Mobility for Researchers program) concerned with the relation between logic and theoretical computer science. Description of research areas; description of the sites; list of meetings and ...more>>

  30. Links to ASL members - Herbert Enderton
    Links to Web pages of members of the Association for Symbolic Logic. Includes a link to How to Join. ...more>>

  31. LiveSudoku - LiveSudoku.com
    Play Sudoku free online at four different levels: beginners, medium, hard, and "wicked." The JavaScript game's options include pencil markings, highlighting, and solution checking. LiveSudoku.com also offers tutorials, tracks player performances on current ...more>>

  32. Locker Problem - Suzanne Alejandre
    A classroom activity (also called 1000 Lockers) aligned to the NCTM and California Standards, to be explored through the use of manipulatives and a ClarisWorks spreadsheet. Students then look for patterns and write the answer algebraically. The problem: ...more>>

  33. Logical Art and the Art of Logic - Guenter Albrecht-Buehler
    About pentominoes, the patterns they create, and what pentominoes have to do with Escher, Penrose, Logic, Impossible Objects, Mathematics, and Art. Download a DOS program, 'newpent.exe', that assembles (6x10) pentomino solutions manually or automatically ...more>>

  34. Logical Laws - Alex Sakharov
    This page contains a collection of logical laws of the first-order logic. The collection is based on Kleene's collection (from his books 'Introduction to Metamathematics' and 'Mathematical Logic') and contains a few additions. The laws holding in classical ...more>>

  35. Logic and Computation Group - University of Pennsylvania, Philadelphia, PA
    An interdisciplinary research group composed of faculty and graduate students from the Departments of Computer and Information Science, Mathematics, and Philosophy. ...more>>

  36. Logic and Foundations of Programming (LFP) - Queen Mary and Westfield College, University of London, U.K.
    The LFP group has wide interests covering many aspects of mathematical, philosophical, and computational logic and virtually the whole of the theory of programming languages and the process of programming. ...more>>

  37. Logic and Philosophy of Logic (Philosophy Resources on the Internet) - EpistemeLinks.com
    Encyclopedia articles and related Web sites. ...more>>

  38. Logic and Set Theory (Mathematics Archives) - University of Tennessee, Knoxville (UTK)
    An extensive list of links to sites with information about logic and set theory, classified by level and type of resource. ...more>>

  39. Logic Circuit Minimization Using Karnaugh Map Lookup Tables - John Eric Franklin
    Four variable truth tables drawn in a four by four grid is called a Karnaugh map to an electrical engineer. Karnaugh maps were developed in the 1950's and help to produce sum-of-product equations (AND,OR). I have added the XOR operator (exclusive-or) ...more>>

  40. Logic for Mathematics and Computer Science - Stanley Burris; University of Waterloo
    Supplementary material to a logic textbook that provides an elementary hands-on presentation of important mathematical logic topics, new and old, that is readily accessible and relevant to all students of the mathematical sciences, not just those in traditional ...more>>

  41. Logic (Funk & Wagnalls Multimedia Encyclopedia) - Lycos Zone: Mathematics
    Short articles on mathematical logic, covering axioms, deduction, fallacy, Kurt Gödel, and mathematical induction. ...more>>

  42. Logic Page - Christian Gottschall; Dept. of Philosophy, Vienna
    Links to Web pages, logicians, texts, and programs in logic. ...more>>

  43. Logic Programming - J. P. Bowen; World Wide Web Virtual Library
    Links to information on Logic Programming: General repositories; Prolog; Window system interfaces; Other logic programming systems; Meetings; Books; Related information. ...more>>

  44. The Logic Puzzle Museum
    Play with more than fifty different hands-on brain twisters, mechanical and logic puzzles -- and craft your own. Regular events at this Burlington, Wisconsin, museum include Valentine's Day (make-your-own historic rebus valentines), celebrations of the ...more>>

  45. Logic Puzzles - Erich's Puzzle Palace; Erich Friedman
    Five logic puzzles: "Tweedledum and Tweedledee look alike, but Tweedledum lies on Monday, Tuesday, and Wednesday, whereas Tweedledee lies on Thursday, Friday, and Saturday. They both tell the truth on Sunday. You come upon the two of them, and they make ...more>>

  46. Logic Reference Tables (S.M.A.R.T.) - Math Share Shop
    Reference tables: symbols and how to read them: negation, conjunction, disjunction, conditional, bi-conditional. By students at Theodore Roosevelt H.S., Bronx, & Edward R. Murrow High School, Brooklyn. ...more>>

  47. Logic (SMILE) - M. Elaine Granger, Irvin C. Mollison
    A lesson for grades 6-8 designed to use pattern puzzles to teach students to understand word problems by use of reasoning techniques; identify the validity or non-validity of the problems; discern which factors are needed for problem resolution; and use ...more>>

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

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

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

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.