Laboratorio del corso di Logica

Anno accademico 2024/25

Turno B

Docente: Camillo Fiorentini

Avvisi

Il corso inizia martedì 25 febbraio. Verranno presentate le applicazioni usate nelle lezioni di laboratorio.

Orario delle lezioni

Le lezioni si svolgono il martedì, 13.30-16.30, laboratorio Delta del Dipartimento di Informatica, via Celoria 18.

Per le informazioni sull'organizzazione del corso (suddivisione in turni, esami, ecc.) fare riferimento alla pagina del corso di Logica.

Sono previste 11 lezioni:
25 febbraio;
4, 11, 18, 25 marzo;
8, 15 aprile;
6, 13, 20, 27 maggio.

Eventuali variazioni di orario verranno comunicate nella sezione Avvisi di questa pagina.

Ricevimento

Nel mio ufficio, via Celoria 18 (ufficio 4012, quarto piano) su appuntamento (fiorentini@di.unimi.it).

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.

Libro di testo di riferimento

Dave Barker-Plummer, Jon Barwise and John Etchemendy, Language, Proof and Logic, second edition, CSLI publications.

Materiale relativo alle lezioni

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).