Syllabus
This course will be given in English. It will mainly be based on the following textbook
- Mordechai Ben-Ari: Mathematical Logic for Computer Science, Springer, 3rd edition, 2012
which can be downloaded for free (if accessed from within the UiO network) at Springer's website at http://www.springer.com/gp/book/9781447141280.
For some lectures additional material will be provided.
Pensum
| Tema | L?rebokkapittel / Forelesningsnotater |
|---|---|
| Propositional Logic | Ben-Ari Chap. 2.1-2.5 |
| Natural Deduction | Ben-Ari Chap. 3.1, 3.3, 3.4, 3.9 |
| Sequent Calculus | Ben-Ari Chap. 3.2, 3.9 |
| First-Order Logic (FOL) | Ben-Ari Chap. 7.1-7.4, 9.1 |
| Natural Deduction (FOL), Sequent Calculus (FOL) | Ben-Ari Chap. 8.1, 8.2 |
| Normal Form Translations, Skolemization | Ben-Ari Chap. 4.1-4.2, 9.2-9.4 |
| DPLL | Ben-Ari Chap. 6 |
| Resolution, Unification | Ben-Ari Chap. 4.3, 10 |
| Prolog | Ben-Ari Chap. 11 |
| Tableau Calculus | Ben-Ari Chap. 2.6-2.7, 7.5-7.6 |
| Connection Calculus | Matings in Matrices [Bibel 1983], leanCoP: Lean Connection-based Theorem Proving [Otten & Bibel 2003], Restricting Backtracking in Connection Calculi [Otten 2010] |
|
Intuitionistic Logic |
Nerode & Shore Chap. V.1-3 |
|
Modal Logic |
Nerode & Shore Chap. IV.1-3 |
| Description Logics |
Pensumartikkel for INF4171
Students of INF4171 are required to hand in an additional assignment. Details will be provided at a later stage.
L?rebok
- Mordechai Ben-Ari: Mathematical Logic for Computer Science, 3rd edition, Springer, 2012. (download for free at http://www.springer.com/gp/book/9781447141280)
St?ttelitteratur
These are popular alternative textbooks. They contain additional material but are not required for this course.
- Anil Nerode, Richard A. Shore: Logic for Applications, Springer, 2nd edition, 1997. (http://www.springer.com/gp/book/9780387948935)
- Melvin Fitting: First-Order Logic and Automated Theorem Proving, Springer, 2nd edition, 1996. (http://www.springer.com/gp/book/9781461275152)
- Jean H. Gallier: Logic for Computer Science: Foundations of Automatic Theorem Proving, Dover, 2nd edition, 2015. (http://store.doverpublications.com/0486780821.html)