Logica: Metodo Breve [recurso electrónico] / by Daniele Mundici.
Tipo de material:
TextoSeries UNITEXT ; 1Editor: Milano : Springer Milan : Imprint: Springer, 2011Descripción: XI, 126 pagg. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9788847018846Tema(s): Mathematics | Computer science | Logic, Symbolic and mathematical | Semantics | Mathematics | Mathematical Logic and Foundations | Mathematical Logic and Formal Languages | SemanticsFormatos físicos adicionales: Printed edition:: Sin títuloClasificación CDD: 511.3 Clasificación LoC:QA8.9-10.3Recursos en línea: Libro electrónico
En: Springer eBooksResumen: 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.
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
| Libro Electrónico | Biblioteca Electrónica | Colección de Libros Electrónicos | QA8.9 -10.3 (Browse shelf(Abre debajo)) | 1 | No para préstamo | 377388-2001 |
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.
19
