Computability - University of Gothenburg Till startsida
To content Read more about how we use cookies on


Master's level | 7.5 credits | Course code: DIT312
Autumn 2020
50% Day
Period: 2 November 2020 - 17 January 2021
2) Only EU/EEA citizens and students with approved residence permit in Sweden can apply

About the Course

This course is about the concept of "computation": how it can be modelled, and what its limits are. To avoid unnecessary complexity one often chooses to study computation via simplified, but powerful, models. These models can for instance be simple programming languages (like the -calculus), or idealised computers (like Turing machines). In the course several such models will be studied, both "imperative" and "functional".

One or more models will be used to explore the limits of computation: problems that cannot be solved (within the confines of a given model), and programs that can run arbitrary programs (modelled in a certain way).

The course also includes a discussion of the Church-Turing thesis, a hypothesis which states, roughly, that a function is computable in a certain intuitive sense only if it can be defined within one of several models of computation.

More Information

Show more

Course Syllabus


Requirements and Selection

Requirements: To be eligible to the course, the student should have successfully completed 120 credits of studies in Computer Science or equivalent. Specifically, the following courses are required, or equivalent:
- 7.5 credits in discrete mathematics (e.g., DIT980 Discrete Mathematics for Computer Scientists)
- 7.5 credits in functional programming (e.g., DIT143 Functional Programming or DIT440 Introduction to Functional Programming) Applicants must prove knowledge of English: English 6/English B or the equivalent level of an internationally recognized test, for example TOEFL, IELTS.

Selection: Selection is based upon the number of credits from previous university studies, maximum 225 credits.

Tuition Fee

Application fee: 900 SEK
Full course cost: 17 875 SEK
First payment: 17 875 SEK

EU/EEA citizens, Swedish residence permit holders and exchange students do not pay fees. More information on:

Study Guidance



Department of Computer Science and Engineering
41296 Göteborg

Visiting address: Rännvägen 6 B

Page Manager: Pontus Sundén
Last update: 2/18/2020 2:41 PM

Tell a friend about this page
Print version

Page Manager: Pontus Sundén|Last update: 10/16/2018

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?