Přednášky:
Význam programovacích jazyků. Klasifikace programovacích jazyků, funkcionální programovací jazyky, základní principy.
Lambda kalkul, syntaxe, sémantika, funkcionální reprezentace datových typů
Hodnoty, funkce, funkce vyššího řádu, seznamy, rekurze.
Techniky funkcionálního programování - abstraktní datové typy, algoritmy.
Aplikace funkcionálních jazyků - denotační sémantika, algebraické struktury, analýza textu, relační algebra
Vývoj programovacích jazyků.
Požadavky na programovací jazyk, syntax, sémantika. Překladače a interprety.
Základní pojmy - abstrakce dat, řídicí abstrakce, vazba, proměnná, viditelnost, rozsah platnosti.
Vestavěné typy, agregované typy, uživatelem definované typy, konverze, typová kontrola, přetěžování, abstraktní datové typy.
Sekvence, výběr, opakování, uživatelem definované řídicí struktury, zpracování výjimek, konstrukce pro souběžné zpracování, synchronizační prostředky.
Struktura programu, procedury, funkce, bloky, aktivační záznamy, předávání parametrů, koprogramy.
Moduly, závislosti mezi moduly, třídy, dědičnost, pozdní vazba, distribuované zpracování, systémové nástroje pro vývoj programů.
Význam programovacích jazyků. Klasifikace programovacích jazyků, funkcionální programovací jazyky, základní principy.
Lambda kalkul, syntaxe, sémantika, funkcionální reprezentace datových typů
Hodnoty, funkce, funkce vyššího řádu, seznamy, rekurze.
Techniky funkcionálního programování - abstraktní datové typy, algoritmy.
Aplikace funkcionálních jazyků - denotační sémantika, algebraické struktury, analýza textu, relační algebra
Vývoj programovacích jazyků.
Požadavky na programovací jazyk, syntax, sémantika. Překladače a interprety.
Základní pojmy - abstrakce dat, řídicí abstrakce, vazba, proměnná, viditelnost, rozsah platnosti.
Vestavěné typy, agregované typy, uživatelem definované typy, konverze, typová kontrola, přetěžování, abstraktní datové typy.
Sekvence, výběr, opakování, uživatelem definované řídicí struktury, zpracování výjimek, konstrukce pro souběžné zpracování, synchronizační prostředky.
Struktura programu, procedury, funkce, bloky, aktivační záznamy, předávání parametrů, koprogramy.
Moduly, závislosti mezi moduly, třídy, dědičnost, pozdní vazba, distribuované zpracování, systémové nástroje pro vývoj programů.