Skip to main content
SpringerLink
Log in
Book cover

Logica: Metodo Breve

  • Textbook
  • © 2011

Overview

Authors:
  1. Daniele Mundici

    1. Dipartimento di Matematica “U.Dini”, Università di Firenze, Italy

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • 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)

  • 11k Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 29.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 chapters)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Logica di Boole

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Introduzione

      • Daniele Mundici
      Pages 3-6

    3. Le nozioni logiche fondamentali

      • Daniele Mundici
      Pages 7-11

    4. La risoluzione

      • Daniele Mundici
      Pages 13-18

    5. Teorema di completezza di Robinson

      • Daniele Mundici
      Pages 19-26

    6. Classi fulminee per DPP

      • Daniele Mundici
      Pages 27-31

    7. Teorema di compattezza di Gödel

      • Daniele Mundici
      Pages 33-36

    8. Logica di Boole: sintassi

      • Daniele Mundici
      Pages 37-41

    9. Logica di Boole: semantica

      • Daniele Mundici
      Pages 43-48

    10. Forme normali

      • Daniele Mundici
      Pages 49-53

    11. Ricapitolando: espressività ed efficienza

      • Daniele Mundici
      Pages 55-56

  3. Logica dei Predicati

    1. Front Matter

      Pages 57-57
      Download chapter PDF

    2. I quantificatori “esiste” e “per ogni”

      • Daniele Mundici
      Pages 59-63

    3. Sintassi della logica dei predicati

      • Daniele Mundici
      Pages 65-71

    4. Significato delle clausole

      • Daniele Mundici
      Pages 73-80

    5. Teorema di completezza per la logica delle clausole

      • Daniele Mundici
      Pages 81-90

    6. Assiomi per l’eguaglianza

      • Daniele Mundici
      Pages 91-95

    7. La logica dei predicati ℒ

      • Daniele Mundici
      Pages 97-118

    8. Considerazioni finali

      • Daniele Mundici
      Pages 119-122
Back to top

Keywords

About this book

Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-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.

Authors and Affiliations

  • Dipartimento di Matematica “U.Dini”, Università di Firenze, Italy

    Daniele Mundici

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation