Stránka 1 z 1

zkouska z Lambda kalkulu

Napsal: 16. 1. 2009 18:22
od Myshaak
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??? :evil:

Re: zkouska z Lambda kalkulu

Napsal: 16. 1. 2009 18:37
od twoflower
Diky za info, jen jeden dotaz, protoze jsem to obcas nestihnul: probralo se tedy komplet prvni pdfko a z druheho co? Vim, ze na predposledni prednasce dosel na slajd 67, nevite, co vsechno jeste stihnul na te posledni? Diky.

Re: zkouska z Lambda kalkulu

Napsal: 16. 1. 2009 19:42
od Myshaak
twoflower píše:Diky za info, jen jeden dotaz, protoze jsem to obcas nestihnul: probralo se tedy komplet prvni pdfko a z druheho co? Vim, ze na predposledni prednasce dosel na slajd 67, nevite, co vsechno jeste stihnul na te posledni? Diky.
Clovece, na posl. prednasce jel jak drak. :D Doslo se nakam na slajd 92/93

Re: zkouska z Lambda kalkulu

Napsal: 16. 1. 2009 19:50
od twoflower
Myshaak píše:
twoflower píše:Diky za info, jen jeden dotaz, protoze jsem to obcas nestihnul: probralo se tedy komplet prvni pdfko a z druheho co? Vim, ze na predposledni prednasce dosel na slajd 67, nevite, co vsechno jeste stihnul na te posledni? Diky.
Clovece, na posl. prednasce jel jak drak. :D Doslo se nakam na slajd 92/93
:-)) Diky