Logica: Metodo Breve / / by Daniele Mundici
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Mundici Daniele
|
| Titolo: |
Logica: Metodo Breve / / by Daniele Mundici
|
| Pubblicazione: | Milano : , : Springer Milan : , : Imprint : Springer, , 2011 |
| Edizione: | 1st ed. 2011. |
| Descrizione fisica: | 1 online resource (131 p.) |
| Disciplina: | 511.3 |
| Soggetto topico: | Mathematical logic |
| Semantics | |
| Mathematical Logic and Foundations | |
| Mathematical Logic and Formal Languages | |
| Note generali: | Includes index. |
| Nota di contenuto: | pt. 1. Logica di Boole -- pt. 2. Logica dei Predicati. |
| Sommario/riassunto: | 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. |
| Titolo autorizzato: | Logica: metodo breve |
| ISBN: | 88-470-1884-6 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Italiano |
| Record Nr.: | 9910484685903321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
La Matematica per il 3+2, . 2038-5722 ; ; 50