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.


  • Avvisi
    • 9 giugno 2016Le lezioni del corso sono terminate il giorno 8/6/2016.
  • Materiale didattico
  • Lezioni
    • 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

  • Modalità di esame
    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:

    oppure proposto dallo studente al docente.

  • Calendario degli esami
    Le date degli esami verranno comunicate qui.

  • Ricevimento studenti. Martedì, ore 17:00, al Dipartimento di Ingegneria Informatica Automatica e Gestionale "Antonio Ruberti", via Ariosto 25, Roma, secondo piano, stanza B203 (se disponibile), oppure stanza B217 (altrimenti) -- si prega di consultare la sezione delle news per eventuali notizie sulla data del prossimo ricevimento studenti