| TÃtulo : |
Logica : Volume 2 - Incompletezza, teoria assiomatica degli insiemi |
| Tipo de documento: |
documento electrónico |
| Autores: |
Abrusci, Vito Michele, ; Tortora de Falco, Lorenzo, |
| Mención de edición: |
1 ed. |
| Editorial: |
Milan [Italia] : Springer |
| Fecha de publicación: |
2018 |
| Número de páginas: |
XIII, 439 pagg. |
| ISBN/ISSN/DL: |
978-88-470-3968-1 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Palabras clave: |
Lógica matemática TeorÃa de las máquinas Lógica Matemática y Fundamentos Lenguajes formales y teorÃa de los autómatas |
| Clasificación: |
|
| Resumen: |
L''opera si propone come testo di riferimento per adquisire una solida preparazione Specialistica nella Logica, presentando in maniera rigorosa ed innovativa argomenti tradizionalmente affrontati nei corsi universitari di secondo livello. Este segundo volumen, che completa la ópera, presenta le basi della teoria della ricorsività , la aritmetica di Peano ed i teoremi di incompletezza, gli assiomi della teoria assiomatica degli insiemi di Zermelo-Fraenkel e la teoria degli ordinali e dei cardinali che ne deriva. |
| Nota de contenido: |
1 Introduzione alla Parte I -- 2 Decidibilità e risultati fondamentali di teoria della ricorsività -- 3 L'aritmetica di Peano -- 4 Introduzione alla Parte II -- 5 La teoria assiomatica di Zermelo (Z) e quella di Zermelo-Fraenkel (ZF) -- 6 Gli ordinali -- 7 La gerarchia V e l'assioma di Fondazione -- 8 L'assioma di scelta -- 9 I cardinali. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
Logica : Volume 2 - Incompletezza, teoria assiomatica degli insiemi [documento electrónico] / Abrusci, Vito Michele, ; Tortora de Falco, Lorenzo, . - 1 ed. . - Milan [Italia] : Springer, 2018 . - XIII, 439 pagg. ISBN : 978-88-470-3968-1 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Lógica matemática TeorÃa de las máquinas Lógica Matemática y Fundamentos Lenguajes formales y teorÃa de los autómatas |
| Clasificación: |
|
| Resumen: |
L''opera si propone come testo di riferimento per adquisire una solida preparazione Specialistica nella Logica, presentando in maniera rigorosa ed innovativa argomenti tradizionalmente affrontati nei corsi universitari di secondo livello. Este segundo volumen, che completa la ópera, presenta le basi della teoria della ricorsività , la aritmetica di Peano ed i teoremi di incompletezza, gli assiomi della teoria assiomatica degli insiemi di Zermelo-Fraenkel e la teoria degli ordinali e dei cardinali che ne deriva. |
| Nota de contenido: |
1 Introduzione alla Parte I -- 2 Decidibilità e risultati fondamentali di teoria della ricorsività -- 3 L'aritmetica di Peano -- 4 Introduzione alla Parte II -- 5 La teoria assiomatica di Zermelo (Z) e quella di Zermelo-Fraenkel (ZF) -- 6 Gli ordinali -- 7 La gerarchia V e l'assioma di Fondazione -- 8 L'assioma di scelta -- 9 I cardinali. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |
Crear una solicitud de compra Refinar búsqueda
