Logica e informatica (A.A. 2015/2016)
A chi è rivolto il corso. Il corso, tenuto nel secondo semestre (periodo didattico da marzo 2013 a maggio 2016), è di 24 ore ed è rivolto agli studenti di Scienza e Tecnologia del terzo anno della Scuola Superiore di Studi Avanzati della Sapienza.
Obiettivi. L'obiettivo del corso è lo studio degli aspetti fondamentali della logica e della relazione tra tale disciplina e l'informatica. Alla fine del corso lo studente dovrebbe avere acquisito gli strumenti fondamentali della logica formale, quali le nozioni logiche relative a teorie, teoremi e dimostrazioni, sia per i linguaggi proposizionali sia per il linguaggi del primo ordine, e le conoscenze sulle relazioni tra la logica e l'informatica, nei vari aspetti relativi alle basi di dati, alla programmazione e alla modellazione dei sistemi dinamici.
- 9 giugno 2016Le lezioni del corso sono terminate il giorno 8/6/2016.
- Il materiale è scaricabile dalla pagina del corso nel sistema Moodle, al quale tutti gli studenti della Sapienza hanno accesso.
- Orario: mercoledì [ore 18:00 - 20:15], nel periodo marzo 2016 - maggio 2016
- Aula nella foresteria della Sapienza a via Volturno 42
- Calendario e contenuto delle lezioni
- Lezione 1,2 (30/03/16): introduzione al corso, introduzione alla logica proposizionale: sintassi
- Lezione 3,4,5 (06/04/16): logica proposizionale: semantica
- Lezione 6,7,8 (20/04/16): logica proposizionale: pragmatica
- Lezione 9,10,11 (04/05/16): logica proposizionale: algoritmi per la deduzione
- Lezione 12,13,14 (11/05/16): logica del primo ordine: sintassi e semantica
- Lezione 15,16,17 (18/05/16): relazione tra logica del primo ordine e basi di dati relazionali
- Lezione 18,19,20 (25/05/16): Datalog
- Lezione 21,22,23 (08/06/16): Prolog
Per l'esame, lo studente deve o sviluppare un piccolo progetto legato ai temi del corso (ad esempio, sviluppare un programma che realizzi un algoritmo di inferenza, oppure realizzare un'applicazione in Prolog), o fare una presentazione (della durata di 20 minuti) avente per oggetto un articolo scientifico scelto tra i seguenti:
- A brief introduction to modal logic
- Temporal logic
- Description logics
- Natural deduction
- Default logic
oppure proposto dallo studente al docente.
Le date degli esami verranno comunicate qui.