Indice degli argomenti

  • Introduzione

  • INFORMAZIONI GENERALI

    DOCENTE Andrea Corradini <andrea@di.unipi.it>
    Orario Martedì 14-16, Aula E e Giovedì 14-16, Aula E
    Orario ricevimento Cliccare qui.

    Modalità di esame

    L'esame di LPP è costituito da uno scritto e da un orale. Per poter sostenere l’orale è necessario aver superato entrambe le prove di verifica intermedie con un voto >= 16 e con una media >= 18, oppure aver superato la prova scritta di un appello d'esame con un voto >=16. In generale, lo scritto superato in un appello consente di sostenere l'orale nello stesso appello oppure in quello successivo.
    Il superamento delle prove di verifica intermedie al posto dello scritto vale per l'intera sessione invernale (appelli di gennaio e febbraio).

    Materiale didattico (Dispense, PDF)

    1. [LP1] Logica per la Programmazione
    2. [LP2] Logica per la Programmazione 2
    3. [LdH] Logica di Hoare
    4. [Per consultazione] [LMB-INF] Note LMB di Informatica

    Teaching material in English

    For foreign students unable to understand Italian, the teaching material consists of Chapter 1, 2 and 4 of the following book: LOGIC IN COMPUTER SCIENCE Modelling and Reasoning about Systems, di Michael Huth e Mark Ryan. Web page. Please contact the lecturer if you need to take the exam in English.

    Links

    • 18/09/2018 - Introduzione al corso e al Calcolo Proposizionale

      Titolo Introduzione
      Argomenti
      • Introduzione al corso
      • Introduzione al Calcolo Proposizionale; Connettivi logici; Proposizioni (formule proposizionali); Formalizzazione di enunciati; Formalizzazione di implicazioni in linguaggio naturale; Tautologie e Contraddizioni.
       Materiale didattico
       Dispense: [LP1] pag 5-8
       Lucidi   LPP-2018-01.pdf
      • 20/09/2018 - Dimostrazione di Tautologie

        Data 20/09/2018
        Titolo Dimostrazione di Tautologie
        Argomenti
        • Tabelle di verità
        • Dimostrazioni per sostituzione
        • Leggi del Calcolo Proposizionale
         Materiale didattico
        • [LP1]  pag 3-10
        • [LMB-INF] Sezione 1.4, "Dimostrazioni per sostituzione", pag 4-7, e sezione 3.2.1, "Interpretare le formule proposizionali", pag. 32-35.
         Lucidi  LPP-2018-02.pdf

        • 25/09/2018 - Dimostrazione di Tautologie e Sintassi del Calcolo Proposizionale

          Data 25/09/2018
          Titolo Dimostrazione di Tautologie e Sintassi del Calcolo Proposizionale
          Argomenti
          • Tautologie: dimostrazioni e controesempi
          • Inferenze in linguaggio naturale e tautologie
          • Sulla sintassi del Calcolo Proposizionale: Ambiguità, precedenza tra connettivi e parentesi
          • Altre Leggi del Calcolo Proposizionale Dimostrazioni per sostituzione
           Materiale didattico
          • [LP1]  fino a pag. 12
           Lucidi  LPP-2018-03.pdf

          • 26/09/2018 - Esercitazione su Calcolo Proposizionale

            Gli studenti sono invitati a continuare a svolgere a casa gli esercizi che non hanno completato in aula.

            All'inizio della prossima settimana (Ottobre 2) verranno pubblicate le soluzioni degli esercizi proposti.

            Per l'esercitazione si può usare la seguente tabella delle leggi, che sarà utilizzabile anche durante la prima prova in itinere.

          • 02/10/2018 - Dimostrazione di Implicazioni Tautologiche

            Data 02/10/2018
            Titolo Dimostrazione di Implicazioni Tautologiche
            Argomenti
            • Principio di sostituzione per l’implicazione
            • Occorrenze positive e negative
            • Altre tecniche di dimostrazione
            • Forme Normali e Principio di Risoluzione
            • Insiemi funzionalmente completi di connettivi logici
             Materiale didattico
            • [LP1]  fino a pag. 18
             Lucidi  LPP-2018-04.pdf

            • 04/10/2018 - Dimostrazioni e Tautologie, Ipotesi non tautologiche

              Data 04/10/2018
              Titolo Dimostrazioni e Tautologie, Ipotesi non tautologiche
              Argomenti
              • Tautologie come schemi di dimostrazione
              • Dimostrazioni con ipotesi non tautologiche
               Materiale didattico
              • [LP1]  fino a pag. 23
               Lucidi  LPP-2018-05.pdf

              • 09/10/2018 - Esercitazione su Calcolo Proposizionale

                Gli studenti sono invitati a continuare a svolgere a casa gli esercizi che non hanno completato in aula.

                Le soluzioni degli esercizi proposti verranno pubblicate nei prossimi giorni.

                Per l'esercitazione si può usare la tabella delle leggi tabelle-leggi-v1.pdf, che sarà utilizzabile anche durante la prima prova in itinere.

              • 11/10/2018 - Logica del Primo Ordine: Motivazioni, Sintassi

                Data 11/10/2018
                Titolo Logica del Primo Ordine: Motivazioni e Sintassi
                Argomenti
                • Limiti del Calcolo Proposizionale
                • Sintassi della Logica del Primo Ordine: Alfabeto, Grammatica, Termini, Formule
                • Occorrenze legate e libere di variabili; Formule aperte e chiuse
                 Materiale didattico
                • [LP1], Sezioni 8 e 8.1 [pag 29-33]
                • [LMB-INF], Capitolo 4, "Logica dei Predicati", pag 50-53.
                 Lucidi  LPP-2018-06.pdf

                • 16/10/2018 - Logica del Primo Ordine: Formalizzazione e Semantica

                  Data 16/10/2018
                  Titolo Logica del Primo Ordine: Formalizzazione e Semantica
                  Argomenti
                  • Interpretazione di un linguaggio del primo ordine
                  • Formalizzazione di enunciati: linee guida ed esempi
                  • Esempi di semantica di formule di Logica del Primo Ordine
                   Materiale didattico
                  • [LP1], pag 34-37
                   Lucidi  LPP-2018-07.pdf [fino a pagina 126]

                  • 02/11/2018 - Prima prova di verifica

                    • Argomento 12

                      • Argomento 13