Lucia Budinská

Hodnotenie

• aktívna účasť - 2b za seminár,
• 2 písomky po 10b
• dokopy nutné získať aspoň 8b,
• 1. písomka bude 29. 04.
• 2. písomka bude cez skúškové
• možná oprava jednej písomky

Študijné materiály

Zopár linkov alebo kníh, ktoré môžu poslúžiť pri príprave na predmet.

• stránka predmetu Úvod do teoretickej informatiky pre AIN
• J. Hromkovič - Theoretical computer science
• B. Rovan, M. Forišek - Skriptá k FOJA
• P. Jančár - Skriptá k TI z Ostravy
• J. Hopcroft, et al - Introduction to Automata Theory, Languages, and Computation
• R. P. Grimaldi - Discrete and Combinatorial Mathematics, An Applied Introduction (Kapitola 6)
• Fun (alebo čo radšej neskúsať) - Dôkazy 1, dôkazy 2
• JFLAP - aplikácia na vytváranie a experimentovanies s DKA, NKA, TS, ale aj gramatikami a regulárnymi výrazmi