Corso di Logica 2009

scrivetemi via email se volete ricevere i lucidi delle lezioni 2009

1. Esercitazione

2. Esercitazione


3. Esercitazione-Precompitino + Calcoli intuizionista e classico proposizionali

4. Esercitazione + Calcoli intuizionista e classico predicativi



5. Esercitazione + Calcoli intuizionista e classico predicativi con regole derivate uguaglianza


6. Esercitazione


Calcoli da usare negli appelli


I appello 2009 + correzione

II appello 2009 + correzione

III appello 2009 + correzione

IV appello 2009 + correzione

V appello 2009



I appello 2008 + correzione


Risultati I compitino (2 pagine !)
Voti finali I appello (2 pagine !)
Voti finali II appello

Voti finali III appello

Voti finali IV appello

Voti finali V appello


Programma corso di Logica 2009


Materiale corso 2008