up to date e typo fixing
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Mar 2008 09:15:18 +0000 (10:15 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Mar 2008 09:15:18 +0000 (10:15 +0100)
teaching/0708/logica.mdwn
teaching/0708/logica/esercitazione1.pdf [new file with mode: 0644]

index 38740e0..dae04b9 100644 (file)
@@ -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