Fórum studentů MFF UK

Rikal prof. Stepanek na posledni prednasce, co bude zkousek, do jake hloubky a co uz ne?

Na konci minuleho semestru napr. explicitne rekl, ze nezkousi denotacni semantiku.

Dik

Takze dnesni zkouska: jak se dalo cekat, pomerne v klidnem a pratelskem duchu.

-nejprve, pry "na zahrati" dva priklady na typovani, jeden nejaky uplne primitvni, druhy takrka totozny s tim, co je na strance 48 3. casti materialu.

-kdyz jsem to napsal, tak mi dal jeste Ciste typove systemy (definice + zneni lemmat, na ktera si vzpomenu). Presne tohle jsem nechtel dostat - to generacni lemma je zlo. :)

Nastesti jsem mel celou dobu od prof. Stepanka k dispozici takovou tu tabuklku s pravidly lambda-krychle (str. 36), takze se to dalo vymyslet.

wintermute píše:Ty slajdy co jsou na webu KTIML - není toho něják málo? Já mám pocit, že tam něco z přednášky chybí.

Malo? Cirka stranky 85 - 183 v casti 2 a vsech 80 stranek casti 3 - to mi neprijde zas tak malo. :) Zas nerikam, ze je toho nejak extra moc...
Je to prakticky vse, co se prednaselo, jen vyjimecne se stalo, ze narozdil od online materialu promitnul na prednasce nejaky slajd navic, treba s nejakym dukazem

Ty slajdy co jsou na webu KTIML - není toho něják málo? Já mám pocit, že tam něco z přednášky chybí.

Nazdarek!

Jsem lenoch, a na LK2 jsem vubec nechodil Chci se proto zeptat - bude zkouska probihat stejne jako v ZS? Respektive - chce neco (narozdil od ZS) na zapocet? diik

Tak dnes jsem byl na zkousce, chtel nejdriv zadefinovat \lambda--> a \lambda2 (+pravidla v nich), potom chtel Bottom (+pravidla) a negaci.