Přidávám své otázky (také obor ISS):
Datové struktury: Hašování (Hric)
Přehled základních metod řešení kolizí, odhady délky řetězce (bez důkazů). Popis univerzálního hashování - definice a konstrukce c-univerzálního systému (s MIT důkazem). Perfektní nechtěl. Dlouhou dobu jsme řešili porovnávání různých metod (základní vs. dvojité vs. univerzální - paměť, faktory zaplnění, vhodnost použití...).
Analýza, návrh a management SS: Analýza a návrh softwarových systémů (Knap)
Volné povídání na dané téma. Dá se o tom mluvit hodiny.
Formální základy SWI: Relační model, návrh relačních schémat (Bednárek)
Nejdříve stručně o modelování datového modelu pomocí ER-diagramů, UML a převodu do relačního modelu. Pak definice relace, relačních schémat, funkčních závislostí (uzávěry, pokrytí atd.), podrobně normální formy a zmínka o normalizačních algoritmech.
Vývoj softwarových systémů: Nástroje pro kompilaci a sestavení (Yaghob)
Zvolil jsem taktiku povídat o tom, co znám. Letem světem o virtual machine, make, nmake, MSBuild, Team Foundation Server a Build, zmínka o NuGet balíčcích a ReSharperu. Chvíli jsem řešili různé způsoby interpretování zdrojáků. Stačilo.
Složitost a vyčíslitelnost: ČRF (Kučera -> Majerech)
Pan Kučera se nedostavil, tak to převzal Majerech. Měl jsem více času na přípravu, tak jsem nejdříve začal definicí ČRF, ORF, PRF, jejich inkluze a vlastnosti, základní věty - Kleene, univerzální fce, s-m-n (bez důkazu) a ekvivalence TS-ČRF (slovně idea důkazu). Pak jsem přešel na RS a RSM množiny a zakončil to větou o rekurzi, Riceovou větou a Halting problémem (s důkazy). Celé jsem se to snažil podat spíše přehledově, vyzdvihnout souvislosti a k čemu je co vlastně dobré. Pan Majerech to jen uzavřel komentářem, že jsem mu vyložil celou vyčíslitelnost.
Celkově jsem odešel s jedničkou. Bylo to fakt v pohodě. Je dobré si k teoretičtějším tématům připravit příklady a souvislosti, zkoušející to vždy potěší (alespoň soudím podle jejich výrazů
). Učil jsem se měsíc, poslední dva týdny intenzivně.
Přeji hodně štěstí dalším generacím.