Ciencia1.com - Ciencia y Tecnolog�a | Inform�tica | Ciencias Computacionales | L�gica de Programaci�n

Categorías	» Agregar Enlace

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