Laboratorio del corso di Logica

Anno accademico 2020/21

Turno B

Docente: Camillo Fiorentini

Avvisi

Orario delle lezioni

Questo turno si svolge esclusivamente in presenza il martedì, 14.30-17.30, laboratorio Delta, via Celoria 18. Occorre prenotarsi usando la apposita app lezioniUnimi.

Sono previste 11 lezioni:
2, 9 (online), 16 (online), 23 (online), 30 marzo (online) ; 13, 20, 27 aprile; 4, 11, 18 maggio.

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

Ricevimento

Il ricevimento è per email (fiorentini@di.unimi.it), con eventuale supporto di applicazione per videoconferenza (Teams, Zoom, ecc.).
Si raccomando di usare il proprio indirizzo di posta di ateneo (della forma nome.cognome@studenti.unimi.it), di formulare in maniera chiara le proprie esigenze e di indicare il 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).

Regole in Fitch: (pdf). Le regole Ana Con, Taut Con e FO Con possono essere usate solo se ciò è permesso esplicitamente nel testo dell'esercizio.