# [NAIL078] Lambda kalkulus I

<{ForumPost(poster="looky", timestamp=2010-02-06 12:44:01)}>
Nevíte někdo, kam přesně Štěpánek letos došel?
<{/ForumPost}>

<{ForumPost(poster="Stevko", timestamp=2010-02-09 16:36:05)}>
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ť?
1. Čo je bezospornosť, je λ kalkulus bezosporný a dá sa rozšíriť na sporný (dá - vraj bolo na cvičení)?
1. Scottova veta
1. Kódovanie λ termov, dôkaz, že {M|M má normálny tvar} nie je rekurzívna.

<{/ForumPost}>