Zaklady zlozitosti a vycislitelnosti [Hladik] - Pseudopolynomialne algoritmy a silna NP-uplnost
definicie a pseudopolynomialny algoritmus pre batoh
priklady silno a slabo NP-uplnych problemov
Datove struktury [Kucera] - Haldy (zamerat sa na binomialne)
definicie, operacie,
amortizovana zlozitost
Systemove aspekty pocitacov [Yaghob] - Real-time planovanie
definicie, prehlad algoritmov pre aperiodicke/periodicke tasky
doplnujuce otazky k rozdeleniu RT systemov (hard-RT, firm-RT, soft-RT...)
Paralelne a distribuovane systemy [Zavoral] - Konsenzus v distribuovanych systemoch
co to je, priklady problemov (o 2 armadach, o byzantskych generaloch)
jeden protokol popisat detailnejsie (popisoval som PAXOS)
Formalne metody [Parizek] - Abstrakcie, CEGAR
co to je, co to riesi, priklady abstrakcii
popisat CEGAR loop (initial abstraction, model checking, counter-example analysis, abstraction refinement)