Logica e Informatica (A.A. 2024/2025)

A chi è rivolto il corso. Questa pagina è relativa ad una sezione di Logica, Modelli di Calcolo e Metodi Probabilstici per l'Informatica (docente: Marco Console), sezione che viene tenuta nella prima parte del primo semestre dell'A.A. 2024/25 (periodo didattico da settembre 2024 a dicembre 2024).
Docente. Prof. Maurizio Lenzerini.
Obiettivi. L'obiettivo di questa sezione di corso è di introdurre la logica matematica come potente strumento per modellare e ragionare formalmente su diversi aspetti dell’informatica, quali: i requisiti di un sistema informatico, i dati, i programmi, gli automi e la computazione in generale. Vengono studiati i principali sistemi formali della logica, in primis la logica proposizionale e la logica dei predicati. Viene affrontato il tema dell’uso della logica nello specificare argomenti, dimostrare o confutare la loro validità ed inferire le loro conseguenze, anche in modo automatico. Vengono poi approfonditi alcuni temi che riguardano l’uso della logica nell’informatica, in particolare nella gestione dei dati, nell’interrogazione di basi di dati e nella specifica di programmi.

  • Avvisi
    • 19 settembre 2024. La prima lezione del corso si svolgerà mercoledì 25 settembre 2024.

    • Materiale didattico
    • Lezioni: orari e aule

      Per seguire le lezioni a distanza gli studenti devono collegarsi alla stanza virtuale ZOOM. Sul sito dell'ateneo è disponibile una pagina che include una guida all'uso di ZOOM. Le registrazioni delle lezioni sono disponibili nella pagina Classroom del corso. Gli orari e le aule sono questi:

      • martedì: [ore 08:00 - 12:00] Sede Marco Polo (RM021), viale dello Scalo S. Lorenzo, 82, aula 204.
      • mercoledì: [ore 08:00 - 12:00] Sede Marco Polo (RM021), viale dello Scalo S. Lorenzo, 82, aula 108
    • Esercitazioni

      Il materiale delle esercitazioni, comprese le soluzioni degli esercizi, è scaricabile accedendo alla pagina Classroom del corso.

    • Lezioni: calendario e contenuti
      Settimana Martedì (08:00 - 12:00) aula 204 Mercoledì (08:00 - 12:00) aula 204
      01 (Set 23)
      ------
      		 Lezione 1,2,3,4
      - Introduzione al corso
      - Sintassi della logica proposizionale
      - Semantica della logica proposizionale
      02 (Set 30) Lezione 5,6,7,8
      - Funzioni booleane
      - Relazione tra funzioni booleane e formule proposizionali
      - Le nozioni di soddisfacibilità e implicazione logica
      - Esercizi sulla logica proposizionale       		Lezione 9,10,11,12
      - Esercizi sull'implicazione logica
      - La Davis-Putnam procedure
      - La logica del primo ordine: la sintassi
      03 (Ott 07) Lezione 13,14,15,16
      - La logica del primo ordine: la semantica
      - Valutazione di formule della logica del primo ordine       		Lezione 16,17,18,19
      - Formalizzazione di problemi in logica del primo ordine
      - Esercizi di logica del primo ordine
      - Logica e basi di dati
    • Programma provvisorio del corso
      • 1. La logica proposizionale. Sintassi e semantica della logica proposizionale. Potere espressivo della logica proposizionale. “Satisfiability”: problema, complessità e algoritmi di decisione. L’inferenza nella logica proposizionale. Problemi e algoritmi di decisione relativi all’inferenza.
      • 2. La logica dei predicati del primo ordine. Sintassi e semantica della logica dei predicati del primo ordine. Potere espressivo della logica dei predicati. L’inferenza nella logica dei predicati: deduzione, induzione e abduzione. Sistemi formali per la deduzione. Problemi di decisione nella logica dei predicati. Cenno alle logiche modali e temporali.
      • 3. Applicazione della logica nell’informatica. La logica nella gestione dei dati. Logica e linguaggi di interrogazione nelle basi di dati. Il linguaggio Datalog. La logica nella rappresentazione della conoscenza.
    • Esame

      Si rimanda alle informazioni relative al corso Logica, Modelli di Calcolo e Metodi Probabilstici per l'Informatica

    • Informazioni sulle edizioni passate del corso su Logica e Informatica
    • Ricevimento studenti. Il martedì alle ore 17 on-line all'indirizzo https://meet.google.com/hzy-save-oqw -- si prega di consultare la sezione delle latest news per eventuali variazioni.