- 5 Risultati
prezzo più basso: € 21,99, prezzo più alto: € 46,40, prezzo medio: € 29,72
1
Logica. Metodo breve - Daniele Mundici
Ordina
da laFeltrinelli.it
€ 24,65
OrdinaLink sponsorizzato
Daniele Mundici:

Logica. Metodo breve - libri usati

1996, ISBN: 9788847018839

Logica. Metodo breve, libro di Daniele Mundici, edito da Springer Verlag Italia. In questo manuale viene data una dimostrazione del teorema di completezza di Goedel e di alcune sue conseg… Altro …

Nr. 3082309. Costi di spedizione:, , zzgl. Versandkosten., Costi di spedizione aggiuntivi
2
Logica. Metodo breve - Daniele Mundici

Daniele Mundici:

Logica. Metodo breve - nuovo libro

ISBN: 9788847018839

In questo manuale viene data una dimostrazione del teorema di completezza di Godel e di alcune sue conseguenze, utilizzando il teorema di completezza di Robinson e il teorema di compattez… Altro …

Nr. 9788847018839. Costi di spedizione:, , zzgl. Versandkosten,, Costi di spedizione aggiuntivi
3
Ordina
da Biblio.co.uk
$ 52,64
(indicativi € 46,40)
Spedizione: € 12,141
OrdinaLink sponsorizzato
Daniele Mundici:
Logica: Metodo Breve (Unitext / La Matematica Per Il 3+2) - edizione con copertina flessibile

2011

ISBN: 9788847018839

Milano, Garzanti, 1954, sei volumi in 8vo grande, legature editoriali in cartoncino telato con tasselli a due colori ai dorsi, pp. (10)-1123 con centinaia di illustrazioni n.t. e 16 tavol… Altro …

ITA, I.. - Costi di spedizione: EUR 12.14 Libreria Piani snc, Libreria Piani snc, Revaluation Books
4
Ordina
da booklooker.de
€ 21,99
Spedizione: € 0,001
OrdinaLink sponsorizzato
Mundici, Daniele:
Logica: Metodo Breve - edizione con copertina flessibile

2011, ISBN: 9788847018839

[ED: Softcover], [PU: Springer, Berlin], Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, comp… Altro …

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
5
Ordina
da Biblio.co.uk
$ 31,66
(indicativi € 27,91)
Spedizione: € 12,141
OrdinaLink sponsorizzato
Daniele Mundici:
Logica: Metodo Breve (Unitext / La Matematica Per Il 3+2) - edizione con copertina flessibile

2011, ISBN: 9788847018839

Springer, 2011. Paperback. New. 140 pages. Italian language., Springer, 2011, 6

Costi di spedizione: EUR 12.14 Revaluation Books

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: Metodo Breve

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

Informazioni dettagliate del libro - Logica: Metodo Breve


EAN (ISBN-13): 9788847018839
ISBN (ISBN-10): 8847018838
Copertina flessibile
Anno di pubblicazione: 2011
Editore: Springer
140 Pagine
Lingua: ita/Italienisch

Libro nella banca dati dal 2011-02-28T02:18:55+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2022-02-18T23:02:47+01:00 (Zurich)
ISBN/EAN: 9788847018839

ISBN - Stili di scrittura alternativi:
88-470-1883-8, 978-88-470-1883-9
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : daniele mundici, goedel, davis, tarski, skolem, putnam, springer, sue robinson, mundi
Titolo del libro: meto, logica metodo breve, méto, método, matematica


Dati dell'editore

Autore: Daniele Mundici
Titolo: La Matematica per il 3+2; UNITEXT; Logica: Metodo Breve
Editore: Springer; Springer Italia
126 Pagine
Anno di pubblicazione: 2011-02-10
Milano; IT
Lingua: Italiano
29,95 € (DE)
30,79 € (AT)
33,50 CHF (CH)
Available
XI, 126 pagg.

BC; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Compattezza e modelli nonstandard; Deduzione Automatica; Logica Matematica; Semantica di Tarski; Teorema di Completezza di Gödel; Mathematical Logic and Foundations; Formal Languages and Automata Theory; Semiotics; Mathematische Grundlagen; Theoretische Informatik; Semiotik und Semiologie; EA

Senza richiedere prerequisiti, lo studente perviene alla dimostrazione del teorema di completezza di Goedel per la logica dei predicati con eguaglianza Numerosi esercizi guidano il lettore a una lettura attiva e a una piena comprensione dei concetti logici fondamentali Le nozioni fondamentali sintattiche e semantiche vengono presentate in contesti di complessita' crescente, partendo dalla logica proposizionale delle clausole, fino alla logica dei predicati con eguaglianza Lo studente interessato alla computer science puo' trovare in questo testo una introduzione, elementare ma rigorosa, alla deduzione automatica Gli studenti di filosofia e linguistica troveranno semplici esercizi esemplificativi dei teoremi fondamentali, basati sul linguaggio naturale Includes supplementary material: sn.pub/extras

< Per archiviare...