Teoretická informatika (2)
Hodnotenie
- aktívna účasť - 2b za seminár,
- 3 písomky po 6b
- dokopy nutné získať aspoň 6b,
- dve v priebehu semestra, jedna cez skúškové
- 1. písomka bola 8. apríla
- 2. písomka bola 13. mája
- 3. písomka bude 27. mája o 12:00 v miestnosti A
Š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
- RegEx
- JFLAP - aplikácia na vytváranie a experimentovanies s DKA, NKA, TS, ale aj gramatikami a regulárnymi výrazmi
Príklady zo seminárov
... sem postupne budú pribúdať príklady zo seminárov
- Seminár 1 - opakovanie z TI1, automaty
- Seminár 2 - KL množiny automatov, dôkaz správnosti, dôkaz minimálneho počtu stavov pre automat (obsahuje aj riešenia k niektorým príkladom plus poznámky)
- Seminár 3 - Léma 3.12 a jej využitie pri dôkazoch neregulárnosti jazykov
- Seminár 4-6 - nedeterministické konečné automaty
- Seminár 7 - samostatná práca
- Seminár 8-11 - Turingove stroje
© Lucia Budinská | 2025
Template from TEMPLATED.