Logica: Volume 1 - Dimostrazioni e modelli al primo ordine (UNITEXT Vol. 80) (Italian Edition) - nuovo libro
2014, ISBN: 9788847055384
Springer, Kindle Edition, Auflage: 2014, 204 Seiten, Publiziert: 2014-11-15T00:00:00.000Z, Produktgruppe: Digital Ebook Purchas, Higher Education, Education, Mathematics, Science, Nature … Altro …
amazon.co.uk |
2014, ISBN: 9788847055384
Volume 1 - Dimostrazioni e modelli al primo ordine, eBooks, eBook Download (PDF), 2014, Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferi… Altro …
lehmanns.de Costi di spedizione:Download sofort lieferbar. (EUR 0.00) Details... |
Logica: Volume 1 - Dimostrazioni e modelli al primo ordine (UNITEXT Vol. 80) (Italian Edition) - nuovo libro
2014, ISBN: 9788847055384
Springer, Kindle Ausgabe, Auflage: 2014, 204 Seiten, Publiziert: 2014-11-15T00:00:00.000Z, Produktgruppe: Digital Ebook Purchas, Logik, Philosophie, Sozialwissenschaft, Kategorien, Bücher… Altro …
amazon.de |
ISBN: 9788847055384
by Vito Michele Abrusci; Lorenzo Tortora de Falco, PRINT ISBN: 9788847055377 E-TEXT ISBN: 9788847055384 Springer Nature eBook Other pricing structure might be available at vitalsource.com… Altro …
VitalSource.com new in stock Germany. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
ISBN: 9788847055384
Logica - Volume 1 - Dimostrazioni e modelli al primo ordine: ab 19.99 € eBooks > Fachthemen & Wissenschaft > Philosophie Springer-Verlag GmbH, Springer-Verlag GmbH
eBook.de Costi di spedizione:in stock, , , spese di spedizione aggiuntive., Costi di spedizione aggiuntivi Details... |
Logica: Volume 1 - Dimostrazioni e modelli al primo ordine (UNITEXT Vol. 80) (Italian Edition) - nuovo libro
2014, ISBN: 9788847055384
Springer, Kindle Edition, Auflage: 2014, 204 Seiten, Publiziert: 2014-11-15T00:00:00.000Z, Produktgruppe: Digital Ebook Purchas, Higher Education, Education, Mathematics, Science, Nature … Altro …
2014, ISBN: 9788847055384
Volume 1 - Dimostrazioni e modelli al primo ordine, eBooks, eBook Download (PDF), 2014, Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferi… Altro …
Logica: Volume 1 - Dimostrazioni e modelli al primo ordine (UNITEXT Vol. 80) (Italian Edition) - nuovo libro
2014
ISBN: 9788847055384
Springer, Kindle Ausgabe, Auflage: 2014, 204 Seiten, Publiziert: 2014-11-15T00:00:00.000Z, Produktgruppe: Digital Ebook Purchas, Logik, Philosophie, Sozialwissenschaft, Kategorien, Bücher… Altro …
ISBN: 9788847055384
by Vito Michele Abrusci; Lorenzo Tortora de Falco, PRINT ISBN: 9788847055377 E-TEXT ISBN: 9788847055384 Springer Nature eBook Other pricing structure might be available at vitalsource.com… Altro …
ISBN: 9788847055384
Logica - Volume 1 - Dimostrazioni e modelli al primo ordine: ab 19.99 € eBooks > Fachthemen & Wissenschaft > Philosophie Springer-Verlag GmbH, Springer-Verlag GmbH
Dati bibliografici del miglior libro corrispondente
Informazioni dettagliate del libro - Logica: Volume 1 - Dimostrazioni e modelli al primo ordine (UNITEXT Vol. 80) (Italian Edition)
EAN (ISBN-13): 9788847055384
ISBN (ISBN-10): 8847055385
Anno di pubblicazione: 2014
Editore: Springer
Libro nella banca dati dal 2015-02-02T12:48:58+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2022-06-13T12:12:44+02:00 (Zurich)
ISBN/EAN: 9788847055384
ISBN - Stili di scrittura alternativi:
88-470-5538-5, 978-88-470-5538-4
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : abrusci, tortora
Titolo del libro: volume primo, ordine, logica
Dati dell'editore
Autore: Vito Michele Abrusci; Lorenzo Tortora de Falco
Titolo: La Matematica per il 3+2; UNITEXT; Logica - Volume 1 - Dimostrazioni e modelli al primo ordine
Editore: Springer; Springer Italia
190 Pagine
Anno di pubblicazione: 2014-11-15
Milano; IT
Lingua: Italiano
19,99 € (DE)
25,50 CHF (CH)
Available
IX, 190 pagg.
EA; E107; eBook; Nonbooks, PBS / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; funzioni ricorsive; logica del primo ordine; teorema di eliminazione del taglio; teoremi di incompletezza; teoria assiomatica degli insiemi; C; Mathematical Logic and Foundations; Logic; Formal Languages and Automata Theory; Mathematics and Statistics; Mathematische Grundlagen; Philosophie: Logik; Theoretische Informatik; BC
1 Introduzione.- 2 Alcune nozioni preliminari.- 3 Dimostrabilità e soddisfacibilità.- 4 Verso la teoria della dimostrazione: il teorema del taglio per LK.- 5 Verso la teoria dei modelli: alcune conseguenze del teorema di compattezza.Un testo che permette di conseguire una solida preparazione specialistica nella Logica, adottando un punto di vista emerso dalla ricerca contemporanea Una particolare attenzione alla dimostrazione dei principali teoremi sulla Logica, e la presentazione della teoria assiomatica degli insiemi La presenza di un sito web dedicato nel quale possono essere fornite integrazioni e proposti esercizi Includes supplementary material: sn.pub/extras
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9788847039674 Logica: Volume 2 - Incompletezza, teoria assiomatica degli insiemi (UNITEXT, Band 111) (Vito Michele Abrusci, Lorenzo Tortora de Falco)
< Per archiviare...