Laboratorio del corso di Logica

Anno accademico 2016/2017

Turno A (cognomi A-E)

Docente: Camillo Fiorentini

Suddivisione in turni

Il laboratorio del corso di logica è suddiviso in tre turni in base alle iniziali del cognome:

Date appelli

lun. 12 giugno, giov. 29 giugno, giov. 13 luglio, giov. 21 settembre, giov. 25 gennaio 2018.
Le informazioni sugli esami (orari, esiti, ecc.) sono pubblicate sulla pagina del corso di Logica.

Orario delle lezioni

Martedì, 13.30-16.30, laboratorio sigma, via Comelico 39.
Sono previste 11 lezioni (7,14,21,28 marzo; 4,11 aprile; 2,9,16,23,30 maggio). Eventuali variazioni saranno comunicate in questa pagina.

Ricevimento

Nel mio ufficio, via Comelico 39 (ufficio S.202 al secondo piano, corridoio sopra l'ingresso del Dipartimento) 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).

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.