Directorio | Informática | Ciencias Computacionales | Lógica de Programación

Categorías

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
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.
Front for the Mathematics ArXiv: Logic collection of articles maintained at Los Alamos.	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