TCS /
Studies /
Tik-79.148
Tik-79.148 Introduction to Theoretical Computer Science
Spring 2000
This is an introductory course on theoretical computer science.
Subjects covered are: basic automata theory, basics of formal
languages and of the theory of computability, the theoretical limits
of computers.
[General Information]
[Material]
[TOPI]
[Spring 1999]
- Registration by
TOPI
or by attending the first two lectures
- Lectures by Rauno Heinonen,
on Tuesdays, 17-19, hall T1
- Tutorials by Tommi Syrjänen,
on Tuesdays, 12-13, hall T2, or on Fridays, 15-16,
hall T1. First tutorial is on Friday 28.1.
- The course consists of
- lectures and tutorials (2+1 hours a week) held in Finnish and
- an examination (arranged four times a year, next 25.5.2000).
- Newsgroup:
opinnot.tik.tkt
- Textbook:
H. Lewis and C. Papadimitriou:
Elements of the Theory of Computation, Prentice Hall,
1998, 351 p. The first edition of the book (1981) can also be used but
second edition is significally better on some subjects.
- Lecture Notes (opetusmonisteet)
- Questions from tutorials and answers to the questions
- Slides for the lectures
- Lecture notes can be ordered from Otatieto (opetusmonisteet).
- Some of the material will be available also on this web page.
Please avoid unnecessary printing of this material
to save printers, paper and thus nature !!!
- Examination requirements (suomeksi)
Tutorials
The tutorial questions and answers are currently available only in
Finnish. However, most questions are from the coursebook with numbers
given and in many cases you can understand the basic principles of the
answers without knowing any Finnish.
Latest update: April 4, 2000
by Tommi.Syrjanen@hut.fi