Enlaces a sitios | |
|
| |
Advances in Modal Logic (AiML)
bi-annual workshop and book series in Modal Logic.
Idioma: English / English | Around Goedel's Theorem
hyper-textbook for students in mathematical logic.
Idioma: English / English |
Association of Logic Programming
Association of Logic Programming
Idioma: English / English | 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.
Idioma: English / English |
Bertrand
first-order symbolic logic problem solver for the Macintosh. Generates "consistency trees" (by decomposition and instantiation) and truth tables.
Idioma: English / English |
| |
Bibliography on Linear Logic
by-product of the seminar on Linear Logic and Applications held at Carnegie Mellon University in Spring 1995.
Idioma: English / English |
Compulog Americas - Logic Programming in the Americas
dedicated to support and promote research and applications in the field of logic programming.
Idioma: English / English |
Continuum Hypothesis, The
Continuum Hypothesis, The
Idioma: English / English |
Continuum Hypothesis: True, False, or Neither?
Continuum Hypothesis: True, False, or Neither?
Idioma: English / English |
Dave's Famous Original SETL Server
Dave's Famous Original SETL Server
Idioma: English / English | Factasia Logic
technical and philosophical information concerning symbolic logic and its applications.
Idioma: English / English |
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.
Idioma: English / English | 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.
Idioma: English / English |
Front for the Mathematics ArXiv: Logic
collection of articles maintained at Los Alamos.
Idioma: English / English | Intuitivistic solution of Continuum Hypothesis
offers a solution of the Continuum Hypothesis for definable sets and resolution of the set theoretic paradoxes (Set Theory).
Idioma: English / English |
Mathematical Logic and Foundations
introduction from The Mathematical Atlas.
Idioma: English / English | MathPages: Set Theory and Foundations
informal notes by Kevin Brown.
Idioma: English / English |
Metamath
features links to, and software for, building proofs in logic and set theory.
Idioma: English / English | Programming with {SETS}
forum of discussion dedicated to computational uses of set theoretic concepts.
Idioma: English / English |
SETL Documentation
essential features are taken from the mathematical theory of sets
Idioma: English / English | Venn Diagram
includes a database of Venn diagrams and Create-A-Venn, an interactive form that creates a personalized diagram.
Idioma: English / English |
Venn Diagram Applet
interactive applet that allows users to move events and see how the probabilities change.
Idioma: English / English | Venn Diagram Basic
contains examples of double cell and expanded Venn diagrams.
Idioma: English / English |
Venn Diagrams
contains examples and diagrams.
Idioma: English / English | Web Directory
Logic Programming - WWW Virtual Library
Idioma: English / English |
Web Directory: Mathematical Logic Around the World
links to sites related to the study of logic. Lists journals, events, and organizations.
Idioma: English / English | Web Directory: Set Theory Page
Web Directory: Set Theory Page
Idioma: English / English |
|
|
Home 
Atrás 
Arriba
