up to date e typo fixing

diff --git a/teaching/0708/logica.mdwn b/teaching/0708/logica.mdwn
index 38740e0..dae04b9 100644 (file)
--- a/teaching/0708/logica.mdwn
+++ b/teaching/0708/logica.mdwn
@@ -3,9 +3,9 @@
 ## Lezioni
 
 1. [[Logica_proposizionale:_deduzione_naturale_e_metodi_di_risoluzione|esercitazione1.pdf]]
-   *18/03/2008* (formato PDF)
+   *25/03/2008* (formato PDF)
 
 ## Altri esercizi
 
-1. [[Eserciziario|eserciziario.pdf]] a curo di Ugo Dal Lago (formato PDF)
+1. [[Eserciziario|eserciziario.pdf]] a cura di Ugo Dal Lago (formato PDF)
 

diff --git a/teaching/0708/logica/esercitazione1.pdf b/teaching/0708/logica/esercitazione1.pdf
new file mode 100644 (file)
index 0000000..709abf0
Binary files /dev/null and b/teaching/0708/logica/esercitazione1.pdf differ