• Stránky předmětu: https://edux.feld.cvut.cz/courses/A4M36TPJ/
• Přednášející: Pavel Strnad
• Cvičící: Pavel Strnad, Zdeněk Buk

• Zápisky

* Domaci ukoly 2014/2015 (Stejne jako 2013/2015).
* [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/homeworks.zip|homeworks.zip]]

• Řešení zkouškových testů vlastními silami
• link na podobny predmet na FITu vyucovany v letnim semestru.
• Výklad ke třetí úloze v opravném testu z 6.1.2012.
• Maude manual
• Pro pobaveni
• Řešení zkouškových příkladů

Předtermín 21.12.2012

30 min

Nejprve otázky, pak teprve kouká (poprvé) na semestrálku a známku už neovlivní, řekl ji než semestrálku otevřel

Otázky které zazněly u zkoušky:

SOS / BOS

• Popište 3 kroky SOS(BOS) (mapování vstupu, přepisovací relace, mapování výstupu)
• Popište jak je definovaná SOS - z čeho se skládá a vztahy mezi tím (chtěl přepisovací pravidla, I/O funkce, všechny a finální konfigurace)
• Determinismus SOS
• Nedeterminismus sémantiky implikuje nedeterminismus přepisovací relace nebo je to naopak?
• Rozdíl mezi přepisovacím pravidlem (tj relace) a funkcí
• Formálně definujte konfluenci
• Jak je to se zaseknutými konfiguracemi v BOS a SOS a rozdíly mezi SOS a BOS
• Proč existuje denotační semantika a její vztah k BOS
• Vztahy mezi operační a denotační sémantikou
• Důkaz konfluence

Lambda kalkulus a fixní body

• Vytvořit generující funkci pro zadanou rekurzivní funkci a vysvětlit jak to vlastně všechno funguje
• Co je to lambda kalkulus - zadefinovat, vysvětlit, z čeho se skládá, jak to že je tak silný, jak se tam řeší např. čísla
• Co umožňuje v lambda kalkulu cykly / rekurzi (správná odpověď je kombinátor). Co to je, jak funguje + odkrokovat příklad
• Jaký je rozdíl mezi funkcí(v teorii množin) a funkcí v lambda kalkulu

Další otázky

• Continuations co je to a jak funguje?
• Progress, Soudness co to znamená a jak je zapsat
• Co je FJ BOS nebo SOS a proč?

I když otázky jsou někdy nepříjemné povětšinou vždy lidsky vysvětlí a navede ke správné odpovědi.