Interaktivní osnova

Informace o předmětu (sylabus, systém hodnocení,...)

Přejít

Kapitola obsahuje:

1

Studijní text

Literatura a jiné informační zdroje

Přejít

Kapitola obsahuje:

1

Složka

1

Studijní text

1. týden: Formální jazyky. Gramatiky. Chomského hierarchie.

Přejít

Kapitola obsahuje:

2

Odevzdávárna

5

PDF

3

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 16. 9. 2013 do 22. 9. 2013.

2. týden: Konečné automaty. Paralelní kompozice automatů. Věta o vkládání.

Přejít

Kapitola obsahuje:

2

Odevzdávárna

5

PDF

2

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 23. 9. 2013 do 29. 9. 2013.

3. týden: Myhill-Nerodova věta. Aplikace. Minimalizace konečných automatů.

Přejít

Kapitola obsahuje:

2

Odevzdávárna

5

PDF

2

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 30. 9. 2013 do 6. 10. 2013.

4. týden: Nedeterministické konečné automaty. Automaty s epsilon-kroky. Uzávěrové vlastnosti regulárních jazyků. Regulární výrazy.

Přejít

Kapitola obsahuje:

4

Odpovědník

1

PDF

1

Studijní text

Učitel doporučuje studovat od 7. 10. 2013 do 13. 10. 2013.

5. týden: Vztah konečných automatů, regulárních výrazů a gramatik. Rozhodnutelné problémy pro regulární jazyky. Aplikace. Bezkontextové gramatiky. Derivační stromy.

Přejít

Kapitola obsahuje:

2

Odevzdávárna

5

PDF

2

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 14. 10. 2013 do 20. 10. 2013.

6. a 7. týden: Redukované gramatiky. Jednoduchá pravidla a epsilon-pravidla. Chomského normální forma. Věta o vkládání pro bezkontextové jazyky.

Přejít

Kapitola obsahuje:

2

Odevzdávárna

3

Odpovědník

5

PDF

2

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 21. 10. 2013 do 3. 11. 2013.

8. týden: Přímá a nepřímá levá rekurze. Greibachové normální forma. Zásobníkové automaty, metody akceptování.

Přejít

Kapitola obsahuje:

4

Odpovědník

1

PDF

1

Studijní text

Učitel doporučuje studovat od 4. 11. 2013 do 10. 11. 2013.

9. týden: Rozšířené zásobníkové automaty. Zásobníkové automaty a bezkontextové gramatiky. Nedeterministická syntaktická analýza.

Přejít

Kapitola obsahuje:

2

Odevzdávárna

5

PDF

2

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 11. 11. 2013 do 17. 11. 2013.

10. týden: Uzávěrové vlastnosti a (ne)rozhodnutelné problémy pro bezkontextové jazyky. Deterministické bezkontextové jazyky a jejich vlastnosti. Turingovy stroje.

Přejít

Kapitola obsahuje:

3

Odevzdávárna

7

PDF

3

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 18. 11. 2013 do 24. 11. 2013.

11. týden: Rozhodnutelnost problémů. Problém zastavení. Redukce.

Přejít

Kapitola obsahuje:

2

Odevzdávárna

5

PDF

2

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 25. 11. 2013 do 1. 12. 2013.

12. týden: Časová složitost algoritmů a problémů. Třídy P a NP.

Přejít

Kapitola obsahuje:

2

Odevzdávárna

5

PDF

2

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 2. 12. 2013 do 8. 12. 2013.

13. týden: NP-úplné problémy. Prostorová složitost algoritmů a problémů. Třída PSPACE. Vztahy složitostních tříd.

Přejít

Kapitola obsahuje:

2

Odevzdávárna

5

PDF

2

Studijní materiály

1

Studijní text

Učitel doporučuje studovat od 9. 12. 2013 do 15. 12. 2013.

14. týden: Závěrečné informace.

Přejít

Kapitola obsahuje:

1

Obrázek

3

Odpovědník

1

Studijní text

Učitel doporučuje studovat od 16. 12. 2013 do 22. 12. 2013.

Interaktivní osnova

Operace