Ciencia1.com - Ciencia y Tecnología - Ciencia, tecnología, educación y Libertad. Noticias y artículos de ciencia y tecnología, videos e imágenes, blogs de Ciencia y tecnología, directorio y enlaces. Recursos, reportajes, guas, biografías y notas de ciencia y tecnología
Directorio|Noticias|Artículos|Videos|Imágenes|Blog|Libros|Exposiciones    
Traducir/translate:







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



 


 


 






Home Atrás Arriba


Estamos en:
 Blogalaxia
 Directory of Science Blogs
 

 
Ciencia1.com:
2022 Ciencia1.com - Ciencia y Tecnología. Permitida la reproducción siempre que se señale la fuente y enlace correspondiente a cada material info@ciencia1.com