Předmět Teorie programů (AUIUI / A1TPR)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu AUIUI / A1TPR - Teorie programů, Fakulta aplikované informatiky, Univerzita Tomáše Bati ve Zlíně (UTB).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Obsah
- Historie výpočetní techniky a programového vybavení- Jazyky a gramatiky- Konečné automaty, KA s jedním a dvěma zásobníky- Přechodové grafy, Kleenova věta, Moorova věta o ekvivalenci- Postovy stroje- Turingovy stroje. TS jako akceptor, generátor a algoritmus- Rekurzivní funkce a algoritmy, problém přiřazení- Predikátový počet, syntaxe a sémantika, přirozená dedukce a rezoluční metoda- Verifikace programů a korektnost, parciální a totální korektnost,- Programová schémata, a jejich formalizace, syntaxe a sémantika, Herbrantovy interpretace,- Programová schémata, rozhodnutelnost, formalizace v predikátorovém počtu, formalizace vlastností programů a programových schémat- Pevné body programů, rekurzivní programy, verifikační metody, postupná a úplná výpočetní indukce, další varianty indukce.- Algoritmy jako generátory náhodných čísel, zdroje nahodilosti, analýza dat a vyhodnocení nahodilosti- Rekurzivní algoritmy a vizualizace činnosti pomocí fraktální geometrie.
Získané způsobilosti
Student má znalosti o základech teoretické informatiky.Student se orientuje v teorii grafů, složitosti problémů, kombinatorických algoritmů, komplexity a verifikace algoritmůStudent chápe principy konečných automatů, Turingova stroje, vyhledávacích algoritmů a komplexních síti.Student dokáže naprogramovat základní vyhledávací algoritmy a oveřit časovou složitost algoritmů.
Literatura
Manna Z. Matematická teorie programů. SNTL, 1981. Eric C.R. Hehner, A. Practical Theory of Programming. Springer, 1993. Vaníček J., Papík M., Pregl R., Vaníček T. Teoretické základy informatiky. Alfa Publishing, 2006. Koubková A., Pavelka J. Uvod do teoretické informatiky. Matfyzpress, 2003.
Požadavky
Způsob zakončení předmětu - zkouškaZápočet: aktivní účast, řešení domácích prací. Zkouška: předpokladem ke složení zkoušky je udělený zápočet, forma zkoušky: písemná.Hodnocení zkoušky:90 - 100 % A80 - 89 % B70 - 79 % C60 - 69 % D50 - 59 % Eméně než 50 % FX
Garant
doc. Ing. Roman Šenkeřík, Ph.D.
Vyučující
doc. Ing. Roman Šenkeřík, Ph.D.Ing. Věra BudíkováIng. Roman DošekIng. Lukáš HorňákIng. Peter JankůRNDr. Ing. Miloš KrčmářIng. Petr LátalIng. Radek Vala