od noox » 5. 2. 2015 10:43
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.
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.