Program Overview

Program Overview

The program in question is Diskrete strukturar, which translates to Discrete Structures. It is a course offered by the University of Bergen, specifically under the Faculty of Mathematics and Natural Sciences.

Course Description

The course covers basic set theory and logic, functions and relations, permutations and combinations, introduction to proof techniques including induction, simple algorithms including recursion and truth tables, graph terminology, and grammar for simple languages and finite automata.

Learning Outcomes

Upon completion of the course, students are expected to be able to:

• Perform simple formal reasoning in propositional and predicate logic, including the use of induction.
• Use elementary set theory to formulate simple problems in a mathematically precise way using functions and relations.
• Apply this knowledge at an elementary level within algorithms, number theory, probability, combinatorial problems, graphs, and formal languages.

Course Details

• Study Points: 10
• Teaching Semester: Spring
• Course Code: MNF130
• Number of Semesters: 1
• Language of Instruction: Norwegian. For Spring 2026, the course will be taught in English.
• Resources: Schedule, reading list

Admission Requirements

There are no specific prerequisites for this course, but students must have admission rights tied to the Faculty of Mathematics and Natural Sciences and meet any applicable admission requirements.

Assessment

The course uses a portfolio assessment consisting of assignments and a written school exam (3 hours). Both the assignments and the exam must be passed, as they test different parts of the learning outcomes. The weighting of the components will be announced on Mitt UiB at the start of the semester.

Grading Scale

The grading scale used is A-F.

Exam

There is an ordinary exam every semester. In semesters without teaching, the exam is held early in the semester.

Course Evaluation

Students are required to evaluate the teaching in accordance with the University of Bergen's and the department's quality assurance system.

Assistance During Exam

No assistance is allowed during the exam.

Reduction of Study Points

The course MNF130 reduces the study points for the following courses:

• IM005: 10 ECTS
• INFO102: 5 ECTS
• DASP130: 10 ECTS
• INFO104: 10 ECTS

Mandatory Teaching Activities

Approved mandatory assignments. Mandatory activities are valid for two semesters: the semester the activity is approved and the following semester.