**Old Course** |
**New Course** |

1.79.XXX |
T-79.XXX |

Tik-79.XXX |
T-79.XXX |

Tik-79.145 / 1.79.145 Logic in Computer Science:
Special Topics |
T-79.146
Logic in Computer Science: Special Topics I |

Tik-79.147 / 1.79.147 Introduction to Theoretical
Computer Science |
T-79.148
Introduction to Theoretical Computer Science |

Tik-79.151 / 1.79.151 Automata and Formal Languages |
— |

Tik-79.153 / 1.79.153 Algorithms and Computability |
T-79.240
Special Course in Computational Complexity |

Tik-79.163 Special Course on Combinatorial Algorithms |
— |

Tik-79.184 / 1.79.184 Parallel and Distributed
Computation |
T-79.185
Verification |

Tik-79.187 Reactive Systems |
T-79.186
Reactive Systems |

Tik-79.187 / 1.79.187 Tekoälyn perusteet |
— |

Tik-79.188 / 1.79.188 Tekoälyn
erityiskysymyksiä |
— |

Tik-79.198 / 1.79.198 Postgraduate Course in Digital
Systems |
T-79.300
Postgraduate Course in Theoretical Computer Science |

Tik-79.231
/ T-79.231 Parallel and Distributed Digital Systems |
T-79.179
Parallel and Distributed Digital Systems |

Tik-79.298 / T-79.298 Postgraduate Course in Digital
Systems Science |
T-79.300
Postgraduate Course in Theoretical Computer Science |

T-79.510 Seminar on Cryptography and Security Protocols |
T-79.513
Seminar on Cryptography and Security Protocols |

T-79.511 Special Course on Cryptology |
T-79.514
Special Course on Cryptology |

T-79.512 Cryptology: Special Topics |
T-79.515
Cryptology: Special Topics |