UIN1058 Funkcionální programování (Lisp)

Filozoficko-přírodovědecká fakulta v Opavě
zima 2017
Rozsah
0/2/0. 3 kr. Ukončení: z.
Vyučující
doc. RNDr. Lucie Ciencialová, Ph.D. (cvičící)
RNDr. Miroslav Langer, Ph.D. (cvičící)
RNDr. Jiří Martinů, Ph.D. (cvičící)
Garance
doc. RNDr. Lucie Ciencialová, Ph.D.
Ústav informatiky – Filozoficko-přírodovědecká fakulta v Opavě
Předpoklady
UIAI206 Algoritmy a programování II || UIBUC05 Algoritmy a programování II || UIKKB13 Algoritmy a programování II || UIKSB20 Algoritmy a programování II || UINK103 Algoritmy a programování II || UINK113 Algoritmy a programování II (C || UIN1003 Algoritmy a programování II
Základy logiky.
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
Kurz jazyka LISP. Tvorba rekurzivních funkcí, práce se seznamy. Lambda kalkul, funkce vyššího řádu. Vytváření a použití struktur.
Osnova
  • 1. Úvod. Lisp a jeho vývoj, současnost a perspektiva. Dialekty, příbuzní a potomci Lispu. Common Lisp jako standard; srovnání s ostatními jazyky. Direktivní, procedurální, objektové, modulární, logické a funkcionální programování a jejich podpora v Lispu.
    2. První pohled na Lisp. Základní datové typy. Atomy a seznamy jejich vyhodnocování. Symboly a vazby; funkce; principy funkcionálního programování.
    3. Macintosh Common Lisp. Editor, posluchač, inspektor a debugger. Integrace vývojového prostředí a Lispu. Lisp jako dynamický jazyk.
    4. Druhý pohled na Lisp. Lambda kalkul v Lispu, anonymní funkce, funkce vyššího řádu, lexikální prostředí. Lisp a umělá inteligence.
    5. Třetí pohled na Lisp. Cyklus Read-eval-print. Základní datové typy podruhé. Makra. Optimalizace programu.
    6. Objektové programování v Lispu. Třídy a instance, vícenásobné dědění. Generické funkce, metody a multimetody. Kombinace metod. Metaobjektový protokol.
Literatura
    doporučená literatura
  • Kalaš, Ivan. Iné programovanie : stretnutie s jazykom lisp. Bratislava, 1991. ISBN 80-05-00866-X. info
  • WINSTON, P. H. , HORN, B. K. P. LISP. Reading (Mass.): Addison-Wesley, 1989. ISBN 978-0201083194. info
Výukové metody
Přednáška s aktivizací
Přednáška s analýzou videozáznamu
Metody hodnocení
Zápočet
Informace učitele
Získání více než poloviny bodů za splnění zadaných úkolů.
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 1993, zima 1994, zima 1995, zima 1996, zima 1997, zima 1998, zima 1999, zima 2000, zima 2001, zima 2002, zima 2003, zima 2004, zima 2005, zima 2006, zima 2007, zima 2008, zima 2009, zima 2010, zima 2011, zima 2012, zima 2013, zima 2014, zima 2015, zima 2016, zima 2018, zima 2019, zima 2020, zima 2021, zima 2022.