|
Vyučující
|
-
Kühr Jan, prof. RNDr. Ph.D.
|
|
Obsah předmětu
|
1. Primitivní rekurze, operace minimalizace, rekurzívně vyčíslitelné množiny. 2. Vztahy mezi operátory primitivní rekurze a minimalizace. 3. Obecně rekurzívní funkce, částečně rekurzívní funkce. 4. Algoritmy a Turingovy stroje. 5. Řešitelné a neřešitelné problémy. 6. Normální (Markovovy) algoritmy.
|
|
Studijní aktivity a metody výuky
|
|
Přednášení, Dialogická (diskuze, rozhovor, brainstorming)
|
|
Výstupy z učení
|
Pochopit základy teorie algoritmů a Turingových strojů.
4. Analýza informací Analyzovat otázky existence a možností obecných algoritmů.
|
|
Předpoklady
|
nespecifikováno
|
|
Hodnoticí metody a kritéria
|
Rozhovor
Aktivní účast ve cvičeních. Aplikovat látku na příkladech.
|
|
Doporučená literatura
|
-
Kozen D. C. (1997). Automata and Computability. Springer.
-
Malcev A. I. (1986). Algoritmy i rekursivnyje funkcii. Nauka Moskva.
|