IV022 Principy elegantního programování

Fakulta informatiky
podzim 2022
Rozsah
2/0. 2 kr. (plus ukončení). Ukončení: zk.
Vyučující
prof. RNDr. Luboš Brim, CSc. (přednášející)
Garance
prof. RNDr. Luboš Brim, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Luboš Brim, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky
Rozvrh
Út 10:00–11:50 B410
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
Cíle předmětu
Každý program je zpravidla strukturován do několika dílčích menších programů, které realizují část z požadovaných funkcí celého programu. Schopnost vytvářet malé dokonalé programy se proto jeví jako zásadní dovednost každého poctivého programátora. Tento kurz je věnován tomu, jak psát malé a při tom elegantní, ale hlavně správné a efektivní programy. Ukážeme, jak několik jednoduchých postupů a principů může k naplnění tohoto cíle stačit. Jen je třeba se s nimi seznámit a prakticky je zvládnout! Proto je převážná část kurzu zaměřena na řešení, často netradičních a zajímavých, algoritmických úloh pomocí metody elegantního programování.
Výstupy z učení
Na konci tohoto kurzu bude student schopen navrhovat malé sekvenční algoritmy a dokazovat jejich správnost.
Osnova
  • Programovací jazyk GCL. Syntaxe, definice sémantiky pomocí transformátorů predikátů, SKIP, ABORT, vícenásobné přiřazení, sekvence, alternativa, cyklus.
  • Programátorská logika. Zákon sekvence, zákon alternativy, zákon cyklu, vektorové proměnné.
  • Návrh algoritmů. Principy a strategie pro návrh založené na programátorské logice, zákon současného návrhu a verifikace.
  • Příklady aplikace metodologie na návrh konkrétních algoritmů. Návrh efektivních algoritmů, vyhledávání a třídění.
Literatura
  • DIJKSTRA, Edsger W. a W. H. J. FEIJEN. A method of programming. Wokingham: Addison-Wesley Publishing Company, 1998, vii, 188 s. ISBN 0-201-17536-3. info
  • KALDEWAIJ, A. Programming :the derivation of algorithms. New York: Prentice Hall, 1990, xii, 216 s. ISBN 0-13-204108-1. info
  • GRIES, David. The Science of Programming. New York: Springer-Verlag, 1981, 366 s., ob. ISBN 0-387-90641-X. info
Výukové metody
přednáška, domácí cvičení, samostatné studium
Metody hodnocení
Zkouška je písemná. V případě zadání průběžných testů během semestru, mají tyto podíl nejvýše 30% na závěrečném hodnocení. Pomocné materiály nejsou povoleny.
Informace učitele
https://www.fi.muni.cz/usr/brim/home/#teaching
Další komentáře
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích podzim 2002, podzim 2003, podzim 2007, jaro 2013, jaro 2015, jaro 2017, jaro 2018, jaro 2019, jaro 2020, jaro 2021, podzim 2023.