|
Vyučující
|
-
Kopecký Zbyněk, Ing.
-
Macháček Miloslav, Ing. Ph.D.
|
|
Obsah předmětu
|
Úvod do programování. Pojem algoritmus, základní vlastnosti algoritmu. Principy dělení problému na podproblémy. Způsoby zápisu algoritmů - ČSN ISO 5807. Vývojový diagram - symbolický algoritmický jazyk pro zobrazení algoritmu zpracování informací. Tvorba a zápis algoritmů s využitím specializovaného SW - krokování algoritmů, verifikace algoritmů a složitost algoritmu. Sekvenční algoritmy. Větvení algoritmů. Cyklické algoritmy. Třídící algoritmy. Výroková logika - logické spojky, symboly jazyka výrokové logiky, syntaktická pravidla, interpretační pravidla.
|
|
Studijní aktivity a metody výuky
|
|
Monologická (výklad, přednáška, instruktáž), Dialogická (diskuze, rozhovor, brainstorming), Metody práce s textem (učebnicí, knihou), Nácvik dovedností
|
|
Výstupy z učení
|
Cílem předmětu je seznámit posluchače se základy algoritmizace, algoritmickým způsobem myšlení a připravit studenty na výuku základů programování.
Rozšíření analytického a logického myšlení. Znalost tvorby a zápisu algoritmů.
|
|
Předpoklady
|
Základní znalost SŠ matematiky. Notebook s OS Windows.
|
|
Hodnoticí metody a kritéria
|
Posouzení zadané práce, Rozbor díla tvůrčího charakteru, Rozhovor
Aktivní povinná účast na cvičeních, kde budou procvičovány a plněny zadané úkoly a požadavky. Úspěšné dokončení všech zadaných úkolů.
|
|
Doporučená literatura
|
-
LUKASOVÁ, Alena. Formální logika v umělé inteligenci. [s.l.] : [s.n.], 2003. 269 s. ISBN 80-251-0023-5.. Pardubice: Univerzita Pardubice, 2001.
-
PŠENČÍKOVÁ, Jana. Algoritmizace. [s.l.] : [s.n.], 2007. 120 s. ISBN 80-86686-80-9..
-
TAUFER, I., HRUBINA, J., TAUFER, J. Algoritmy a algoritmizace: vývojové diagramy, sbírka řešených příkladů. Pardubice: Univerzita Pardubice, 2001..
|