Deprecated: Function set_magic_quotes_runtime() is deprecated in /DISK2/WWW/lokiware.info/mff/wakka.php on line 35 Matfiz : Lambda-KalkulusAFunkcionálníProgramování

Matfiz: Lambda-KalkulusAFunkcionálníProgramování

λ-kalkulus a funkcionální programování

Štěpánkovi bylo na první přednášce, jako obvykle, chvílemi velmi špatně rozumět. Přišel asi o deset minut později a skončil aspoň o půl hodiny dříve, takže jste o nic nepřišli, klidně se můžete přijít podívat příští týden, pokud jste nebyli dostatečně odrazeni. (Doporučuju sednout si co nejvíc dopředu.) — Adam