Enlaces a sitios |
|
|
| |
Advances in Modal Logic (AiML) bi-annual workshop and book series in Modal Logic.
| Around Goedel"s Theorem hyper-textbook for students in mathematical logic.
|
Association of Logic Programming Association of Logic Programming
| Beginnings of Set Theory, The takes a look at the development and evolution of the theory from the time of Zeno of Elea, to Cantor, to Godel.
|
Bertrand first-order symbolic logic problem solver for the Macintosh. Generates "consistency trees" (by decomposition and instantiation) and truth tables.
|
| |
Bibliography on Linear Logic by-product of the seminar on Linear Logic and Applications held at Carnegie Mellon University in Spring 1995.
|
Compulog Americas - Logic Programming in the Americas dedicated to support and promote research and applications in the field of logic programming.
|
Continuum Hypothesis, The Continuum Hypothesis, The
|
Continuum Hypothesis: True, False, or Neither? Continuum Hypothesis: True, False, or Neither?
|
Dave"s Famous Original SETL Server Dave"s Famous Original SETL Server
| Factasia Logic technical and philosophical information concerning symbolic logic and its applications.
|
Fixed Point Theory on the Web resources about the body of mathematical techniques for proposing conditions under which sets of assumptions (underlying economic models) have solutions.
| Foundations of Temporal Logic: The WWW-site for Prior-studies devoted to the life and work of Arthur Norman Prior, the founding father of temporal logic.
|
Front for the Mathematics ArXiv: Logic collection of articles maintained at Los Alamos.
| Intuitivistic solution of Continuum Hypothesis offers a solution of the Continuum Hypothesis for definable sets and resolution of the set theoretic paradoxes (Set Theory).
|
Mathematical Logic and Foundations introduction from The Mathematical Atlas.
| MathPages: Set Theory and Foundations informal notes by Kevin Brown.
|
Metamath features links to, and software for, building proofs in logic and set theory.
| Programming with {SETS} forum of discussion dedicated to computational uses of set theoretic concepts.
|
SETL Documentation essential features are taken from the mathematical theory of sets
| Venn Diagram includes a database of Venn diagrams and Create-A-Venn, an interactive form that creates a personalized diagram.
|
Venn Diagram Applet interactive applet that allows users to move events and see how the probabilities change.
| Venn Diagram Basic contains examples of double cell and expanded Venn diagrams.
|
Venn Diagrams contains examples and diagrams.
| Web Directory Logic Programming - WWW Virtual Library
|
Web Directory: Mathematical Logic Around the World links to sites related to the study of logic. Lists journals, events, and organizations.
| Web Directory: Set Theory Page Web Directory: Set Theory Page
|
|
Home 
Atrás 
Arriba
