zack's home page/ teaching/ 0708/ logica

Università di Bologna - Dipartimento di Scienze dell'Informazione

Logica Matematica - 2007/2008

  1. Logica Matematica - 2007/2008
    1. Lezioni
    2. Altri esercizi
    3. Testi d'esame
    4. Modalità d'esame

Lezioni

  1. esercitazione 07/04/2008 (formato PDF)
  2. esercitazione 29/04/2008 (formato PDF)
  3. esercitazione 13/05/2008 (formato PDF)

Altri esercizi

  1. Eserciziario a cura di Ugo Dal Lago (formato PDF)

Testi d'esame

  1. Esame 19/01/2009 (formato PDF)
  2. Esame 29/09/2008 (formato PDF)
  3. Esame 05/09/2008 (formato PDF)
  4. Esame 09/07/2008 con soluzione (formato PDF)
  5. Esame 12/06/2008 con soluzione (formato PDF)

Modalità d'esame

L'esame consiste in uno scritto comprendente 4-5 esercizi sullo stile di quelli proposti a lezione da svolgere in un'ora / un'ora e mezza. Gli elaborati verranno subito corretti e al termine della correzione, per coloro che sono risultati sufficienti, seguira' un orale obbligatorio. Le domande all'orale verteranno sulle procedure utilizzate nello scritto o meglio lo studente dovra' opportunamente giustificare perche' ha fatto determinate scelte, dimostrando quindi di conoscere anche la teoria alla base degli esercizi.