Theoretical Computer Science, 30 op
Opintokokonaisuuden tyyppi
Advanced Studies
Yhteyshenkilö
Tapio Elomaa, Antti Valmari
Osaamistavoitteet
| - | (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. |
Esitietovaatimukset
| Opintokokonaisuus | Opintopisteet | P/S |
| 25 op | Advisable | |
| 25 op | 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 )
Sisältö
Pakolliset opintojaksot
| Opintojakso | Opintopisteet | Vuosikurssi |
| MAT-72006 Advanced Algorithms and Data Structures | 7 op | IV |
| MAT-73006 Theoretical Computer Science | 7 op | IV |
| Yhteensä | 14 op |
Pakolliset vaihtoehtoiset opintojaksot
Must be selected at least 7 credits of courses
| Opintojakso | Opintopisteet | Vuosikurssi |
| MAT-72306 Randomized Algorithms | 4 op | IV |
| MAT-72606 Approximation Algorithms | 4 op | IV |
| MAT-74006 Concurrency Theory | 7 op | IV |
| MAT-74506 Model Checking and Petri Nets | 7 op | IV |
| MAT-75006 Artificial Intelligence | 7 op | IV |
Täydentävät opintojaksot
Should be completed to the minimum study module extent of 30 ETCS
| Opintojakso | Opintopisteet |
| MAT-60056 Algebra | 5 op |
| MAT-71806 Scientific Writing with LaTeX | 2 op |
| TIE-02500 Rinnakkaisuus | 5 op |
| TIE-20306 Principles of Programming Languages | 5 op |
| YHTTAY-60050 Algebra | 5 op |
| YHTTAY-62750 Johdatus graafiteoriaan | 5 op |
Lisätiedot
This module concentrates on the mathematical theory of computation and its application to the design of efficient and reliable sequential and concurrent programs.