Theoretical Computer Science, 30 cr
Type of the study module
Advanced Studies
Contact
Tapio Elomaa, Antti Valmari
Learning Outcomes
| - | (S)he has a good background for postgraduate studies on theoretical computer science and its applications. |
| - | The student knows basic results in advanced algorithms and theoretical computer science. |
Prerequisites
| Study block | Credit points | Mandatory/Advisable |
| 25 cr | Advisable | |
| 25 cr | Advisable |
The student must have basic knowledge on programming, algorithms and data structures, and algorithm mathematics. For instance, the following courses suffice: MAT-02650 Algoritmimatematiikka and either TIE-20106 Data Structures and Algorithms or MAT-71000 Tieto ja laskenta. ( Mandatory )
Content
Compulsory courses
| Course | Credit points | Class |
| MAT-72006 Advanced Algorithms and Data Structures | 7 cr | IV |
| MAT-73006 Theoretical Computer Science | 7 cr | IV |
| Total | 14 cr |
Optional Compulsory Courses
Must be selected at least 7 credits of courses
| Course | Credit points | Class |
| MAT-72306 Randomized Algorithms | 4 cr | IV |
| MAT-72606 Approximation Algorithms | 4 cr | IV |
| MAT-74006 Concurrency Theory | 7 cr | IV |
| MAT-74506 Model Checking and Petri Nets | 7 cr | IV |
| MAT-75006 Artificial Intelligence | 7 cr | IV |
Complementary Courses
Should be completed to the minimum study module extent of 30 ETCS
| Course | Credit points |
| MAT-60056 Algebra | 5 cr |
| MAT-71806 Scientific Writing with LaTeX | 2 cr |
| TIE-02500 Rinnakkaisuus | 5 cr |
| TIE-20306 Principles of Programming Languages | 5 cr |
| YHTTAY-60050 Algebra | 5 cr |
| YHTTAY-62750 Johdatus graafiteoriaan | 5 cr |
Additional information
This module concentrates on the mathematical theory of computation and its application to the design of efficient and reliable sequential and concurrent programs.