Předmět Matematická teorie programů (DEIX04Y)
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 DEIX04Y - Matematická teorie programů, Provozně ekonomická fakulta, Česká zemědělská univerzita v Praze (ČZU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Cíl
Získat hlubší znalosti o matematické teorii algoritmů a programů a o možnosti aplikace teoretických poznatků na praktické programování. Získat přehledné znalosti o moderních programovacích paradigmatech (imperativní, objektové, funkcionální a logické programování) včetně kritického hodnocení jejich možné aplikace. Získat hlubší teoretické znalosti z oblasti algoritmisovatelnosti a vyčíslitelnosti problémůPřevaha výuky je v samostatném studiu odborných pramenů, monografií a časopiseckých publikací a jejich referování studenty. Referáty studentů budou doplňovány přednáškou a poznámkami vyučujícího. Cílem bude ne reprodukování pramenů , ale výběr důležitých informací a kritické hodnocení pramenů. Samostatná práce (příprava písemné části zkoušky) bude probíhat mimo vyučovací hodiny a bude soustředěna na hodnocení vybraných algoritmů z hlediska časové, prostorové a projekční složitosti a numerické stability, případně (podle výběru studenta) na porovnání výhod a nevýhod užití jednotlivých programovacích paradigmat pro řešení zadaného problému.
Osnova
PřednáškaZákladní pojmy teorie množin a teorie grafůSpeciální datové struktury (fronta, zásobník) a jejich implementace v programovacích jazycích (PASCAL, C)Konečné automatyPřečislitelnost a rozhodnutelnostNP-těžké a NP-úplné problémyNumerická stabilitaImperativní programováníZáklady funkcionálního programováníZáklady logického programováníDokazování správnosti a testování programůCvičeníIIIIIIIVPOZOR - K přednáškám není organizované cvičení, bude však v rámci hodnocení projektu požadováno, aby student navrhl a řešil vybrané úlohy samostatně
Získané způsobilosti
Znalosti:žádnéDovednosti:žádnéKompetence - komunikace:žádná
Literatura
ZákladníJazyk výuky: ČeštinaChytil, M.: Automaty a gramatiky, SNTL Praha, 1984, 331s.Nešetřil, J.: Teorie grafů, SNTL Praha,1976, 316 s.Manna, Z.: Mathematical theory of computation, McGraw-Hill, 1974, český překlad'Matematická teorie programů, SNTL Praha 1981, 467s.Honzík, J.: Programovací techniky, JZD Agrokombinát Slušovice, 1986, 357s.Bek, R a Zlatník, Č.: Teorie modelů a formálních jazyků, ČVUT, FSv., 1982, 225s.+ časopisecká literatura podle aktuálního stavu
Požadavky
absolvent magisterského studia
Garant
prof. RNDr. Jiří Vaníček, CSc.