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

Categorías

Enlaces a sitios
Advances in Modal Logic (AiML) The official website for the AiML series of conferences and book publications. A central resource for the modal logic community.	Around Goedel"s Theorem hyper-textbook for students in mathematical logic.
arXiv.org > math > math.LO The official repository for e-prints in Mathematical Logic. Maintained by Cornell University, arXiv is the primary distribution system for new research.	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 - Wikipedia In mathematics, the continuum hypothesis is a hypothesis about the possible sizes of infinite sets, first proposed by Georg Cantor in 1878.
Dave"s Famous Original SETL Server Servidor y recursos de SETL
Factasia Logic technical and philosophical information concerning symbolic logic and its applications.
Fixed-point theorem - Wikipedia Covers various fixed-point theorems in different fields of mathematics, which state that a function F has at least one fixed point (a point x for which F(x) = x).
Mathematical logic - Wikipedia An encyclopedia article covering the subfields of mathematical logic, including set theory, model theory, recursion theory, and proof theory.	MathPages: Set Theory and Foundations Informal notes on Set Theory and the Foundations of Mathematics by Kevin Brown, part of the well-regarded MathPages collection.
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.
Set Theory (Stanford Encyclopedia of Philosophy) A comprehensive overview of set theory, its history, foundational role in mathematics, and major concepts. An authoritative resource.	The Association for Logic Programming (ALP) The official website of the Association for Logic Programming, promoting research and interest in logic programming and related fields.
The Continuum Hypothesis Notas del filósofo David Chalmers sobre la Hipótesis del Continuo, explorando si es verdadera, falsa o indecidible dentro del marco de la teoría de conjuntos ZFC.	Venn Diagram includes a database of Venn diagrams and Create-A-Venn, an interactive form that creates a personalized diagram.
Venn Diagrams - Interactive Tool An interactive web applet to create and explore Venn diagrams for two or three sets. A modern replacement for Java-based applets.	Venn Diagrams - Math is Fun A clear and simple explanation of Venn diagrams, how they work, and how to use them to sort data.