Note: These pages of the former Laboratory for Theoretical Computer Science
are no longer maintained. Studying Theoretical Computer ScienceTheoretical computer science develops and applies mathematical
methods for systematic modelling, analysis and solution of computational
problems. Such methods play a central role in the design of software
systems and parallel computer architectures, routing protocols of
communication networks, cryptography, VLSI design, and the development
of programming languages and compilers for them. The Theoretical Computer Science (TCS) unit of the Department of Information and Computer Science gives education in theoretical computer science structured in different ways. The Master's Programme is an intensive and deep 2-year programme aimed at B.Sc. level applicants from Finland and abroad, while the description of the module structure is intended at students in a regular B.Sc. or M.Sc. program at TKK.
Courses on Theoretical Computer ScienceNote! As of lecture year 2008–2009, the home pages of all T-79 courses have been moved to the Noppa portal. See also the list of courses given by the Department of Information and Computer Science. The following list contains links to old home pages of T-79 courses in the study programme for lecture year 2007–2008, sorted by course code. The course codes are of the form T-79.XYZZ, where
[Courses before the degree reform in 2005; course correspondences] T-79.1001 Introduction to theoretical computer science T[Autumn 2007] [Autumn 2006] [Spring 2006] [Autumn 2005]T-79.1002 Introduction to theoretical computer science Y[Autumn 2007] [Autumn 2006] [Spring 2006] [Autumn 2005]T-79.3001 Logic in computer science: foundations[Spring 2008] [Spring 2007] [Spring 2006]T-79.4001 Seminar on theoretical computer science[Spring 2008] [Spring 2007] [Spring 2006]T-79.4201 Search problems and algorithms[Autumn 2007] [Autumn 2006] [Spring 2006]T-79.4301 Parallel and distributed systems[Spring 2008] [Spring 2007] [Spring 2006]T-79.4501 Cryptography and data security[Autumn 2007] [Autumn 2006] [Spring 2006]T-79.5001 Student project in theoretical computer science[This course in Noppa]T-79.5101 Advanced course in computational logic[Spring 2008] [Spring 2007] [Spring 2006]T-79.5102 Special course in computational logic[Autumn 2007] [Autumn 2006] [Autumn 2005]T-79.5103 Computational complexity theory[Autumn 2007] [Autumn 2006] [Autumn 2005]T-79.5201 Discrete structures[Autumn 2007] [Autumn 2006] [Autumn 2005]T-79.5202 Combinatorial algorithms[Spring 2008] [Spring 2007] [Spring 2006]T-79.5203 Graph theory[Spring 2008] [Spring 2007] [Spring 2006]T-79.5204 Combinatorial models and stochastic algorithms[Spring 2007]T-79.5301 Reactive systems[Spring 2008] [Spring 2007] [Spring 2006]T-79.5302 Symbolic model checking[Autumn 2007] [Autumn 2005]T-79.5303 Safety critical systems[Spring 2008] [Spring 2007] [Spring 2006]T-79.5304 Formal conformance testing[Autumn 2006]T-79.5305 Formal methods[Autumn 2006]T-79.5501 Cryptology[Spring 2008] [Spring 2007] [Autumn 2005]T-79.5502 Advanced course in cryptology[Autumn 2007] [Spring 2006]T-79.7001 Postgraduate course in theoretical computer science[Spring 2008] [Autumn 2007] [Spring 2007] [Autumn 2006] [Spring 2006] [Autumn 2005]T-79.7002 Individual studies[Old home page of course]T-79.7003 Research course in theoretical computer science[Autumn 2007][TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links] Latest update: 04 June 2009. |