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… Plus…
laFeltrinelli.it Nr. 3082309. Frais d'envoi, , zzgl. Versandkosten., Livraison non-comprise 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… Plus…
ibs.it Nr. 9788847018839. Frais d'envoi, , zzgl. Versandkosten,, Livraison non-comprise 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… Plus…
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… Plus…
booklooker.de buecher.de GmbH & Co. KG Frais d'envoiVersandkostenfrei, 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… Plus…
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… Plus…
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… Plus…
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… Plus…
2011, ISBN: 9788847018839
Springer, 2011. Paperback. New. 140 pages. Italian language., Springer, 2011, 6
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - Logica: Metodo Breve
EAN (ISBN-13): 9788847018839
ISBN (ISBN-10): 8847018838
Livre de poche
Date de parution: 2011
Editeur: Springer
140 Pages
Langue: ita/Italienisch
Livre dans la base de données depuis 2011-02-28T02:18:55+01:00 (Zurich)
Page de détail modifiée en dernier sur 2022-02-18T23:02:47+01:00 (Zurich)
ISBN/EAN: 9788847018839
ISBN - Autres types d'écriture:
88-470-1883-8, 978-88-470-1883-9
Autres types d'écriture et termes associés:
Auteur du livre: daniele mundici, goedel, davis, tarski, skolem, putnam, springer, sue robinson, mundi
Titre du livre: meto, logica metodo breve, méto, método, matematica
Données de l'éditeur
Auteur: Daniele Mundici
Titre: UNITEXT; La Matematica per il 3+2; Logica: Metodo Breve
Editeur: Springer; Springer Italia
126 Pages
Date de parution: 2011-02-10
Milano; IT
Langue: Italien
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/extrasAutres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
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)
< pour archiver...