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

Odeslat odpověď

Smajlíci
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:

BBCode je zapnutý
[img] je zapnutý
[flash] je vypnutý
[url] je zapnuté
Smajlíci jsou zapnutí

Přehled tématu
   

Rozšířit náhled Přehled tématu: Lambda-kalkulus a funkcionální programování I - ZK 26.1.2015

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

od kmnkonl » 14. 2. 2018 22:29

Hric 5. 2. 2018

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

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

od anw » 25. 6. 2015 14: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

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

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.

Nahoru