..:: Martin Kot ::..
Introduction to theoretical computer science

English version of this subpage is under construction

Aktuální informace
22.04.2008 Bylo zveřejněno ukázkové zadání 2. zápočtové písemky (sekce Ke stažení). Písemka se bude psát na přednášce 30.4. a nebude povoleno používat přinesené studijní materiály.
22.04.2008 Byla zveřejněna 4 zadání bonusových referátů (v sekci Projekty)
04.04.2008 Ke stažení je nová verze zadání na 7. cvičení (jsou v ní přidány asi 3 příklady).
19.03.2008 2.4. se na přednášce bude psát první zápočtová písemka (na oblast logiky).
19.03.2008 V pátky 28.3. v 11:30 a 11.4. v 9:00 v NA1 budou náhradní přednášky za dvě odpadnuté kvůli akcím konaným v prostorách nové auly. Díky tomu bude v čtrnácti týdnech semestru původně plánovaných 12 přednášek.
18.03.2008 V sekci Ke stažení je ukázkové zadání první zápočtové písemky
14.03.2008 Ve středu 19.3. nebude přednáška z důvodu konání akce Symbióza 2008 v prostorách nové auly
14.03.2008 V sekci Ke stažení jsou již příklady na 4. cvičení
29.02.2008 Do sekce Ke stažení přidány příklady na 2. cvičení
26.02.2008 Tyto stránky letos již nejsou oficiálními stránkami předmětu. I nadále zde ale naleznete potřebné informace.