Authors:
- 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)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (17 chapters)
-
Front Matter
About this book
Authors and Affiliations
-
Dipartimento di Matematica “U.Dini”, Università di Firenze, Italy
Daniele Mundici
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