od pavex » 20. 2. 2016 19:53
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.
Přidávám své otázky (také obor ISS):
[b]Datové struktury:[/b] 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í...).
[b]Analýza, návrh a management SS:[/b] Analýza a návrh softwarových systémů (Knap)
Volné povídání na dané téma. Dá se o tom mluvit hodiny. :)
[b]Formální základy SWI:[/b] 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.
[b]Vývoj softwarových systémů:[/b] 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.
[b]Složitost a vyčíslitelnost:[/b] Č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. :D
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. :)