INF1080 – Logical Methods for Computer Science

Schedule, syllabus and examination date

Course content

Fundamental mathematical and logical methods. The emphasis is on understanding and getting accustomed to mathematical concepts and notation that is relevant for a study in informatics. Subjects taught are logic (propositional logic and predicate logic), formalization, proof methods, set theory, relation and function theory, inductively defined structures, proof by induction, combinatorics, graphs and trees, automata and regular expressions.

Learning outcome

Think clearly and logical and solve simple mathematical problems,
carry out and understand mathematical reasoning and proofs, understand fundamental terminology and notation, and some basic results in theoretical computer science.


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

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).


2 hours of lectures and 2 hours of tuition each week. Several mandatory problems must be completed during the course. Rules for mandatory assignments.

Access to teaching

A student who has completed compulsory instruction and coursework and has had these approved, is not entitled to repeat that instruction and coursework. A student who has been admitted to a course, but who has not completed compulsory instruction and coursework or had these approved, is entitled to repeat that instruction and coursework, depending on available capacity.


This course has a 4 hours written digital examination which counts for 100% of the grade. Mandatory assignments must be approved prior 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.

Explanations and appeals

Resit an examination

This course offers both postponed and resit of examination. Read more:

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.

Special examination arrangements

Application form, deadline and requirements for special examination arrangements.


The first lecture is mandatory.

Facts about this course

Every autumn

This course was taught for the last time autumn 2016.

Every autumn

Exams can be retaken for those who have mandatory assignments approved in the course. These exams will be available during autumn 2017 and 2018.

Teaching language