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

Language

English
IELTS admission requirements IELTS The International English Language Test System (IELTS) tests your English-language proficiency on a scale of 1 – 9. The score refers to the combined average score of 4 subjects (writing, listening, speaking, and reading).
6.5
Start practicing IELTS today!
PTE Academic admission requirements PTE Academic PTE Academic (Pearson Test of English Academic) is a language test that enables students to demonstrate their writing, listening, speaking, and reading skills when applying to study in English. The score refers to a total score which ranges between 10 and 90.
62
More about PTE Academic
TOEFL admission requirements TOEFL® IBT The TOEFL iBT® is given online through the internet at designated testing site. The test measures your English-language abilities in an academic setting. The score refers to the total score of 4 subjects (writing, listening, speaking, and reading), each subject has a range of 0 - 30.
90

Credits

120 ECTS

Delivered

On Campus

Academic requirements

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

English requirements

IELTS admission requirements IELTS The International English Language Test System (IELTS) tests your English-language proficiency on a scale of 1 – 9. The score refers to the combined average score of 4 subjects (writing, listening, speaking, and reading).
6.5
Start practicing IELTS today!
PTE Academic admission requirements PTE Academic PTE Academic (Pearson Test of English Academic) is a language test that enables students to demonstrate their writing, listening, speaking, and reading skills when applying to study in English. The score refers to a total score which ranges between 10 and 90.
62
More about PTE Academic
TOEFL admission requirements TOEFL® IBT The TOEFL iBT® is given online through the internet at designated testing site. The test measures your English-language abilities in an academic setting. The score refers to the total score of 4 subjects (writing, listening, speaking, and reading), each subject has a range of 0 - 30.
90

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.

Fresh content

Updated in the last 3 months

Check the official programme website for potential updates.

Our partners

Logic
-
University of Bergen

Wishlist

Go to your profile page to get personalised recommendations!