Number of credits: 10.0
Course offered (semester)
Autumn.
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.
Pre-requirements
At least 60 ECTS in computer science, preferably including some mathematics.
Recommended previous knowledge
INF121 (Programming paradigms).
Subject Overlap
I220: 10 ECTS.
Compulsory Requirements
Exercises.
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.