Libri: Trova. Confronta. Acquista.

(*)

Logica. Metodo breve - Daniele Mundici - nuovo libro

ISBN: 9788847018839

ID: cd19fc554284a43ad1d117d7021ac874

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 conseguenze, utilizzando il teorema di completezza di Robinson e il teorema di compattezza di Goedel 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. Queste pagine sono il distillato di numerosi corsi di Logica Matematica che ho tenuto al Dipartimento di Scienze dell’Informazione dell’Università di Milano a partire dal 1996, e successivamente al Dipartimento di Matematica Ulisse Dini” dell’Università di Firenze. Il testo attuale è il risultato di un lungo processo di interazione tra insegnante e allievi di diverse provenienze culturali. 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. Media / Libri/Scienze / Matematica, Springer Verlag Italia

(*)

Logica. Metodo breve - Daniele Mundici - nuovo libro

ISBN: 9788847018839

ID: cd19fc554284a43ad1d117d7021ac874

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 conseguenze, utilizzando il teorema di completezza di Robinson e il teorema di compattezza di Goedel 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. Queste pagine sono il distillato di numerosi corsi di Logica Matematica che ho tenuto al Dipartimento di Scienze dell’Informazione dell’Università di Milano a partire dal 1996, e successivamente al Dipartimento di Matematica Ulisse Dini” dell’Università di Firenze. Il testo attuale è il risultato di un lungo processo di interazione tra insegnante e allievi di diverse provenienze culturali. 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. Media / Libri/Scienze / matematica, Springer Verlag Italia

(*)

Mundici, Daniele:
Logica: Metodo Breve - libri usati

ISBN: 9788847018839

ID: 12668180

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. Logica: Metodo Breve Mundici, Daniele, Springer

(*)

Mundici, Daniele:
Logica: Metodo Breve - nuovo libro

ISBN: 9788847018839

ID: 993840

Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gdel, Lwenheim-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. Computers Computers eBook, Springer Milan

(*)

Daniele Mundici:
Logica: Metodo Breve - edizione con copertina flessibile

2011, ISBN: 9788847018839

ID: 16335118

2011 ed., Softcover, Buch, [PU: Springer Verlag]