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.
- 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.
- 24 months
Start dates & application deadlines
- Apply before , National
- Apply before , EEA/EU
DisciplinesPhysics Informatics & Information Sciences Computer Sciences View 18 other Masters in Physics in Norway
We are not aware of any academic requirements for this programme.
- 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.
InternationalFreeTuition FeeBased on the tuition of 0 EUR per year during 24 months.
EU/EEAFreeTuition FeeBased on the tuition of 0 EUR per year during 24 months.
The semester fee is NOK 590
Living costs for Bergen
The living costs include the total expenses per month, covering accommodation, public transportation, utilities (electricity, internet), books and groceries.
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.
Apply and win up to €10000 to cover your tuition fees.