Předmět Diplomová práce (AUPKS / A0DPK)
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 AUPKS / A0DPK - Diplomová práce, 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 s psaním odborných textů. Student je schopen interpretovat odborný text. Student získá schopnost analyzovat technické řešení problému.
Literatura
Věra Bitljanová, Zuzana Šaffková . Diplomová práce krok za krokem . ISBN 80-7372-081-7 .
Požadavky
Odevzdání diplomové práce v písemné podobě a její obhájení před komisí.
Garant
prof. Ing. Karel Vlček, CSc.