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 …
laFeltrinelli.it Nr. 3082309. Costi di spedizione:, , zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
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 …
ibs.it Nr. 9788847018839. Costi di spedizione:, , zzgl. Versandkosten,, Costi di spedizione aggiuntivi Details... |
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.. | Biblio.co.uk |
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 …
booklooker.de buecher.de GmbH & Co. KG Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
2011, ISBN: 9788847018839
Springer, 2011. Paperback. New. 140 pages. Italian language., Springer, 2011, 6
Biblio.co.uk |
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 …
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 …
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 …
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 …
2011, ISBN: 9788847018839
Springer, 2011. Paperback. New. 140 pages. Italian language., Springer, 2011, 6
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
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: 8847018838
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: UNITEXT; La Matematica per il 3+2; 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/extrasAltri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9788847018846 Logica: Metodo Breve (Mundici)
- 9788847018846 Logica: Metodo Breve (Mundici)
- 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...