[NAIL078] Lambda kalkulus I

[looky]

Nevíte někdo, kam přesně Štěpánek letos došel?

[Stevko]

Dnešná skúška: Štěpánek sa najprv spýtal, či chceme typovaný alebo netypovaný λ kalkulus.
Otázky (jedna na človeka):

1. Čo je normálny tvar a aké sú podmienky pre jeho jednoznačnosť?
2. Čo je bezospornosť, je λ kalkulus bezosporný a dá sa rozšíriť na sporný (dá - vraj bolo na cvičení)?
3. Scottova veta
4. Kódovanie λ termov, dôkaz, že {M|M má normálny tvar} nie je rekurzívna.