Study plan for MAMN-INFLO Logic, spring 2022

Name of qualification

Master of Science in informatics - logic

ECTS Credits

Two years of full-time study, where the normal workload for a full-time student is 60 credits for one academic year.



Language of Instruction



Autumn (standard), Spring (extraordinary)

Objectives and content

It is a degree in theoretical computer science, which emphasizes the fundamental principles and methods underlying construction and analysis of complex software systems.

The objective is to educate candidates with knowledge of mathematical models underlying modern programming languages, tools and systems.

Required Learning Outcomes


The candidate

  • knows mathematical methods used for defining, analyzing and developing modern programming languages as well as programming and modelling tools.
  • is able to apply logic and mathematical models to formalize various aspects of programs and development process.


The candidate

  • can use mathematical tools, including logic and category theory, for defining and solving specific problems, e.g., related to modelling, correctness and reliability of software
  • knows strengths and limitations of different logics and mathematical models
  • can understand language used in systems for automated theorem proving and can utilize such systems.

General competence

The candidate

  • has acquired ability for independent work and self-development
  • can apply acquired knowledge and methods in new contexts
  • understands scientific values like openness, precision, reliability and the difference between knowledge and opinion.

Admission Requirements

The master programme builds on a Bachelor degree from the Department of Informatics, or a Bachelor degree and at least 80 ECTS of Mathematics and Informatics/Computer science.

Bachelor degrees from UiB that qualify: 

  • Bachelor degree from Department of Informatics, UiB (BAMN-BINF, BAMN-DSCI, BAMN-DSIK, BAMN-DTEK, BAMN-DVIT, BATF-IMØ, BAMN-INF)
  • Bachelor degree in Information and Communication Technology (IKT) with at least 20 ECTS of elective Mathematics (from autumn 2022 MAT101 will no longer count)
  • Bachelor degree in Cognitive Science with specialization in Informatics

Bachelor degrees that qualify

  • Bachelor degree in Computing from HVL (Western Norway University of Applied Sciences)
  • Bachelor degree in Information Technology from HVL
  • Bachelor degree in Communication Systems from HVL
  • Other bachelor degrees might qualify if you have at least 80 ECTS of Mathematics and Informatics/Computer science, of these 80 ECTS, at least 40 ECTS must be in Informatics/Computer science, and at least 20 ECTS must be in Mathematics. From autumn 2022 MAT101 and equivalent will no longer count. If both INF100 and INF109 are part of the Bachelor degree, the applicant will only get credit for INF100. One course in Statistics can count towards the Mathematics. MNF130 (and Discret Mathematics in general) counts towards Informatics.

For international self-financing applicants:

The Master Programme is not available for international applicants residing outside of the Nordic countries, the European Union/EEA and Switzerland.

You also need to document:

Recommended previous knowledge

See admission requirements

Compulsory units

The master's programme consists of two components: Coursework of 60 credits and an individual research project (master's thesis) of 60 credits.

Courses: The courses INF234, INF223 and INF227 are compulsory. In addition, there are 30 credits of elective courses, chosen in agreement with the supervisor.

2. semester INF223 INF227

1. semester INF234

Master's thesis in logic counts 60 credits. The Master's thesis must be submitted within a deadline at the end of the fourth semester, 20 November or 1 June.

Recommended electives

30 course credits in the Master's programme are elective and have to be chosen in agreement with the supervisor, preferably among the courses: INF210, INF220, INFO382, INFO282, MAT242, MAT220, MAT221, MAT227

Sequential Requirements, courses

The recommended sequence of the courses in the programme can be found under the heading ¿Compulsory units¿.

Study period abroad

You can plan study periods abroad in consultation with your supervisor as a part of the master agreement.

Teaching and learning methods

A combination of teaching and learning methods is used in the various courses, including lectures, hands-on laboratory and workshops. You may find more information in the course description.

The Master's thesis is an independently scientific work, under supervision of an academic supervisor.

Assessment methods

The assessment methods in the courses are reports, written and oral examination. The assessment methods for each course are described in the course description.

The final step in the programme is an oral examination. The examination is held when the master's thesis is submitted, evaluated and approved.

Grading scale

At UiB the grades are given in one of two possible grading scales: passed/failed and A to F.

The master¿s thesis will be graded A to F.

The grading scale for each course is given in the course description.

Diploma and Diploma supplement

The Diploma, in Norwegian, and the Diploma Supplement, in English, will be issued when the degree is completed.

Access to further studies

To be eligible for admission to the Doctoral education (PhD) the candidate must have completed a master¿s degree.

To qualify for the Doctoral education (PhD) at UiB the average grade for the master's thesis, the Master's degree and the bachelor's degree should be at least C.

In order to get enrolled you have to be granted a fellowship for doctoral training.


The importance of information and communication technology makes our candidates extremely attractive for all kinds of buisness activity, administration and, in particular, maintenance and development of IT-systems. The programme prepares also well for a possible work in research and education.


The programme will be evaluated according to the quality assurance system of the University of Bergen.

Programme committee

The programme committee is responsible for the academic content, the structure and the quality of the programme.

Administrative responsibility

The Faculty of Mathematics and Natural Sciences by the Department of Informatics, holds the administrative responsibility for the programme.

Contact information

Please contact the academic adviser for the programme if you have any questions:

Student adviser

Phone: + 47 55 58 42 00