Logica: Metodo Breve

  • Daniele Mundici

Part of the UNITEXT book series (UNITEXT, volume 1)

Also part of the La Matematica per il 3+2 book sub series (UNITEXTMAT, volume 1)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Logica di Boole

    1. Front Matter
      Pages 1-1
    2. Daniele Mundici
      Pages 3-6
    3. Daniele Mundici
      Pages 7-11
    4. Daniele Mundici
      Pages 13-18
    5. Daniele Mundici
      Pages 19-26
    6. Daniele Mundici
      Pages 27-31
    7. Daniele Mundici
      Pages 33-36
    8. Daniele Mundici
      Pages 37-41
    9. Daniele Mundici
      Pages 43-48
    10. Daniele Mundici
      Pages 49-53
    11. Daniele Mundici
      Pages 55-56
  3. Logica dei Predicati

    1. Front Matter
      Pages 57-57
    2. Daniele Mundici
      Pages 65-71
    3. Daniele Mundici
      Pages 73-80
    4. Daniele Mundici
      Pages 91-95
    5. Daniele Mundici
      Pages 97-118
    6. Daniele Mundici
      Pages 119-122

About this book

Introduction

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.

Keywords

Compattezza e modelli nonstandard Deduzione Automatica Logica Matematica Semantica di Tarski Teorema di Completezza di Gödel

Authors and affiliations

  • Daniele Mundici
    • 1
  1. 1.Dipartimento di Matematica “U.Dini”Università di FirenzeItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-88-470-1884-6
  • Copyright Information Springer Milan 2011
  • Publisher Name Springer, Milano
  • eBook Packages Mathematics and Statistics
  • Print ISBN 978-88-470-1883-9
  • Online ISBN 978-88-470-1884-6
  • Series Print ISSN 2038-5714
  • About this book
Industry Sectors
Telecommunications
Oil, Gas & Geosciences