Corso di Fondamenti Logici, Laurea Specialistica in Informatica, 2007/2008


Prossime date verbalizzazioni:
Giovedi 4 Giugno dalle 16.30 alle 17.00, oppure Venerdi 5 Giugno dalle 13.30 alle 14.
I risultati del compito del 30-1-2009 sono a questo indirizzo.
I risultati del compito del 18-9-2008 sono a questo indirizzo.
I risultati del compito del 24-6-2008 sono a questo indirizzo.
I risultati del compito del 5-6-2008 sono a questo indirizzo

Docenti:

  • Davide Sangiorgi (titolare)

  • Alan Schmitt

    • Esame

    L'esame sara' scritto. E' previsto anche un orale opzionale (che puo' permettere di incrementare il voto ottenuto allo scritto, ma anche portare a un decremento). Per sostenere la prova orale occorre avere preso la sufficienza allo scritto. Il docente si riserva il diritto di richiedere a qualcuno una prova orale.
    Per coloro che hanno seguito il corso negli anni scorsi con il Prof. Asperti, e' possibile sostenere l'esame con il programma Asperti

    Date appelli

    Sessione estiva:
    5-Giugno-2008 dalle 13:30 alle 15:30, in Ercolani 2.
    24-Giugno-2008 dalle 13:30 alle 15:30, aula A presso il complesso Belmeloro.
    Per coloro che hanno seguito con Asperti: il Prof. Asperti sara' disponibile per effettuare l'esame nella settimana 1-5 Luglio (solamente). Contattare Asperti via email per fissare un appuntamento.

    Sessione autunnale:
    Primo appello: solamente orale, su appuntamento con il titolare del corso, tra 1 Settembre e 6 Settembre (e' preferibile pero' venire allo scritto del 18-09 )
    Secondo appello: 18-09-2007, alle ore 13:30, aula Cremona

    Sessione invernale:
    Primo appello: solamente orale, su appuntamento con il titolare del corso, tra 7 Gennaio e 15 Gennaio (e' preferibile pero' venire allo scritto del 30-01-2009)
    Secondo appello: 30-01-2009 dalle 13:30 alle 15:30, Ercolani 2.
    Di nuovo, coloro che hanno seguito con Asperti sono invitati a contattare il Prof. Asperti per effettuare l'esame con il programma degli anni scorsi.

    Ricevimento studenti:

    Per Sangiorgi, Martedi 13.00-14.30 (ma si raccomanda di avvisare prima, e prendere appuntamento, con una email). Per Schmitt, appuntamento per email.

    ORARIO

      LUN MAR MER GIO VEN
    8.30-9.30       X  
    9.30-10.30       X  
    10.30-11.30         X
    11.30-12.30         X
    Aula: Giovedi in Ercolani 2, Venerdi in Pincherle (a Matematica, 2o piano)

    Programma

  • Type systems (material on this part can be found here ).
  • Induction and coinduction. Slides are available here (in .ps format here ).


    • Nota: coloro che hanno seguito le lezioni negli anni scorsi, con il Prof. Asperti, potranno sostenere l'esame con il vecchio programma (le modalita' d'esame saranno precisate piu' tardi)