Studyportals
M.Sc. On Campus

Logic

University of Bergen

24 months
Duration
Free
Free
Unknown
Tuition fee
Unknown
Apply date
Unknown
Start date

About

University of Bergen's Logic is a degree in theoretical computer science, which emphasizes the fundamental principles and methods underlying construction and analysis of complex software systems.

Overview

Key facts

The objective of University of Bergen's Logic is a degree 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.

Programme Structure

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.

Key information

Duration

  • Full-time
    • 24 months

Start dates & application deadlines

Credits

120 ECTS

Delivered

On Campus

Academic requirements

We are not aware of any academic requirements for this programme.

Other requirements

General requirements

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

Tuition Fee

To alway see correct tuition fees
  • International

    Free
    Tuition Fee
    Based on the tuition of 0 EUR per year during 24 months.
  • EU/EEA

    Free
    Tuition Fee
    Based on the tuition of 0 EUR per year during 24 months.

The semester fee is NOK 590

Living costs for Bergen

10362 - 16828 NOK /month
Living costs

The living costs include the total expenses per month, covering accommodation, public transportation, utilities (electricity, internet), books and groceries.

Funding

Studyportals Tip: Students can search online for independent or external scholarships that can help fund their studies. Check the scholarships to see whether you are eligible to apply. Many scholarships are either merit-based or needs-based.

Our partners

Logic
-
University of Bergen

Wishlist

Go to your profile page to get personalised recommendations!