====== 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í [[http://www.fi.muni.cz/~popel/prodekan/|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.
Tato kontrola je jen **rámcová**, stále se může stát, že v otázce zůstala zapomenutá chybka či nesrovnalost, vyučující za toto nenese odpovědnost, berte tuto rámcovou kontrolu jako formu pomoci od vyučujících pro studenty. Stejně tak nejste vázáni textem v otázce a můžete při zkoušce přidávat věci k tématu dle svých znalostí.
==== Seznam otázek ====
* [[home:inf:AP1|AP1, IN1 Množiny a relace]] (**hotovo, zkontrolováno**)
* [[home:inf:AP2|AP2, IN2 Elementární kombinatorika]] (**hotovo, zkontrolováno**)
* [[home:inf:AP3|AP3, IN3 Uspořádání]] (**hotovo, zkontrolováno**)
* [[home:inf:AP4|AP4, IN4 Výroková logika]] (**hotovo, zkontrolováno**)
* [[home:inf:AP5|AP5, IN5 Důkazy programů]] (**hotovo**)
* [[home:inf:AP6|AP6, IN6 Rekurze]] (**hotovo, zkontrolováno**)
* [[home:inf:AP7|AP7, IN7 Vyhodnocování výrazů]] (**hotovo, zkontrolováno**)
* [[home:inf:AP8|AP8, IN8 Regulární jazyky]] (**hotovo**)
* [[home:inf:AP9|AP9, IN9 Konečné automaty]] (**hotovo**)
* [[home:inf:AP10|AP10, IN10 Bezkontextové jazyky]] (**hotovo**)
* [[home:inf:AP11|AP11, IN11 Zásobníkové automaty a Syntaktická analýza]] (**hotovo**)
* [[home:inf:AP12|AP12 Pravděpodobnost a statistika]] (**hotovo**)
* [[home:inf:IN12|IN12 Turingovy stroje a jazyky typu 0]] (**hotovo**)
* [[home:inf:AP13|AP13 Prolog]] (**hotovo**)
* [[home:inf:IN13|IN13 Vyčíslitelnost]] (**hotovo**)
* [[home:inf:AP14|AP14 Predikátová logika prvního řádu]] (**hotovo, zkontrolováno**)
* [[home:inf:IN14|IN14 Složitost]] (**hotovo**)
* [[home:inf:AP15|AP15, IN15 Datové struktury a jejich implementace]] (**hotovo, zkontrolováno**)
* [[home:inf:AP16|AP16, IN16 Třídění]] (**hotovo, zkontrolováno**)
* [[home:inf:AP17|AP17, IN16 Grafové algoritmy]] (**hotovo**)
* [[home:inf:IN17|IN17 Algoritmy pro práci s řetězci]] (**hotovo, zkontrolováno**)
* [[home:inf:IN18|IN18 Metody analýzy složitosti algoritmů]] (**hotovo, zkontrolováno**)
* [[home:inf:IN19|IN19 Metody konstrukce efektivních algoritmů]] (**hotovo**)
**Pozor:** kontrola otázky rozhodně neznamená, že je otázka úplná a nic víc nemusíte vědět. Stále se komise může u zkoušky zeptat na další souvislosti k dané otázce.
~~DISCUSSION~~