Menu:

Avvisi


La lezione di mercoledì 19 aprile è cancellata a causa di un impegno di ricerca del docente. Le lezioni riprenderanno regolarmente mercoledì 26 aprile.


La prima lezione del corso dell'a.a. 2016-2017 si terrà lunedì 27 febbraio 2017 alle ore 8.45 in Aula 5.

Link

- Logica Matematica I
- Metodi per il Ragionamento Automatico
- AILA
- SILFS
- Scuola Estiva di Logica

Ultima modifica
24 febbraio 2017


Materiale didattico