Programma corso di Logica 2008
Risultati appelli 2008 e correzioni
Risultati I appello e compitini versione V versione Z
versione Z Correzione I appello:pgg. 1 2 e 3 4 5 6 7 8 9 10 11 12
Risultati II appello versione V
correzione II appello
Risultati III appello versione V
Correzione III appello
Risultati IV appello versione V
Correzione IV appello
Calcoli ed esercitazioni 2008:
A poetic proof of the undecidability of the halting problem by Geoffrey K. Pullum
Calcoli dei sequenti per logica intuizionista e classica proposizionale
Calcolo veloce per logica classica proposizionale
Calcoli dei sequenti per logica intuizionista e classica (predicativa)
Regole derivate per abbreviare le derivazioni
Calcoli dei sequenti con uguaglianza
Differenze tra LI e LC: pag.0 pag.1 pag.2 pag.3
Esercizio 1 di formalizzazione e soluzione
Esercizio 2 di formalizzazione e soluzione
Esercitazione 24/4
Esercitazione 30/5
Esercitazione 8-9/5 con qualche esercizio in piu'
Esercitazione 16/5
Esercitazione 20/5
I compitino S 23/5
Esercitazione 5-6/6
Esercizi di formalizzazione su quantificatori: ex1 sol1 ex2 ex3 sol2-3 ex4 sol4 sol4