This course is discontinued

Schedule, syllabus and examination date

Choose semester

Course content

The course introduces logical calculi which are suitable for proof search. Sequent calculi for classical and intuitionistic logic, the tableau method and resolution are central. Fundamental concepts such as satisfiability, consistency, validity, soundness and completeness, and the relations between these, are covered.

Learning outcome

The aim of the course is to give the students a background in logic, which is sufficient for advanced studies in theoretical computer science, logic or automated deduction.


Students who are admitted to study programmes at UiO must each semester register which courses and exams they wish to sign up for in Studentweb.

If you are not already enrolled as a student at UiO, please see our information about admission requirements and procedures.


Formal prerequisite knowledge


Recommended previous knowledge

HUMIT1750 – Logikk og beregninger (discontinued)/SLI 110/INF 120 or similar. The course can be followed without this recommended prerequisite with some extra effort.

Overlapping courses

10 credits with INF3170 – Logic (continued) and 10 credits with IN 318/SLI 310.


2 hours of lectures and 2 hours of problem sessions per week. The students must hand in and pass obligatory tasks before they are admitted to take the exam.


Written or oral final exam.

Grading scale

Grades are awarded on a scale from A to F, where A is the best grade and F is a fail. Read more about the grading system.


Note that the first lecture is compulsory. The subject is regarded equal to IN318/SLI310 and INF3170 when practicing exam regulations.

Course Auditor: Lars Kristiansen

Facts about this course




Every spring


Every spring

Teaching language