|
ITT0010 Teoreetiline informaatika |
|
|
õppeaine kood |
ITT0010 |
|
õppeaine nimetus e.k. |
Teoreetiline informaatika |
|
õppeaine nimetus i.k. |
Theoretical Computer Science |
|
nädalatunnid |
4,0 |
|
loeng |
3,0 |
|
praktikum |
0,0 |
|
harjutus (seminar) |
1,0 |
|
ainepunktid |
3,5 |
|
kontrollivorm |
E |
|
semester |
S |
|
annotatsioon |
Regulaarsed ja kontekstivabad struktuurid. Abstraktsed automaadid. Semantika esitamise atribuuttehnika. Ülesannete lahenduvus. Rekursiooniteooria elemente. Kleene'i lahenduvuse teoreemid. Algoritmide keerukus. NP-täielikud ülesanded. |
|
õppekirjandus |
Cohen,D.I.A. Introduction to
Computer Theory, John Wiley&Sons,1997. Smith,C.A Recursive Introduction to the Theory of
Computation, Springer, 1994. Lorents,P.
Informaatika teoreetilised
alused. EBS Print, |
|
eeldusaine 1 |
|
|
õppejõud |
prof. J.Penjam |