Logica : Volume 2 - Incompletezza, teoria assiomatica degli insiemi - edizione con copertina flessibile
2018, ISBN: 8847039673
[EAN: 9788847039674], Neubuch, [SC: 14.04], [PU: Springer Milan], EDV / THEORIE PROGRAMMIEREN ALLGEMEINES; LOGIK; PHILOSOPHIE MATHEMATIK INFORMATIK, COMPUTER; FUNZIONIELEMENTARIERICORSIVE… Altro …
| ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Costi di spedizione: EUR 14.04 Details... |
Logica: Volume 2 - Incompletezza, Teoria Assiomatica Degli Insiemi - edizione con copertina flessibile
ISBN: 9788847039674
Paperback / softback. New. L'opera si propone come testo di riferimento per acquisire una solida preparazione specialistica nella Logica, presentando in maniera rigorosa ed innovativ… Altro …
| Biblio.co.uk |
2018, ISBN: 9788847039674
L'opera si propone come testo di riferimento per acquisire una solida preparazione specialistica nella Logica, presentando in maniera rigorosa ed innovativa argomenti tradizionalmente aff… Altro …
| Weltbild.de Nr. 92893783. Costi di spedizione:, 2-5 Werktage, zzgl. Versandkosten. (EUR 8.95) Details... |
2018, ISBN: 8847039673
1a ed. 2018 Kartoniert / Broschiert EDV / Theorie / Programmieren / Allgemeines, Logik, Philosophie / Logik, Mathematik / Informatik, Computer, Mathematik / Logik, Mathematische Grundla… Altro …
| Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Costi di spedizione:Versandkosten innerhalb der BRD. (EUR 2.95) Details... |
Logica - Volume 2 - Incompletezza, teoria assiomatica degli insiemi - edizione con copertina flessibile
2018, ISBN: 9788847039674
[ED: Taschenbuch], [PU: Springer Italia], DE, [SC: 0.00], Neuware, gewerbliches Angebot, 235x155 mm, 439, [GW: 932g], 1a ed. 2018
| booklooker.de verschiedene Anbieter Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
Logica : Volume 2 - Incompletezza, teoria assiomatica degli insiemi - edizione con copertina flessibile
2018, ISBN: 8847039673
[EAN: 9788847039674], Neubuch, [SC: 14.04], [PU: Springer Milan], EDV / THEORIE PROGRAMMIEREN ALLGEMEINES; LOGIK; PHILOSOPHIE MATHEMATIK INFORMATIK, COMPUTER; FUNZIONIELEMENTARIERICORSIVE… Altro …
Vito Michele Abrusci:
Logica: Volume 2 - Incompletezza, Teoria Assiomatica Degli Insiemi - edizione con copertina flessibileISBN: 9788847039674
Paperback / softback. New. L'opera si propone come testo di riferimento per acquisire una solida preparazione specialistica nella Logica, presentando in maniera rigorosa ed innovativ… Altro …
2018
ISBN: 9788847039674
L'opera si propone come testo di riferimento per acquisire una solida preparazione specialistica nella Logica, presentando in maniera rigorosa ed innovativa argomenti tradizionalmente aff… Altro …
2018, ISBN: 8847039673
1a ed. 2018 Kartoniert / Broschiert EDV / Theorie / Programmieren / Allgemeines, Logik, Philosophie / Logik, Mathematik / Informatik, Computer, Mathematik / Logik, Mathematische Grundla… Altro …
Dati bibliografici del miglior libro corrispondente
| Autore: | |
| Titolo: | |
| ISBN: |
L'opera si propone come testo di riferimento per acquisire una solida preparazione specialistica nella Logica, presentando in maniera rigorosa ed innovativa argomenti tradizionalmente affrontati nei corsi universitari di secondo livello. Questo secondo volume, che completa l'opera, presenta le basi della teoria della ricorsività, l'aritmetica di Peano ed i teoremi di incompletezza, gli assiomi della teoria assiomatica degli insiemi di Zermelo-Fraenkel e la teoria degli ordinali e dei cardinali che ne deriva.
Informazioni dettagliate del libro - Logica: Volume 2 - Incompletezza, teoria assiomatica degli insiemi (UNITEXT, Band 111)
EAN (ISBN-13): 9788847039674
ISBN (ISBN-10): 8847039673
Copertina flessibile
Anno di pubblicazione: 2018
Editore: Springer
Libro nella banca dati dal 2018-02-21T15:59:10+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-01-21T13:21:41+01:00 (Zurich)
ISBN/EAN: 9788847039674
ISBN - Stili di scrittura alternativi:
88-470-3967-3, 978-88-470-3967-4
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : abrusci, lorenzo, tortora, falco, fraenkel, vito, michele
Titolo del libro: logica, 111 band, degli
Dati dell'editore
Autore: Vito Michele Abrusci; Lorenzo Tortora de Falco
Titolo: UNITEXT; La Matematica per il 3+2; Logica - Volume 2 - Incompletezza, teoria assiomatica degli insiemi
Editore: Springer; Springer Italia
439 Pagine
Anno di pubblicazione: 2018-12-11
Milano; IT
Stampato / Fatto in
Lingua: Italiano
30,86 € (DE)
31,72 € (AT)
34,50 CHF (CH)
POD
XIII, 439 pagg.
BC; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Funzioni elementari e ricorsive; Aritmetica di Peano; Teoremi di incompletezza di Goedel; Assiomi di Zermelo-Fraenkel; Ordinali e Carinali; Mathematical Logic and Foundations; Formal Languages and Automata Theory; Mathematische Grundlagen; Theoretische Informatik; EA
L'opera si propone come testo di riferimento per acquisire una solida preparazione specialistica nella Logica, presentando in maniera rigorosa ed innovativa argomenti tradizionalmente affrontati nei corsi universitari di secondo livello. Questo secondo volume, che completa l'opera, presenta le basi della teoria della ricorsività, l'aritmetica di Peano ed i teoremi di incompletezza, gli assiomi della teoria assiomatica degli insiemi di Zermelo-Fraenkel e la teoria degli ordinali e dei cardinali che ne deriva.
1 Introduzione alla Parte I.- 2 Decidibilità e risultati fondamentali di teoria della ricorsività.- 3 L’aritmetica di Peano.- 4 Introduzione alla Parte II.- 5 La teoria assiomatica di Zermelo (Z) e quella di Zermelo-Fraenkel (ZF).- 6 Gli ordinali.- 7 La gerarchia V e l’assioma di Fondazione.- 8 L’assioma di scelta.- 9 I cardinali.
Vito Michele Abrusciè Professore associato di Logica presso l'Università degli Studi Roma Tre, dal 2005. I suoi interessi di ricerca si svolgono principalmente nell’ambito della logica lineare e delle sue interazioni con l’informatica teorica.
Lorenzo Tortora de FalcoPermette di conseguire una solida preparazione specialistica nella Logica, adottando un punto di vista emerso dalla ricerca contemporanea Mostra una particolare attenzione alla dimostrazione dei principali teoremi sulla Logica e la presentazione della teoria assiomatica degli insiemi Offre un sito web dedicato nel quale possono essere fornite integrazioni e proposti esercizi
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9788847039681 Logica (Vito Michele Abrusci/ Lorenzo Tortora de Falco)
- 9788847039681 Logica (Vito Michele Abrusci/ Lorenzo Tortora de Falco)
- 9788847055377 Logica: Volume 1 - Dimostrazioni e modelli al primo ordine (Vito Michele Abrusci; Lorenzo Tortora de Falco)
- 9788847055384 Logica: Volume 1 - Dimostrazioni e modelli al primo ordine (UNITEXT Vol. 80) (Italian Edition) (Abrusci, Vito Michele, Tortora de Falco, Lorenzo)
< Per archiviare...