Logica: Metodo Breve

Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Mundici, Daniele (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Italiano
Publicado: Milano : Springer Milan : Imprint: Springer, 2011.
Edición:1st ed. 2011.
Colección:La Matematica per il 3+2, 50
Temas:
Mathematical logic.
Machine theory.
Semiotics.
Mathematical Logic and Foundations.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Descripción
Sumario:Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi.
Descripción Física:XI, 126 pagg. online resource.
ISBN:9788847018846
ISSN:2038-5757 ;

Ejemplares similares