Teoretické základy informatiky

Rozcestník na zpracované i nezpracované otázky s upraveným pořadím, aby jednotlivé otázky SZBIN a SZBAP mohly být spárovány. Originální zdroj otázek. AP znamená Aplikovaná informatika IN Informatika. Některé stejně se jmenující otázky se liší v detailech, v tom případě je to uvedeno v detailu každé otázky, že se liší a kterou částí.

Procento v závorce udává, z kolika procent je otázka vypracovaná. (ano/ne) udává, zda někdo potvrdil zpracování otázky.
Nově jsem přidal hodnotu (0%/forum), která říká, že se nějaký student k otázce přihlásil na fóru v ISu, ale doposud nepotvrdil, že ji vypracuje zde.

Otázky si postupně přečtou někteří studenti doktorského studia, případně přímo vyučující. Jejich podněty pro doplnění textu, opravy nesrovnalostí či odstranění matoucích textů budou do otázek zaneseny a tyto otázky budou označeny textem zkontrolováno. V otázce bude uvedeno, kdo ji zkontroloval.

• AP1, IN1 Množiny a relace (hotovo, zkontrolováno)
• AP2, IN2 Elementární kombinatorika (hotovo, zkontrolováno)
• AP3, IN3 Uspořádání (hotovo, zkontrolováno)
• AP4, IN4 Výroková logika (hotovo, zkontrolováno)
• AP5, IN5 Důkazy programů (hotovo)
• AP6, IN6 Rekurze (hotovo, zkontrolováno)
• AP7, IN7 Vyhodnocování výrazů (hotovo, zkontrolováno)
• AP8, IN8 Regulární jazyky (hotovo)
• AP9, IN9 Konečné automaty (hotovo)
• AP10, IN10 Bezkontextové jazyky (hotovo)
• AP11, IN11 Zásobníkové automaty a Syntaktická analýza (hotovo)
• AP12 Pravděpodobnost a statistika (hotovo)
• IN12 Turingovy stroje a jazyky typu 0 (hotovo)
• AP13 Prolog (hotovo)
• IN13 Vyčíslitelnost (hotovo)
• AP14 Predikátová logika prvního řádu (hotovo, zkontrolováno)
• IN14 Složitost (hotovo)
• AP15, IN15 Datové struktury a jejich implementace (hotovo, zkontrolováno)
• AP16, IN16 Třídění (hotovo, zkontrolováno)
• AP17, IN16 Grafové algoritmy (hotovo)
• IN17 Algoritmy pro práci s řetězci (hotovo, zkontrolováno)
• IN18 Metody analýzy složitosti algoritmů (hotovo, zkontrolováno)
• IN19 Metody konstrukce efektivních algoritmů (hotovo)