Pensum/l?ringskrav

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

 

St?ttelitteratur

These are popular alternative textbooks. They contain additional material but are not required for this course.

 

Publisert 6. juli 2018 01:15 - Sist endret 6. juli 2018 01:20