Added README

LucaCappelletti94 · Feb 13, 2021 · bc15d69 · bc15d69
1 parent 1f6107a
commit bc15d69
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/Unimi/Logica Matematica/README.md b/Unimi/Logica Matematica/README.md
@@ -0,0 +1,21 @@
+Logica Matematica 
+=================
+Appunti del corso di Logica Matematica tenuto dal Prof. Stefano 
+Aguzzoli durante l'A.A. 2020/2021. 
+
+Disclaimer
+----------
+Queste note non sono in alcun modo approvate dal Professore di riferimento. 
+
+Contenuti
+---------
+* Logica Proposizionale 
+  - Introduzione alla Logica Proposizionale 
+  - Sintassi della Logica Proposizionale
+  - Semantica della Logica Proposizionale 
+  - Complessità Computazionale e Deduzione Automatica 
+* Logica dei Predicati
+  - Introduzione e Sintassi 
+  - Semantica della Logica dei Predicati 
+  - Risoluzione Automatica
+