Il corso inizia martedì 3 marzo. Verranno presentate le applicazioni usate nelle lezioni di laboratorio.
Per le informazioni sull'organizzazione del corso (suddivisione in turni, esami, ecc.) fare riferimento alla pagina del corso di Logica.
Sono previste 11 lezioni:
3, 10, 17, 24, 31 marzo;
14, 21, 28 aprile;
5, 12, 19 maggio.
Eventuali variazioni di orario verranno comunicate nella sezione Avvisi di questa pagina.
Si raccomando di usare il proprio indirizzo di posta di ateneo (della forma nome.cognome@studenti.unimi.it) e di indicare il proprio nome e cognome.
Esercizi del libro di testo: Cap. 2-8 (pdf), Cap. 9-14 (pdf), Cap. 16 (pdf).
Tabella dei predicati del linguaggio dei blocchi (pdf).
Regole in Fitch (pdf).