Volume 1 2011

Logica: Metodo Breve

Authors:

ISBN: 978-88-470-1883-9 (Print) 978-88-470-1884-6 (Online)

Table of contents (17 chapters)

  1. Front Matter

    Pages I-XI

  2. Logica di Boole

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-6

      Introduzione

    3. No Access

      Book Chapter

      Pages 7-11

      Le nozioni logiche fondamentali

    4. No Access

      Book Chapter

      Pages 13-18

      La risoluzione

    5. No Access

      Book Chapter

      Pages 19-26

      Teorema di completezza di Robinson

    6. No Access

      Book Chapter

      Pages 27-31

      Classi fulminee per DPP

    7. No Access

      Book Chapter

      Pages 33-36

      Teorema di compattezza di Gödel

    8. No Access

      Book Chapter

      Pages 37-41

      Logica di Boole: sintassi

    9. No Access

      Book Chapter

      Pages 43-48

      Logica di Boole: semantica

    10. No Access

      Book Chapter

      Pages 49-53

      Forme normali

    11. No Access

      Book Chapter

      Pages 55-56

      Ricapitolando: espressività ed efficienza

  3. Logica dei Predicati

    1. Front Matter

      Pages 57-57

    2. No Access

      Book Chapter

      Pages 59-63

      I quantificatori “esiste” e “per ogni”

    3. No Access

      Book Chapter

      Pages 65-71

      Sintassi della logica dei predicati

    4. No Access

      Book Chapter

      Pages 73-80

      Significato delle clausole

    5. No Access

      Book Chapter

      Pages 81-90

      Teorema di completezza per la logica delle clausole

    6. No Access

      Book Chapter

      Pages 91-95

      Assiomi per l’eguaglianza

    7. No Access

      Book Chapter

      Pages 97-118

      La logica dei predicati ℒ

    8. No Access

      Book Chapter

      Pages 119-122

      Considerazioni finali

  4. Back Matter

    Pages 123-131