INF3200 – Algorithms and efficiency

Schedule, syllabus and examination date

Choose semester

Course content

Algorithm theory as a model of practical computing. Turing machine, formal languages, computability, complexity algorithm design techniques, cryptography, expressiveness of programming languages, relationships between logic and complexity.

Learning outcome

To give a foundation for a systematic (academic) understanding of practical computing. To give a systematic overview of basic issues that arises in work with algorithms. To teach the main elements of algorithm theory. To teach the most relevant theoretical tools and techniques.


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 minimum requirements for entrance to higher education in Norway, you must either have 2MX/2MY/3MZ from Norwegian upper secondary school, or have completed equivalent studies in mathematics at upper secondary school or university level at another educational institution. Read more about fulfilling special requirements.

Recommended previous knowledge

INF1020 – Algorithms and data structures (discontinued) /INF 110

Overlapping courses

10 credits with INF4200 – Algorithms and efficiency (discontinued), 9 credits with IN 210 or 3 credits with IN 216


2 hours of lectures and 2 hours of problem solving sessions per week. Submission of compulsory exercises is required.


A three-hour written exam. Graded marks.


Note that the first lecture is compulsory. The subject is regarded equal to IN210 and INF4200 when practicing exam regulations.

Course Auditor: Yngve Lindsjørn

Facts about this course




This course was taught for the last time autumn 2004.


This course was taught for the last time autumn 2004.

Teaching language

Norwegian (English on request)