..:: Martin Kot ::..
Theoretical computer science

English version of this subpage is under construction

Study text
21.02.2007 Výukový text. (Jedná se o první verzi, která se bude v průběhu semestru měnit. Proto nedoporučujeme si tisknout celý text v současné podobě, ale spíše vždy aktuální učivo studovat z aktuální verze textu. Toto je referenční kopie zveřejněná na začátku semestru pro porovnání změn s aktuálními kopiemi.)
10.04.2007 Výukový text k předmětu - aktuální, ale stále ne definitivní, verze.
Seznam změn (proti referenční kopii z 21.2.2007):
  • 26.2.2007 - Úpravy v první kapitole a několik typografických úprav
  • 12.3.2007 - V obrázku 3.3 změněn stav q3 na nepřijímající a opraveny další obrázky, kde se špatně zarovnaly stavy vůči přechodům.
  • 23.3.2007 - Opravena chyba v řešení Řešeného příkladu 4.4. a v zobrazení Řešeného příkladu 4.3.
  • 10.4.2007 - Opravena chyba v řešení Cvičení 8.26. To bylo navíc přesunuto do kapitoly zabývající se redukcí gramatik (nové číslo tohoto cvičení je 8.28). Dále příklad 8.27 přesunut do sekce 8.4.4.
06.06.2007 Nový výukový text - zcela přepsaný výukový text, který je možné použít k přípravě na zkoušku. K absolvování předmětu stačí informace z jednoho z textů (původního nebo nového, preferovaný je nový), v novém se snažíme o srozumitelnější výklad.
21.05.2007 Animace - seznam animací k předmětům Teoretická informatika a Úvod do teoretické informatiky. Jde o animace vytvořené v rámci bakalářských a diplomových prací a animace, které byly součástí přednášek (trochu doplněné, aby dávaly smysl i samostatně bez výkladu).
 
Assignments of projects
09.05.2007 Všechna zadání referátů (č. 1-24)
 
Exercises (author Petr Jančar)
06.03.2007 Ukázková 1. zápočtová písemka
26.03.2007 Ukázková 2. zápočtová písemka
17.04.2007 Ukázková 3. zápočtová písemka
09.05.2007 Ukázková 4. zápočtová písemka
28.02.2007 Příklady na 1. cvičení
06.03.2007 Příklady na 2. cvičení
20.03.2007 3. cvičení
27.03.2007 Příklady na 4. cvičení
03.04.2007 Příklady na 5. cvičení
17.04.2007 6. cvičení
17.04.2007 Příklady na 7. cvičení
24.04.2007 Příklady na 8. cvičení
09.05.2007 9. cvičení
09.05.2007 Příklady na 10. cvičení
 
Lectures - slides (author Petr Jančar)
05.03.2007 1. přednáška
06.03.2007 2. přednáška
19.03.2007 3. přednáška
19.03.2007 4. přednáška
26.03.2007 5. přednáška
02.04.2007 6. přednáška