- 5 Risultati
prezzo più basso: € 12,90, prezzo più alto: € 31,58, prezzo medio: € 22,85
1
Logica 01 | Volume 1 - Logica del primo ordine | Vito Michele Abrusci (u. a.) | Taschenbuch | UNITEXT /La Matematica per il 3+2 | Italienisch | 2014 | Springer Italia | EAN 9788847055377 - Abrusci, Vito Michele
Ordina
da booklooker.de
€ 12,90
Spedizione: € 0,001
OrdinaLink sponsorizzato
Abrusci, Vito Michele:

Logica 01 | Volume 1 - Logica del primo ordine | Vito Michele Abrusci (u. a.) | Taschenbuch | UNITEXT /La Matematica per il 3+2 | Italienisch | 2014 | Springer Italia | EAN 9788847055377 - edizione con copertina flessibile

2014, ISBN: 9788847055377

[ED: Taschenbuch], [PU: Springer Italia], Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione spec… Altro …

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
2
Logica : Volume 1 - Dimostrazioni e modelli al primo ordine - Lorenzo Tortora De Falco
Ordina
da ZVAB.com
€ 31,58
Spedizione: € 0,001
OrdinaLink sponsorizzato

Lorenzo Tortora De Falco:

Logica : Volume 1 - Dimostrazioni e modelli al primo ordine - edizione con copertina flessibile

2014, ISBN: 8847055377

[EAN: 9788847055377], Neubuch, [SC: 0.0], [PU: Springer Milan], LOGIK; PHILOSOPHIE / FUNZIONIRICORSIVE; LOGICADELPRIMOORDINE; TEOREMADIELIMINAZIONEDELTAGLIO; TEOREMIDIINCOMPLETEZZA; TEORI… Altro …

NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
3
Logica - Abrusci, Vito Michele;Tortora de Falco, Lorenzo
Ordina
da booklooker.de
€ 19,99
Spedizione: € 0,001
OrdinaLink sponsorizzato
Abrusci, Vito Michele;Tortora de Falco, Lorenzo:
Logica - edizione con copertina flessibile

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 …

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
4
Logica. Vol. 1: Dimostrazioni e modelli al primo ordine. - Vito Michele Abrusci;Lorenzo Tortora De Falco
Vito Michele Abrusci;Lorenzo Tortora De Falco:
Logica. Vol. 1: Dimostrazioni e modelli al primo ordine. - nuovo libro

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 …

Nr. 9788847055377. Costi di spedizione:, , zzgl. Versandkosten,, Costi di spedizione aggiuntivi
5
Logica Volume 1 - Dimostrazioni e modelli al primo ordine - Tortora De Falco, Lorenzo; Abrusci, Vito Michele
Ordina
da Achtung-Buecher.de
€ 26,03
Spedizione: € 2,951
OrdinaLink sponsorizzato
Tortora De Falco, Lorenzo; Abrusci, Vito Michele:
Logica Volume 1 - Dimostrazioni e modelli al primo ordine - nuovo libro

2014, ISBN: 8847055377

2014 Kartoniert / Broschiert Logik, Philosophie / Logik, Mathematische Grundlagen, Philosophie: Logik, Theoretische Informatik, funzioniricorsive; logicadelprimoordine; teoremadielimina… Altro …

Costi di spedizione:Versandkosten innerhalb der BRD. (EUR 2.95) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien

1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Logica: Volume 1 - Dimostrazioni e modelli al primo ordine

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 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 2023-01-07T16:29:32+01: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


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-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

< Per archiviare...