Se divide en tres partes:
Primera parte: Lógica de primer orden
Teorías axiomáticas, introducción a la teoría de modelos, el teorema de completitud de Gödel, introducción a la teoría de la recursión, los teoremas de incompletitud de Gödel.
Segunda parte: La lógica de la teoría de conjuntos
Las axiomáticas de Zermelo-Fraenkel y von Neumann-Bernays-Gödel, modelos de la teoría de conjuntos, la formalización de la lógica en la teoría de conjuntos.
Tercera parte: Teoría de conjuntos
Ordinales, inducción y recursión sobre relaciones bien fundadas, cardinales.
Te Gusta Aprender, Bienvenido aquí encontraras temas relacionados con Idiomas, Tecnología, Matemáticas, Medicina, Computación, etc.
jueves, 7 de agosto de 2008
Lógica y teoría de conjuntos
Publicado por Marco Rodarte en 9:52
Etiquetas: Descargas, Educación, Matematicas
Suscribirse a:
Enviar comentarios (Atom)
0 comentarios:
Publicar un comentario