4.1 (31) Read 22 reviews
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 profileLogic 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
- Starting
- Apply before , National
- Apply before , EEA/EU
-
Language
English
IELTS 6.5
PTE Academic 62
TOEFL® IBT 90
Credits
120 ECTS
Delivered
On Campus
Disciplines
Physics Informatics & Information Technology Computer Sciences View 21 other Masters in Physics in NorwayAcademic requirements
We are not aware of any specific GRE, GMAT or GPA grading score requirements for this programme.
English requirements
IELTS 6.5
PTE Academic 62
TOEFL® IBT 90
Student insurance
Make sure to cover your health, travel, and stay while studying abroad. Even global coverages can miss important items, so make sure your student insurance ticks all the following:
- Additional medical costs (i.e. dental)
- Repatriation, if something happens to you or your family
- Liability
- Home contents and baggage
- Accidents
- Legal aid
We partnered with Aon to provide you with the best affordable student insurance, for a carefree experience away from home.
Get your student insurance nowStarting from €0.53/day, free cancellation any time.
Remember, countries and universities may have specific insurance requirements. To learn more about how student insurance work at University of Bergen and/or in Norway, please visit Student Insurance Portal.
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 always see correct tuition fees
-
EU/EEA
FreeTuition FeeBased on the tuition of 0 USD per year during 24 months.
The semester fee is NOK 590. The Programme is not offered to applicants from outside the European Union/EEA and Switzerland.
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.
In order for us to give you accurate scholarship information, we ask that you please confirm a few details and create an account with us.
Loading
Scholarships Information
Below you will find Master's scholarship opportunities for Logic.
Available Scholarships
You are eligible to apply for these scholarships but a selection process will still be applied by the provider.
226 countries / Need-based
Grants of the Leopold Figl Foundation for students with residence in Lower Austria
Various benefits
Grant
31 Oct 2022
Deadline
226 countries / Merit-based
Finduddannelse Sustainability Scholarship
Various benefits
Grant
22 Sep 2022
Deadline
225 countries / Merit-based
Education Future International Scholarship
200000 INR
Grant
Not specified
Deadline
Norway
Scholarship Scheme set up with UiT, The Arctic University of Norway
2500 EUR
Grant
19 Jun 2023
Deadline
Worldwide
Spreadsheet Gladiator Scholarship
1500 USD
Grant
30 Jul 2023
Deadline
226 countries
BeArt-Presets Academic Scholarship Program
5000 USD
Grant
01 Apr 2023
Deadline
226 countries
Fulbright U.S. Student Program, 2022
Various benefits
Grant
11 Oct 2022
Deadline
225 countries / Merit-based
Higher Education Scholarship Test for Indian students
100000 INR
Grant
30 Oct 2022
Deadline
50 countries / Merit-based
Study a Masters in Europe Scholarships
Various benefits
Grant
16 May 2022
Deadline
226 countries
ServiceScape Scholarship
1000 USD
Grant
30 Nov 2022
Deadline
Norway
Scholarship Scheme set up with the Norwegian University of Science and Technology (NTNU).
2500 EUR
Grant
Not specified
Deadline
226 countries
ACES Scholarships
3500 USD
Grant
15 Nov 2022
Deadline
Worldwide / Merit-based
Pinsky Law New Venture Development Scholarship
Various benefits
Grant
30 Dec 2023
Deadline
Worldwide
Study abroad Scholarship - Collect
10000 SEK
Grant
31 May 2023
Deadline
Worldwide / Merit-based
iVisa Annual Scholarship
1500 USD
Grant
14 May 2023
Deadline
Worldwide
IMSOGLO Consortium Scholarship
2000 EUR
Grant
30 May 2023
Deadline
Worldwide
The Annual IELTS from 6 to 9 Scholarship
1500 USD
Grant
30 Mar 2023
Deadline
Worldwide
Anonymous Hope Fund
3000 USD
Grant
Not specified
Deadline
Worldwide
Erasmus Mundus Joint Masters scholarships
8000 EUR
Grant
Not specified
Deadline
Improve page content