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