Number of credits: 10.0
Course offered (semester)
Exam will be offered every semester.
Language of Instruction
Normally Nowegian, but will be offered in English on request.
Aim and Content
The course includes algebraic specification of programs, equational logic and basic of universal algebra.
The course will give an introduction to algebraic specifications of software.
At least 60 ECTS in computer science, preferably including some mathematics.
Recommended previous knowledge
INF121 (Programming paradigms).
I220: 10 ECTS.
Compulsory assignments are valid two semesters, the semester of the approval and the following semester.
Written exam. It is opportunity for grades on exercises, which can be included in the final grade. If less than 20 students are taking the course, it can be oral exam.
No aids allowed.
The grading scale used is A to F. Grade A is the highest passing grade in the grading scale, grade F is a fail.
The study consultants at the department.