MU25017 Seminář z funkcionálního programování

Matematický ústav v Opavě
zima 2024

Předmět se v období zima 2024 nevypisuje.

Rozsah
0/2/0. 3 kr. Ukončení: z.
Vyučující
doc. RNDr. Hynek Baran, Ph.D. (cvičící)
Garance
doc. RNDr. Hynek Baran, Ph.D.
Matematický ústav v Opavě
Předpoklady
TYP_STUDIA(N)
Omezení zápisu do předmětu
Předmět je otevřen studentům libovolného oboru.
Cíle předmětu
Cílem předmětu je seznámit studenty se základními principy funkcionálního programování a využití těchto principů při řešení různých problémů.
Osnova
  • Imperativní vs. funkcionální programování.
    Datové typy a seznamy.
    Rekurze.
    Funkce vyššího řádu.
    Lexikální uzávěr.
    Lambda výrazy.
    Čistota vs. vedlejší efekty.
    Líné vs. striktní vyhodnocování.
    Srovnání funkcionálních jazyků.
    Příklady v Maple.
Literatura
    povinná literatura
  • Project Euler. URL info
  • K. O. Geddes, Stephen R. Czapor, G. Labahn. Algorithms for Computer Algebra. Kluwer Academic Publishers, Norwell, 1992. ISBN 0-7923-9259-0. info
    doporučená literatura
  • Functional Programming Tutorial. URL info
  • Baran, Hynek. Symbolické výpočty v Maple. Opava, 2015. URL info
  • Michaelson, Greg. An Introduction to Functional Programming Through Lambda Calculus. 2011. ISBN 978-0-486-47883-8. info
  • Atallah, Mikhail. Algorithms and theory of computations handbook. 1999. ISBN 0-8493-2649-4. info
  • Heck, André. Introduction to Maple. New York, 1993. ISBN 0-387-97662-0. info
  • Kalaš, Ivan. Iné programovanie : stretnutie s jazykom lisp. Bratislava, 1991. ISBN 80-05-00866-X. info
    neurčeno
  • Jeuring, Johan, Meijer, Erik (Eds.). Advanced Functional Programming. 1995. ISBN 978-3-540-59451-2. info
Informace učitele
Odevzdání všech zadaných projektů.
Další komentáře
Předmět je dovoleno ukončit i mimo zkouškové období.
Předmět je zařazen také v obdobích zima 2022.