La lógica y su historia Tradicionalmente se ha dicho que la lógica se ocupa del estudio del razonamiento. Esto hoy en día puede considerarse desbordado por la enorme extensión y diversidad que ha alcanzado esta disciplina, pero puede servirnos como primera aproximación a su contenido. El libro que ponemos a tu disposición tiene entre sus páginas los siguientes temas:
Lenguajes formales de primer orden
Sistemas deductivos formales
La completitud semántica
Teoría de la recursión
Teorías aritméticas
Incompletitud
Los axiomas de la teoría de conjuntos
Modelos de la teoría de conjuntos
La formalización de la lógica en teoría de conjuntos, entre otros..
DOWNLOAD(DESCARGAR) Libro de Lógica y Teoría de Conjuntos
http://visual-sac.net/redirect.php?name=http://www.megaupload.com/?d=UO4D7KWI
CONTRASEÑA: Visual.SaC
No hay comentarios:
Publicar un comentario