Overview
- 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/extras
Part of the book series: UNITEXT (UNITEXT, volume 50)
Part of the book sub series: La Matematica per il 3+2 (UNITEXTMAT)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (17 chapters)
Authors and Affiliations
Bibliographic Information
Book Title: Logica: Metodo Breve
Authors: Daniele Mundici
Series Title: UNITEXT
DOI: https://doi.org/10.1007/978-88-470-1884-6
Publisher: Springer Milano
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Springer Milan 2011
Softcover ISBN: 978-88-470-1883-9Published: 10 February 2011
eBook ISBN: 978-88-470-1884-6Published: 01 May 2011
Series ISSN: 2038-5714
Series E-ISSN: 2532-3318
Edition Number: 1
Number of Pages: XI, 126
Topics: Mathematical Logic and Foundations, Mathematical Logic and Formal Languages, Semantics