• Úvodní stránka

• Osnova
• Texty
• Odkazy

• Úlohy

• Zadání

Osnova přednášek

• Úvod
  Cíle a náplň předmětu, požadavky, organizace cvičení, literatura. Klasifikace programovacích jazyků, deklarativní programování. Vlastnosti funkcionálních a logických programovacích jazyků.
  [PDF]
• Základy lambda kalkulu
  Syntaxe a sémantika lambda kalkulu, redukce, grafová redukce, kombinátory, denotační sémantika.
  [PDF] [PPS]
• Programovací jazyk Haskell
  Hodnoty, funkce, funkce vyššího řádu, seznamy, rekurze.
  [PDF] [PPS]
• Seznamy v jazyce Haskell
  Práce se seznamy, základní funkce nad seznamy, nekonečné seznamy, generátory seznamů.
  [PDF] [PPS]
• Uživatelské datové typy
  Součtové a součinové typy, stromy, průchody stromem. Reprezentace výrazů, symbolické manipulace s výrazy.
  [PDF] [PPS]
• Vstup a výstup
  Realizace operací pro vstup a výstup ve funkcionálním jazyce. Čtení a zpracování textového souboru. Zpracování výjimek.
  [PDF] [PPS]
• Abstraktní datové typy
  Základní abstrakce, oddělení rozhraní od implementace.
  [PDF] [PPS]
• Denotační sémantika programovacího jazyka
  Využití funkcionálního jazyka pro popis sémantiky, sémantické funkce, interpretace jednoduchého imperativního jazyka.
  [PDF] [PPS]
• Programovací jazyk Prolog
  Struktura logického programu, fakt, dotaz, pravidlo. Rekurzivní pravidla. Seznamy.
  [PDF] [PPS]