Dodatečná dokumentace

Zde jsou k disposici dodatečné materiály, jenž jsem zpracoval k jednotlivým tématům během semestru. Jedná se zejména o problematiky, které nejsou dostatečně pokryté v předepsaných studijních materiálech. Další věci mohou být k nalezení v mém skladišti materiálů, které jsem vytvořil ještě jako student.

Oficiální učební materiály (průběžně aktualizované)

Všechna autorská práva práva k následujícím textům mají jejich autoři. Využití textu mimo výuku v předmětu paradigmata programování je možné pouze se svolením autorů.

• Lekce 1: Program, jeho syntax a sémantika [pdf]
• Lekce 2: Vytváření abstrakcí pomocí procedur [pdf]
• Lekce 3: Lokální vazby a definice [pdf]
• Lekce 4: Tečkové páry, symbolická data a kvotování [pdf]
• Lekce 5: Seznamy [pdf]
• Lekce 6: Explicitní aplikace a vyhodnocování [pdf]
• Lekce 7: Akumulace [pdf]
• Lekce 8: Rekurze a indukce [pdf]
• Lekce 9: Hloubková rekurze na seznamech [pdf]
• Lekce 10: Kombinatorika na seznamech, reprezentace stromů a množin [pdf]
• Lekce 11: Kvazikvotování a manipulace se symbolickými daty [pdf]
• Lekce 12: Čistě funkcionální interpret Scheme [pdf], k dispozici je i zdrojový kód interpretu.

Dodatečné materiály pro zimní semestr

• Jazyk Scheme: jeho syntaxe a sémantika [pdf|ps|pdf A5|ps A5]
• Adaptivní Huffmanovo kódování. [pdf|ps]
• Dokumentace ke grafické knihovně canvas. [pdf|ps]
• Hledání druhé odmocniny Newtonovou metodou. [pdf|ps]
• Popis kompresní metody LZ78. [pdf|ps]
• Prefixové, infixové a postfixové výrazy. [pdf|ps]
• Representace polynomů a základní operace. [pdf|ps]
• Šifrovací algoritmus RSA. [pdf|ps]

Materiály pro letní semestr

• Modelování syntaxe a sémantiky. [pdf|ps]
• Několik poznámek o unifikaci. [pdf|ps]
• Bludiště (zápočtová soutěž) [zip]