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

Categorías

Enlaces a sitios
Advances in Modal Logic The official website for the Advances in Modal Logic (AiML) series of conferences and publications.	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 network research and industrial applications in the field of logic programming.
Continuum hypothesis Mathematics hypothesis about infinite sets.
Dave"s Famous Original SETL Server Servidor y recursos de SETL
Factasia Logic Technical and philosophical information concerning symbolic logic, axiom systems and its modern 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 Home Page Metamath is a tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program.	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 custom charts.
Venn Diagrams - Interactive Tool An interactive web applet to create and explore Venn diagrams for two or three sets via GeoGebra.	Venn Diagrams - Math is Fun A clear and simple explanation of Venn diagrams, how they work, and how to use them to sort data.