Logica | Volume 1 - Dimostrazioni e modelli al primo ordine | Lorenzo Tortora De Falco (u. a.) | Taschenbuch | La Matematica per il 3+2 | Paperback | ix | Italienisch | 2014 | Springer Milan - edizione con copertina flessibile
2014, ISBN: 9788847055377
[ED: Taschenbuch], [PU: Springer Milan], Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione speci… Altro …
booklooker.de |
Logica / Volume 1 - Dimostrazioni e modelli al primo ordine / Lorenzo Tortora De Falco (u. a.) / Taschenbuch / La Matematica per il 3+2 / Paperback / ix / Italienisch / 2014 / Springer Milan - edizione con copertina flessibile
2014, ISBN: 9788847055377
[ED: Taschenbuch], [PU: Springer Milan], Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione speci… Altro …
booklooker.de |
2014, ISBN: 9788847055377
[ED: Softcover], [PU: Springer / Springer Milan / Springer, Berlin], Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire… Altro …
booklooker.de buecher.de GmbH & Co. KG Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
ISBN: 9788847055377
Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione specialistica nella logica. Nei due volumi ven… Altro …
ibs.it Nr. 9788847055377. Costi di spedizione:, , zzgl. Versandkosten,, Costi di spedizione aggiuntivi Details... |
2014, ISBN: 8847055377
2014 Kartoniert / Broschiert Logik, Philosophie / Logik, Mathematische Grundlagen, Philosophie: Logik, Theoretische Informatik, funzioniricorsive; logicadelprimoordine; teoremadielimina… 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 1 - Dimostrazioni e modelli al primo ordine | Lorenzo Tortora De Falco (u. a.) | Taschenbuch | La Matematica per il 3+2 | Paperback | ix | Italienisch | 2014 | Springer Milan - edizione con copertina flessibile
2014, ISBN: 9788847055377
[ED: Taschenbuch], [PU: Springer Milan], Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione speci… Altro …
Tortora De Falco, Lorenzo:
Logica / Volume 1 - Dimostrazioni e modelli al primo ordine / Lorenzo Tortora De Falco (u. a.) / Taschenbuch / La Matematica per il 3+2 / Paperback / ix / Italienisch / 2014 / Springer Milan - edizione con copertina flessibile2014, ISBN: 9788847055377
[ED: Taschenbuch], [PU: Springer Milan], Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione speci… Altro …
2014
ISBN: 9788847055377
[ED: Softcover], [PU: Springer / Springer Milan / Springer, Berlin], Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire… Altro …
ISBN: 9788847055377
Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione specialistica nella logica. Nei due volumi ven… Altro …
2014, ISBN: 8847055377
2014 Kartoniert / Broschiert Logik, Philosophie / Logik, Mathematische Grundlagen, Philosophie: Logik, Theoretische Informatik, funzioniricorsive; logicadelprimoordine; teoremadielimina… Altro …
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Nei due volumi vengono presentati in maniera innovativa e rigorosa temi di logica tradizionalmente affrontati nei corsi universitari di secondo livello.
Questo primo volume è dedicato ai teoremi fondamentali sulla logica del primo ordine e alle loro principali conseguenze.
Il testo è rivolto in particolare agli studenti dei corsi di laurea magistrale.
Informazioni dettagliate del libro - Logica: Volume 1 - Dimostrazioni e modelli al primo ordine
EAN (ISBN-13): 9788847055377
ISBN (ISBN-10): 8847055377
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2014
Editore: Springer Verlag
Libro nella banca dati dal 2014-10-10T19:16:21+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-04-21T18:53:48+02:00 (Zurich)
ISBN/EAN: 9788847055377
ISBN - Stili di scrittura alternativi:
88-470-5537-7, 978-88-470-5537-7
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : tortora, vito, falco, michel tort, abrusci, lorenzo
Titolo del libro: volume primo, ordine, logica matematica, italienisch, italia, falco
Dati dell'editore
Autore: Vito Michele Abrusci; Lorenzo Tortora de Falco
Titolo: UNITEXT; La Matematica per il 3+2; Logica - Volume 1 - Dimostrazioni e modelli al primo ordine
Editore: Springer; Springer Italia
190 Pagine
Anno di pubblicazione: 2014-10-24
Milano; IT
Lingua: Italiano
25,71 € (DE)
26,43 € (AT)
32,06 CHF (CH)
Available
IX, 190 pagg.
BC; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; funzioni ricorsive; logica del primo ordine; teorema di eliminazione del taglio; teoremi di incompletezza; teoria assiomatica degli insiemi; Mathematical Logic and Foundations; Logic; Formal Languages and Automata Theory; Mathematische Grundlagen; Philosophie: Logik; Theoretische Informatik; EA
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:
9788847039681 Logica (Vito Michele Abrusci/ Lorenzo Tortora de Falco)
- 9788847039681 Logica (Vito Michele Abrusci/ Lorenzo Tortora de Falco)
- 9788847039674 Logica: Volume 2 - Incompletezza, teoria assiomatica degli insiemi (UNITEXT, Band 111) (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)
- 9781234433680 Logica (United States General Accounting, Aristotle)
< Per archiviare...