INF220 / Program Specification

Number of credits: 10.0

Course offered (semester)

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

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

Subject Overlap
I220: 10 ECTS.

Compulsory Requirements


Compulsory assignments are valid two semesters, the semester of the approval and the following semester.

Assessment methods

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.

Grading Scale
The grading scale used is A to F. Grade A is the highest passing grade in the grading scale, grade F is a fail.

Contact Information
The study consultants at the department.