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 bude 8. apríla

Študijné materiály

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

Príklady zo seminárov

... sem postupne budú pribúdať príklady zo seminárov

  1. Seminár 1 - opakovanie z TI1, automaty
  2. 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)
  3. Seminár 3 - Léma 3.12 a jej využitie pri dôkazoch neregulárnosti jazykov