draft new stuff for the logics course
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 17 Mar 2008 09:41:59 +0000 (10:41 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 17 Mar 2008 09:41:59 +0000 (10:41 +0100)
teaching.mdwn
teaching/0708/logica.mdwn [new file with mode: 0644]
teaching/0708/logica/eserciziario.pdf [new file with mode: 0644]

index 7bf13b0..73d63c9 100644 (file)
@@ -10,7 +10,7 @@ Bologna](http://www.unibo.it).
 # A.A. 2007/2008
 
 * [[Laboratorio_Metodi_di_Programmazione|0708/labprog]]
-* Logica Matematica
+* [[Logica_Matematica|0708/logica]] (A-L, M-Z)
 * [Logica Matematica](http://e-learning.sti.uniurb.it/acs/programs/contents.php?corso=logics)
 ([Universit√† di Urbino](http://www.uniurb.it), corso di laurea in [Informatica
 Applicata](http://www.sti.uniurb.it/info_appl_liv1/), [percorso
diff --git a/teaching/0708/logica.mdwn b/teaching/0708/logica.mdwn
new file mode 100644 (file)
index 0000000..38740e0
--- /dev/null
@@ -0,0 +1,11 @@
+[[template id=course_header course="Logica Matematica" year="2007/2008"]]
+
+## Lezioni
+
+1. [[Logica_proposizionale:_deduzione_naturale_e_metodi_di_risoluzione|esercitazione1.pdf]]
+   *18/03/2008* (formato PDF)
+
+## Altri esercizi
+
+1. [[Eserciziario|eserciziario.pdf]] a curo di Ugo Dal Lago (formato PDF)
+
diff --git a/teaching/0708/logica/eserciziario.pdf b/teaching/0708/logica/eserciziario.pdf
new file mode 100644 (file)
index 0000000..67d344d
Binary files /dev/null and b/teaching/0708/logica/eserciziario.pdf differ