Detailseite wird geladen...

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
![]() |
Lafeltrinelli.it
Nr. 9788847018839. Costi di spedizione:, 2, zzgl. Versandkosten., Costi di spedizione aggiuntivi
Details... |

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
![]() |
Lafeltrinelli.it
Nr. 9788847018839. Costi di spedizione:, 1, zzgl. Versandkosten., Costi di spedizione aggiuntivi
Details... |

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
![]() |
Betterworldbooks.com
Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi
Details... |

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
![]() |
Ebooks.com
Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi
Details... |

![]() |
Lehmanns.de
Costi di spedizione:Lieferbar (Termin unbekannt), , Versandkostenfrei innerhalb der BRD. (EUR 0.00)
Details... |

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 VERLAG GMBH
140 Pagine
Lingua: ita/Italienisch
Libro nella banca dati dal 28.02.2011 02:18:55
libro trovato per l'ultima volta il07.02.2019 14:54:43
ISBN/EAN: 9788847018839
ISBN - Stili di scrittura alternativi:
88-470-1883-8, 978-88-470-1883-9
< Per archiviare...
Libri correlati
- "Logica: Metodo Breve", di "Daniele Mundici" (9788847018846)
- "La gestione delle fratture da fragilit? ossea", di "Umberto Tarantino;Giuseppina Resmini" (9788847018815)
- "La gestione delle fratture da fragilità ossea. Raccomandazioni per chirurghi ortopedici", di "Umberto Tarantino;Giuseppina Resmini" (9788847018808)
- "Algebra linear para todos", di "Robbiano Lorenzo" (9788847018860)
- "Álgebra Linear", di "Lorenzo Robbiano" (9788847018877)
- "MDCT Anatomy", di "L. Romano" (9788847018785)