Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
corso Fondamenti Logici, 2007/2008
[go: Go Back, main page]

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

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, in Ercolani 2.
    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.

    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)