TCS / Studies / Old Courses
Helsinki University of Technology, Department of Information and Computer Science
 

Note: These pages of the former Laboratory for Theoretical Computer Science are no longer maintained.
Studies at the Department of Information and Computer Science

List of old T-79/Tik-79 courses given by the former Laboratory of Theoretical Computer Science

Below each old course is listed with the most relevant new course. Usually, the substitution is on a bijective basis: a course can be substituted for by taking one other course, and each course can be used to substitute at most other course. For details, see the instructions (in Finnish) by the department.

Changes after the 2005 study structure

Extinct course
 Substitute course
T-79.5401 Special Course in Mobility Management T-79.7003 Research course in theoretical computer science

Changes in conjunction with the 2005 study structure

Old course
 New course
T-79.148 Introduction to Theoretical Computer Science T-79.7003 Research course in theoretical computer science
T-79.189 Student Project in Theoretical Computer Science T-79.5001 Student Project in Theoretical Computer Science
T-79.154 Logic in Computer Science: Special Topics II T-79.5102 Special Course in Computational Logic
T-79.230 Foundations of Agent-Based Computing T-79.5102 Special Course in Computational Logic
T-79.240 Special Course in Computational Complexity T-79.5103 Computational Complexity Theory
T-79.149 Discrete Structures T-79.5201 Discrete Structures
T-79.185 Verification T-79.5302 Symbolic Model Checking
T-79.193 Formal Description Techniques for Concurrent Systems T-79.5302 Symbolic Model Checking
T-79.190 Testing of Concurrent Systems T-79.5304 Formal Conformance Testing
T-79.157 Formal Description and Verification of Computing Systems T-79.5305 Formal Methods
T-79.503 Foundations of Cryptology T-79.5501 Cryptology
T-79.300 Postgraduate Course in Theoretical Computer Science T-79.7001 Postgraduate Course in Theoretical Computer Science
T-79.295 Individual Studies T-79.7002 Individual Studies
T-79.144 Logic in Computer Science: Foundations. T-79.3001 Logic in Computer Science: Foundations
T-79.192 Special Course in Theoretical Computer Science T-79.4001 Seminar on Theoretical Computer Science
T-79.194 Seminar on Theoretical Computer Science T-79.4001 Seminar on Theoretical Computer Science
T-79.179 Parallel and Distributed Digital Systems T-79.4301 Parallel and Distributed Systems
T-79.231 Parallel and Distributed Digital Systems T-79.4301 Parallel and Distributed Systems
T-79.159 Cryptography and Data Security T-79.4501 Cryptography and Data Security
T-79.146 Logic in Computer Science: Special Topics I T-79.5101 Advanced Course in Computational Logic
T-79.161 Combinatorial Algorithms T-79.5202 Combinatorial Algorithms
T-79.165 Graph Theory T-79.5203 Graph Theory
T-79.250 Combinatorial Models and Stochastic Algorithms T-79.5204 Combinatorial Models and Stochastic Algorithms
T-79.186 Reactive Systems T-79.5301 Reactive Systems
T-79.193 Formal Description Techniques for Concurrent Systems T-79.5301 Reactive Systems
T-79.232 Safety-Critical Systems T-79.5303 Safety Critical Systems
T-79.513 Seminar on Cryptography and Security Protocols T-79.5502 Advanced Course in Cryptology
T-79.514 Special Course on Cryptology T-79.5502 Advanced Course in Cryptology
T-79.515 Cryptology: Special Topics T-79.5502 Advanced Course in Cryptology

Older changes

Note below that a course code alone does not necessarily uniquely identify a course, as witnessed by the course code Tik-79.187.

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
[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 04 June 2009.