zkouska z Lambda kalkulu
Napsal: 16. 1. 2009 18:22
Zdarec, jen info pro lidi, kteri nebyli na posl. prednasce a cvikach:
prof. Stapenek rikal, ze vypise pro nas nejake terminy. Pokud jsem dobre pochopil, nebude ani uplne nutne se hlasit, proste kdo tam ve dve hodiny prijde, toho odzkousi.
Zkouska bude ustni. *Nebude* tam denotacni semantika. Nema smysl se ucit tezsi dukazy, ale chce, abychom znali zneni vet (a co znamenaji). Naucit se lehci dukazy (bazova lemata) nas pry nezabije. Tak hodne zdaru!
_______________________
PS: Proc sakra neni "Ostatni" v NMgr. a musim to jak trapak hazet do 3. rocniku???
prof. Stapenek rikal, ze vypise pro nas nejake terminy. Pokud jsem dobre pochopil, nebude ani uplne nutne se hlasit, proste kdo tam ve dve hodiny prijde, toho odzkousi.
Zkouska bude ustni. *Nebude* tam denotacni semantika. Nema smysl se ucit tezsi dukazy, ale chce, abychom znali zneni vet (a co znamenaji). Naucit se lehci dukazy (bazova lemata) nas pry nezabije. Tak hodne zdaru!
_______________________
PS: Proc sakra neni "Ostatni" v NMgr. a musim to jak trapak hazet do 3. rocniku???