Biblioteca "Prof. Dr. Antonio M. Grompone"
A partir de esta página puede:
Información del autor
Documentos disponibles escritos por este autor
Refinar búsqueda
/ Hermes A. Puyau (1976)
Título : | Elementos de lógica matemática | Tipo de documento: | texto impreso | Autores: | Hermes A. Puyau, Autor ; Jorge A. Roetti, Autor | Editorial: | Buenos Aires [Argentina] : Editorial Universitaria de Buenos Aires (EUDEBA) | Fecha de publicación: | 1976 | Colección: | Manuales de Eudeba | Número de páginas: | 149 p | Idioma : | Español (spa) | Clasificación: | [Palabras claves]LÓGICA MATEMÁTICA [Palabras claves]LÓGICA SIMBÓLICA [Palabras claves]MATEMÁTICA [Palabras claves]TEORÍA DE CONJUNTOS
| Resumen: | Este libro presenta una exposición de la lógica elemental y de la teoría axiomática de clases y conjuntos, más la construcción de los sistemas numéricos. La obra se completa con el teorema de completitud de Gödel y el de Löwenheim - Skolem, además del esbozo de algunas aproximaciones no conjuntistas al problema de los fundamentos de la matemática.
Elementos de lógica matemática satisface las necesidades formales de un primer curso de lógica universitaria. A lo largo de cada capítulo se ha separado, con la mayor claridad posible, el tratamiento sintáctico del semántico en los sistemas lógicos; en la aproximación semántica se exponen, independientemente, los métodos axiomático y de deducción natural, y en toda la obra se realizaron las demostraciones, case siempre en forma exhaustiva, a fin de evitar dificultades al lector. |
Elementos de lógica matemática [texto impreso] / Hermes A. Puyau, Autor ; Jorge A. Roetti, Autor . - Editorial Universitaria de Buenos Aires (EUDEBA), 1976 . - 149 p. - ( Manuales de Eudeba) . Idioma : Español ( spa) Clasificación: | [Palabras claves]LÓGICA MATEMÁTICA [Palabras claves]LÓGICA SIMBÓLICA [Palabras claves]MATEMÁTICA [Palabras claves]TEORÍA DE CONJUNTOS
| Resumen: | Este libro presenta una exposición de la lógica elemental y de la teoría axiomática de clases y conjuntos, más la construcción de los sistemas numéricos. La obra se completa con el teorema de completitud de Gödel y el de Löwenheim - Skolem, además del esbozo de algunas aproximaciones no conjuntistas al problema de los fundamentos de la matemática.
Elementos de lógica matemática satisface las necesidades formales de un primer curso de lógica universitaria. A lo largo de cada capítulo se ha separado, con la mayor claridad posible, el tratamiento sintáctico del semántico en los sistemas lógicos; en la aproximación semántica se exponen, independientemente, los métodos axiomático y de deducción natural, y en toda la obra se realizaron las demostraciones, case siempre en forma exhaustiva, a fin de evitar dificultades al lector. |
| |
Reserva
Reservar este documento
Ejemplares
Estado |
---|
70661 | 511.3 PUYe | 7 días | Colección general | Libros | Domicilio Disponible | Donación Jorge H. Cánepa De Boni |