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

Co se jinam nevejde
noox
Matfyz(ák|ačka) level I
Příspěvky: 8
Registrován: 28. 1. 2011 08:40
Typ studia: Informatika Bc.

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

Příspěvek od noox »

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.
anw

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

Příspěvek od anw »

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
kmnkonl

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

Příspěvek od kmnkonl »

Hric 5. 2. 2018

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

Zpět na „Ostatní“