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


A chi è rivolto il corso. Il corso, di 3 crediti, è una delle sezioni del corso Logica e Metodi Probabilistici in l'informatica e viene tenuto nel secondo semestre (periodo didattico da febbraio 2024 a maggio 2024).
Docente. Prof. Maurizio Lenzerini.
Obiettivi. L'obiettivo del 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, nella specifica di programmi e nel ragionamento sulle proprietà dei programmi e degli automi.

  • Avvisi
    • 22 febbraio 2024. La prima lezione del corso si svolgerà mercoledì 28 febbraio 2024.

    • Materiale didattico
      • Il materiale didattico prevede le slides preparate dal docente, che si possono scaricare dalla pagina MOODLE del corso
    • Lezioni: orari e aule

      Per seguire le lezioni a distanza gli studenti che si sono iscritti al corso tramite il sistema MOODLE 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 MOODLE del corso. Gli orari e le aule sono questi:

      • mercoledì: [ore 08:00 - 10:00] Sede Marco Polo (RM021), viale dello Scalo S. Lorenzo, 82, aula 108.
      • venerdì: [ore 13:00 - 15: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 MOODLE del corso.

    • Lezioni: calendario e contenuti
      Settimana Mercoledì (08:00 - 10:00) aula 108 Venerdì (13:00 - 15:00) aula 108
      01 (Feb 26) Lezione 1,2
      - Introduzione al corso
      - Sintassi della logica proposizionale
      02 (Mar 4)
      03 (Mar 11)
      04 (Mar 18)
      05 (Mar 25)
      06 (Apr 1)
      07 (Apr 08)
      08 (Apr 15)
      09 (Apr 22)
      10 (Apr 29)
      11 (Mag 06)
      12 (Mag 13)
      13 (Mag 20)
      14 (Mag 27)
    • 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 nello sviluppo e nell’analisi dei programmi. Logica e automi. La logica nella gestione dei dati. Logica e linguaggi di interrogazione nelle basi di dati. Il linguaggio Datalog. La logica nella rappresentazione della conoscenza.
    • Modalità d'esame

      Le modalità di esame verranno comunicate più avanti.

    • Prenotazione degli esami: per la verbalizzazione dell'intero esame di Logica e Metodi Probabilistici dell'Informatica, gli studenti devono utilizzare il servizio del sistema Infostud, prenotandosi ad un appello quando si sono acquisiti entrambi i voti per le due sezioni del corso.
    • Calendario previsto degli esami
      • Primo appello: giugno 2024
      • Secondo appello: luglio 2024
      • Terzo appello: settembre 2024
      • Appello straordinario (per studenti studenti part-time, fuori corso, iscritti per l’A.A. 2023-2024 al terzo anno della laurea e al secondo anno della laurea magistrale, studenti con disabilità e con D.S.A.): ottobre 2024
      • Quarto appello: gennaio 2025
      • Quinto appello: febbraio 2025
      • Appello straordinario (per studenti fuori corso, part time, con disabilità e con D.S.A.): aprile 2025

  • Informazioni sulle edizioni passate del corso
  • 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.