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

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 compattezza di Godel per la logica di Boole. Il lettore incontrerà qui altre idee chiave della logica: una sintassi non ambigua, la risoluzione, la procedura di Davis-Putnam, la semantica di Tarski, l'equivalenza e la conseguenza logica, i modelli di Herbrand, gli assiomi dell'eguaglianza, le forme normali di Skolem, le refutazioni come oggetti grafici, e la costruzione di alcuni modelli non-standard. I prerequisiti matematici sono minimi: il testo è accessibile a chiunque abbia già visto qualche dimostrazione per induzione. Il manuale può essere usato come sussidiario per un primo corso di Logica Matematica per matematici e per informatici. Parti del testo possono essere di appoggio in un corso di Logica per filosofi e linguisti, soprattutto per i numerosi esercizi, mai troppo difficili, di collegamento tra logica e linguaggio naturale. Libri, Springer Verlag<

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

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 tavole a colori f.t. + pp. (8)-953 con centinaia di illustrazioni n.t. e 32 tavole a colori f.t. + pp. (10)-1314 con centinaia di illustrazioni n.t. e 19 tavole a colori f.t. + pp. (10)-1287 con centinaia di illustrazioni n.t. e 35 tavole a colori f.t. + pp. (10)-1181 con centinaia di illustrazioni n.t. e 16 tavole a colori f.t. + pp. 155-63 + 13 tabelle ripiegate in fine., 0, Milano, Garzanti, 1958, sei volumi in-4to piccolo, legature in tela editoriale con fregi e titoli dorati ai piatti e ai dorsi, pp. 1123 - 1004 - 1301 - 1313 - 1243 - 168 con centinaia di illustrazioni in nero e tavole a colori nel testo fuori testo., 0, Springer, 2011. Paperback. New. 140 pages. Italian language., Springer, 2011, 6<

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

[ED: Softcover], [PU: Springer, Berlin], Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Goedel, Loewenheim-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. 2011. xi, 126 S. XI, 126 pagg. 234 x 156 mm Versandfertig in 6-10 Tagen, DE, [SC: 0.00], Neuware, gewerbliches Angebot, Offene Rechnung (Vorkasse vorbehalten)<

2011, ISBN: 9788847018839

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