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

    • 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

    Programma

  • Type systems (material on this part can be found here ).
  • Induction and coinduction (material on this part will be put here later).