Schedule, syllabus and examination date

Choose semester

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 INF4171 – Logic 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. 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 at the first lecture. One must pass all the mandatory assignments prior to the exam. 

Examination support material

No examination support material is allowed.

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.

The Course Auditor is Lars Kristiansen.

Explanations and appeals

Resit an examination

Students who can document a valid reason for absence from the regular examination are offered a postponed examination at the beginning of the next semester.

Re-scheduled examinations are not offered to students who withdraw during, or did not pass the original examination.

Withdrawal from an examination

It is possible to take the exam up to 3 times. If you withdraw from the exam after the deadline or during the exam, this will be counted as an examination attempt.

It will also be counted as one of your three attempts to sit the exam for this course, if you sit the exam for one of the following courses: IN318/SLI310 and INF4170

Other

It is strongly recommended to attend the first lecture since it will be given important information.

Facts about this course

Credits

10

Level

Bachelor

Teaching

Every autumn

The course will only be held with 10 students or more.

Examination

Every autumn

Teaching language

Norwegian