Lambda-kalkulus a funkcionální programování I - ZK 26.1.2015
Napsal: 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.
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.