Lambda-kalkulus a funkcionální programování I - ZK 26.1.2015

Co se jinam nevejde

Lambda-kalkulus a funkcionální programování I - ZK 26.1.2015

Příspěvekod 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.
noox
Matfyz(ák|ačka) level I
 
Příspěvky: 8
Registrován: 28. 1. 2011 08:40
Typ studia: Informatika Bc.
Login do SIS: 73502469

Re: Lambda-kalkulus a funkcionální programování I - ZK 26.1.

Příspěvekod anw » 25. 6. 2015 13:37

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
anw
 


Zpět na Ostatní

Kdo je online

Uživatelé procházející toto fórum: Žádní registrovaní uživatelé a 1 návštěvník

cron