Stefano Aguzzoli

• Home
• Publications
• Curriculum Vitae
• Didattica (in Italian)

• Testo e Software

  • Dave Barker-Plummer, Jon Barwise, John Etchemendy: Language, Proof and Logic, 2nd Edition. CSLI Publications, 2011.
  • Con il testo si ottiene la versione licenziata del software didattico utilizzato durante le esercitazioni (e durante la prova d'esame).

• Avviso

  • Per scaricare le slides e il materiale protetto da password, inviare una mail dal proprio indirizzo @studenti.unimi.it per richiedere username e password.

• Avviso

  • Dopo martedì 16 aprile il Turno A di laboratorio si fonderà con gli altri turni. Gli studenti possono scegliere liberamente il turno in cui continuare le esercitazioni fra Turno B e Turno C .

• Archivio temi d'esame

  • 12 giugno 2017:
    Scritto, Laboratorio.
  • 29 giugno 2017:
    Scritto, Laboratorio.
  • 13 luglio 2017:
    Scritto, Laboratorio.
  • 21 settembre 2017:
    Scritto, Laboratorio.
  • 26 gennaio 2018:
    Scritto, Laboratorio.
  • 13 febbraio 2018:
    Scritto, Laboratorio.
  • 14 giugno 2018:
    Scritto, Laboratorio.
  • 28 giugno 2018:
    Scritto, Laboratorio.
  • 25 luglio 2018:
    Scritto, Laboratorio.
  • 13 giugno 2019:
    Scritto, Laboratorio.

• Avviso

  • Appello del 20 settembre 2024 Ecco gli esiti dello scritto del 20 settembre 2024.
    
    I dettagli sul calendario degli orali saranno comunicati agli studenti in tempo utile.
    
    Chi vuole visionare la correzione della propria prova si presenti lunedì 30 settembre, alle 11:30, presso l'ufficio del docente (stanza 4010).
    
    Entro sabato 28 settembre gli interessati mi devono mandare una mail dall'indirizzo studenti.unimi.it, specificando se:
    
    1) vogliono sostenere l'orale per alzare il voto (NB: in caso di orale insoddisfacente, il voto potrà essere abbassato) (NB: gli studenti asteriscati per raggiungere la sufficienza devono sostenere l'orale);
    
    2) vogliono verbalizzare il voto dello scritto;
    
    3) vogliono rifiutare il voto senza fare l'orale.