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 151 to 200

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


 
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/