Home
University of Bergen
Education
Specialisation

Logic

  • Years2 Years
  • ECTS credits120

Main content

Introduction

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.

Programme profile

Logic at the Department of Informatics is part of the research group Programming Theory (PUT). Traditionally, logic is the study of reasoning, and one can pursue study of pure logic in this programme. As part of Programming Theory, it is also natural to consider reasoning about programs, with special focus on correctness, broadly understood, as distinct from algorithmic efficiency. This can involve typing systems, functional paradigm, category theory, reasoning about data bases, or many other aspects of logic in computer science.

What you Learn

Learning Outcomes

Knowledge

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.

Skills

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.

Study Period Abroad

Study period abroad

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

How to Apply

Admission Requirements

This programme is avalible for citizens from within the European Union/EEA/EFTA.

Follow these links to find the general entry requirements and guidelines on how to apply:

Semester

Autumn (standard), Spring (extraordinary)

Admission Requirements

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

Bachelor's degrees from UiB that qualify:

  • Bachelor's degree from Department of Informatics, UiB (BAMN-BINF, BAMN-DSIK, BAMN-DTEK, BAMN-DVIT, BATF-IMØ, BAMN-INF)
  • Bachelor's degree in Information and Communication Technology (IKT) with at least 20 ECTS of elective Mathematics (from autumn 2022 MAT101 will no longer count)
  • Bachelor's degree in Cognitive Science with specialization in Informatics
  • Bachelor's degree in Artificial Intelligence (BASV-AIKI) qualifies, if you have at least 80 ECTS of Mathematics and Informatics/Computer Science. Out of these 80 ECTS, at least 40 ECTS must be in Informatics/Computer science, and at least 20 ECTS must be in Mathematics. One course in Statistics can count towards Mathematics except STAT100). MAT101 and equivalent does not count as mathematics. MNF130 and equivalent counts as Informatics. INF-courses and INFO-courses with credit reduction towards INF-courses count as informatics.

Bachelor's degrees that qualify

  • Bachelor's degree in Computing from HVL (Western Norway University of Applied Sciences)
  • Bachelor's degree in Information Technology from HVL
  • Bachelor's degree in Communication Systems from HVL
  • Other bachelor's 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's degree, the applicant will only get credit for INF100. One course in Statistics can count towards the Mathematics (except STAT100). MNF130 (and Discret Mathematics in general) counts towards Informatics.

For international self-financing applicants:

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

You also need to document:

More information

About the programme

See full study plan