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 |
Navegando Biblioteca Electrónica Estantes, Código de colección: Colección de Libros Electrónicos Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
QA8.9 -10.3 Aspects of Mathematical Logic | QA8.9 -10.3 Model Theory and Applications | QA8.9 -10.3 Hyperfinite Dirichlet Forms and Stochastic Processes | QA8.9 -10.3 Logica: Metodo Breve | QA8.9 -10.3 Dual Tableaux: Foundations, Methodology, Case Studies | QA8.9 -10.3 Methods of Cut-Elimination | QA8.9 -10.3 Foundational Theories of Classical and Constructive Mathematics |
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