|
|
|||
|
Mathematical logic - Wikipedia, the free encyclopedia
Mathematical logic is a subfield of mathematics with close connections to computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of for...
en.wikipedia.org/wiki/Mathematical_logic |
|||
|
|||
|
Classical Logic - Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro. ... Computability Logic Homepage - Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. ... Top: Science: Math: Logic and Foundations (773)
|
|||
|
Finite Model Theory Homepage - People, problems, bibliographies, events. ... Introduction to Model Theory - Homepage of a lecture course by Natasha Alechina, with a particular emphasis on topics relevant to computer science, such as bisimulation. ... Top: Science: Math: Logic and Foundations: Model Theory (4)
|
|||
|
Brain teasers, puzzles, online games, optical illusions and jigsaws. ... BrainBashers features brain training delights such as puzzles, jigsaws, mazes, logic and mind riddles, online games, Sudoku, crossword puzzles, stereograms, jigsaw puzzles, optical illusions, brain teasers and so much more. ... Logic Games...
|
|||
|
Math and logic puzzles to solve and compete with other contestants ... On this page you will find a collection of problems in math and logic. You can solve these problems and compete with other visitors to The Truth Tree. Each problem has a point value. Your score will be the sum of all the point values of the...
|
|||
|
From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory. ... There are some elementary exercises in first-order and predicate logic available for students on a separate math teaching page.
|
|||
|
For background information elsewhere on our site, explore the High School Discrete Math and Logic areas of the Ask Dr. Math archives. To find relevant sites on the Web, browse and search Discrete Mathematics in our Internet Mathematics Library.
|
Copyright © 2009, Dictionary.com, LLC. All rights reserved.
Related Topics
