Daniele Mundici - Logica: Metodo Breve

Scrivi la tua prima recensione!

Fr. 40.90

Daniele Mundici

Logica: Metodo Breve

Italiano · Tascabile

Spedizione di solito entro 1 a 2 settimane (il titolo viene stampato sull'ordine)

Descrizione

Ulteriori informazioni

Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Goedel, Loewenheim-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.

Dettagli sul prodotto

Autori Daniele Mundici
Editore Springer, Berlin
 
Lingue Italiano
Formato Tascabile
Pubblicazione 10.02.2011
 
EAN 9788847018839
ISBN 978-88-470-1883-9
Pagine 126
Dimensioni 156 mm x 9 mm x 236 mm
Peso 244 g
Illustrazioni XI, 126 pagg.
Serie UNITEXT
La Matematica per il 3+2
Categoria Scienze naturali, medicina, informatica, tecnica > Matematica > Fondamenti

Recensioni dei clienti

Per questo articolo non c'è ancora nessuna recensione. Scrivi la prima recensione e aiuta gli altri utenti a scegliere.

Scrivi una recensione

Top o flop? Scrivi la tua recensione.

Per i messaggi a CeDe.ch si prega di utilizzare il modulo di contatto.

I campi contrassegnati da * sono obbligatori.

Inviando questo modulo si accetta la nostra dichiarazione protezione dati.