Fórum studentů MFF UK

Zkouška probíhá na chodbě u stolečků ve třetím patře.
Každej dostane 4 otázky.

Moje byly:
1. Definovat numerály. Definice a definice uspořádané dvojice. (První pdf, strany 28 a 29.)
2. Second fixed point theorem. Znění a důkaz. (První pdf, strany 49 - 52.)
3. Turingův fixed point kombinátor a jeho význam. Znění, důkaz a nějaký povídání o kombinátorech, jako co to je a jak se to používá. Nakonec k tomu chtěl i kontextový lemma s důkazem. (První pdf, strana 80 a strany 23, 24.)
4. Obě substituční lemmata pro lambda->Curry. Znění s důkazy, nic víc k tomu nechtěl. (Druhý pdf, strana 27.)

Hric je hodnej a chce s člověkem k tomu řešení dojít. Většina lidí odejde nejhůř s dvojkou.

Zápočet pro tehle předmět neexistuje, zapíše ho prostě se zkouškou.
Pro ty, co nechodili na přednášku jako já, většinou to dopřednáší tak do stránky 40 druhého Štěpánkova pdfka.

second fixed point thm (+dukaz)
- AP(#a,#b) a NumX vzdy existuji? co vlastne ten teorem rika (v lidske reci)? nejake kodovani? co je tezsi spocitat - X nebo F|X|?

church-rosser, na coz jsem se zatvaril ponekud nejiste, tak mi rekl ze staci zformalizovat zneni vety
- je vysledny term jednoznacny?

dusledek church-rossera u normalnich forem (jednoznacnost) (+oduvodneni)

zaptal se me, jestli jsem se ucil typovany lambda kalkulus (2. pdf, az do strany 50), rekl jsem ze ano
veta o redukci subjektu (+dukaz)
- rozdil teto vety u lambda-curry a lambda-church

Hric 5. 2. 2018

1) lambda definovatelnost rekurzivních funkci
2) delta pravidla
3) substituční lemma pro typovaný lambda kalkulus