Předmět Základy algoritmizace (KIT / IZALG)
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 KIT / IZALG - Základy algoritmizace, Fakulta elektrotechniky a informatiky, Univerzita Pardubice (UPa).
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
Ú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ů - příklady, krokování algoritmů, verifikace algoritmu, 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.De Morganova pravidla.Predikátová logika.
Získané způsobilosti
Rozšíření analytického a logického myšlení.Znalost tvorby a zápisu algoritmů.
Literatura
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. 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.
Požadavky
Aktivní povinná účast na cvičeních, kde budou procvičovány a plněny zadané úkoly a požadavky. Vypracování všech úloh zadaných na cvičeních.
Garant
Ing. Miloslav Macháček, Ph.D.
Vyučující
Ing. Lumír GagoIng. Miloslav Macháček, Ph.D.Ing. Tomáš Svoboda