Course Catalog 2008-2009 Basic Basic Pori International Postgraduate Open University |Degrees|     |Study blocks|     |Courses|

Course´s person responsible

Stephane Foldes

Implementations

	Lecture times and places	Target group recommended to
Implementation 1	Per 1 : Monday 14 - 16, K4108 Tuesday 14 - 15, TB215 Per 2 : Monday 14 - 16, TC163 Tuesday 14 - 16, TC165

Requirements

Final exam plus activity points, particularly to be announced during first lecture.

Principles and baselines related to teaching and learning

-

Content

Content	Core content	Complementary knowledge	Specialist knowledge
1.	Strings of symbols, languages and mathematical machines.
2.	Deterministic and non-deterministic computations. Turing machines, algorithms, decidability.
3.	Oracles and reducibility. Complexity of computation.

Study material

Type	Name	Author	ISBN	URL	Edition, availability, ...	Examination material	Language
Book	Introduction to the Theory of Computation	Sipser, M.			PWS Publ. Co., Boston 1996		English

Prerequisites

Correspondence of content

More precise information per implementation

	Description	Methods of instruction	Implementation
Implementation 1

Last modified	15.08.2008
Modifier	Hanna Hämäläinen