Course content

The course introduces advanced techniques from logic for use in computer science, with emphasis on proof systems and formal semantics. Basic concepts such as satisfiability, consistency, validity, soundness and completeness, and the interrelations between these, are covered, with examples from applications of logic within computer science.

Learning outcome

Insight into logic as a base for studies in theoretical computer science. The course gives a starting point for further studies in logic with applications in computer science.

Admission

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.

Prerequisites

Formal prerequisite knowledge

In addition to fulfilling the Higher Education Entrance Qualification, applicants have to meet the following special admission requirements:

  • Mathematics R1 or Mathematics (S1+S2)

The special admission requirements may also be covered by equivalent studies from Norwegian upper secondary school or by other equivalent studies. Read more about special admission requirements (in Norwegian).

Recommended previous knowledge

INF2080 – Logikk og beregninger (continued)/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 INF4170 – Logic (discontinued)/IN 318/SLI 310

Teaching

4 hours of lectures and 2 hours of problem sessions per week. The students must hand in and pass mandatory assignments prior to the exam. The master's course has additional mandatory assignments compared with the bachelor's course. Rules for mandatory assignments.

Examination

Written (4 hour) or oral final exam (counts 100% of the grade). The form of the exam will be announced on the first lecture. One must pass all the mandatory assignments prior to the exam.

Examination support material

No examination support material is allowed.