INFORMACE KE ZKOUSCE Z TEORIE KATEGORII (Log FF UK, ZS 2009/10)
===============================================================

Termin zkousky si se mnou domluvte individualne emailem na
behounek@cs.cas.cz. Pro zkousku pripadaji v uvahu pondelky
az ctvrtky (v ramci mych casovych moznosti), mistem konani
bude prednostne Ustav informatiky AV CR, Pod Vodarenskou
vezi 2 (oranzova budova asi 300 m jizne od stanice metra
Ladvi), mistnost 506 (4. patro). Z duvodu me sluzebni cesty
nebudu moci zkouset ve dnech 29.1.-14.2.2010. Z me strany
neni problem pozdejsi konani zkousky behem nasledujich
semestru ci zkouskovych obdobi (nakolik vam to studijni
predpisy umoznuji).

Ke zkousce doporucuji precist oddily 2.1-3.15 a 9.1-9.2
z knihy R. Goldblatt: Topoi (2nd ed., North-Holland 1984),
ktere vam mohu poslat emailem.

K uspesnemu slozeni zkousky je nutno znat definice, vety
a priklady pojmu uvadenych v prednasce (drtiva vetsina jich
je pojednana v uvedenych kapitolach Goldblattovy knihy).
Pro velmi dobre hodnoceni je nutno znat dukazy jednodussich
uvadenych tvrzeni, pro vyborne hodnoceni alespon castecne
reseni jednoduchych problemovych uloh (podobnych nekterym
z tech uvedenych v Goldblattove knize).

Libor Behounek