IN2080 – Computability and Complexity
Schedule, syllabus and examination date
In this course you will learn about the relationships between different calculation models, formal languages, their limitations and complexity.
After finishing IN2080, you'll:
- understand the calculation models: final vending machines, pushdown vending machines and turing machines
- be able to explain the connection between the machines/turing machines and the different language classes and translate between equivalent models
- be able to explain the limitations of language and model classes
- be able to provide a formal definition for important terms, such as "algorithm"
- understand the complexity classes L, NL, P, NP and PSPACE
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).
The course presuppose IN1150 – Logical Methods/INF1080 – Logical Methods for Computer Science (continued)
5 credits overlap with INF2080 – Logikk og beregninger (continued)
4 hours of lectures and 2 hours of group execises each week. The submission of mandatory assignments is compulsory. Read more about requirements for assignment of assignments, group work and legal cooperation under guidelines for mandatory assignments.
4 hours final written digital exam. All mandatory assignments must be passed to be allowed to take the exam.
Examination support material
No examination support material is allowed.
Language of examination
You may write your examination paper in Norwegian, Swedish, Danish or English.
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
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.
Special examination arrangements
Application form, deadline and requirements for special examination arrangements.