Laboratorio del corso di Logica

Anno accademico 2021/22

Turno B

Docente: Camillo Fiorentini

Orario delle lezioni

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

Per le informazioni sull'organizzazione del corso (suddivisione in turni, svolgimento lezioni, accesso al materiale online, esami, ecc.) fare riferimento alla pagina del corso di Logica (vedere anche gli avvisi pubblicati su Ariel).

Sono previste 11 lezioni:
8, 15, 22, 29 marzo.
5, 12, 26 aprile.
3, 10, 17, 24 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.

  • 3 maggio - Laboratorio 8
  • 10 maggio - Laboratorio 9
  • 17 maggio - Laboratorio 10
  • 24 maggio - Laboratorio 11