..:: Martin Kot ::..

Introduction to theoretical computer science

English version of this subpage is under construction

Study text

02.05.2014	Úvod do teoretické informatiky: logika a algoritmy (verze z 9.2.2014) (autor: doc. Ing. Zdeněk Sawa, Ph.D.) — výukový text pro oblast logiky a algoritmů, tento text ještě není zcela hotov, v průběhu semestru bude dále doplňován a rozšiřován
07.02.2014	Výukový text k teorii jazyků a automatů a k vyčíslitelnosti a složitosti. Výukový text vznikl v letech, kdy předmět neobsahoval matematickou logiku. Ne vše z něj tedy bude skutečně probráno.
07.02.2014	Animace - seznam animací k předmětům Teoretická informatika a Úvod do teoretické informatiky. Jde o animace vytvořené v rámci bakalářských a diplomových prací, animace, které byly součástí přednášek (trochu doplněné, aby dávaly smysl i samostatně bez výkladu), a některé zcela nové.

Study text

07.02.2014	Rozšířená verze výukového textu (pro studenty s hlubším zájmem o danou problematiku).
07.02.2014	Logika pro informatiky (autor: doc. RNDr. Marie Duží, CSc.) — výukový text k logice, v rámci předmětu UTI bude probírána pouze část učiva z tohoto textu

Exercises

07.02.2014	Příklady na 1. cvičení - množiny, relace, funkce, ...
10.03.2014	Příklady na 2. cvičení - formalizace pomocí výrokové logiky, tabulková metoda
10.03.2014	Příklady na 3. cvičení - sémantický spor, ekvivalence formulí, ekvivalentní úpravy
10.03.2014	Příklady na 4. cvičení - normální formy formulí, logické vyplývání
10.03.2014	Příklady na 5. cvičení - rezoluční metoda, predikátová logika - formalizace pomocí PL, syntaxe PL
02.05.2014	Příklady na 6. cvičení
02.05.2014	Příklady na 7. cvičení
02.05.2014	Příklady na 8. cvičení
02.05.2014	Příklady na 9. cvičení
02.05.2014	Příklady na 10. cvičení
02.05.2014	Příklady na 11. cvičení
02.05.2014	Příklady na 12. cvičení
07.05.2014	Příklady na 13. cvičení

Exercises with solutions

21.05.2014	Zadání ukázkové zkouškové písemky (Pozn.:Skutečná písemka se může od ukázkové písemky lišit v počtu i v typu jednotlivých příkladů, v počtu bodů za jednotlivé příklady apod. Celkový rozsah písemky bude zhruba stejný jako v ukázkové písemce.)
17.04.2014	Zadání ukázkové zápočtové písemky
21.05.2014	Příklady na 1. cvičení s ukázkovými řešeními některých příkladů
21.05.2014	Příklady na 8. cvičení s ukázkovými řešeními některých příkladů
21.05.2014	Příklady na 9. cvičení s ukázkovými řešeními některých příkladů
21.05.2014	Příklady na 10. cvičení s ukázkovými řešeními některých příkladů
21.05.2014	Příklady na 12. cvičení s ukázkovými řešeními některých příkladů
21.05.2014	Příklady na 13. cvičení s ukázkovými řešeními některých příkladů

Lectures - slides

07.02.2014	Přednášky ze školního roku 2012/13
21.05.2014	Kompletní přednášky ze školního roku 2013/14 v jednom souboru
10.03.2014	Úvod, výroková logika, logické spojky
10.03.2014	Syntaxe a sémantika výrokové logiky, ekvivalentní úpravy
10.03.2014	Normální formy formulí, logické vyplývání
10.03.2014	Rezoluční metoda, predikátová logika
02.05.2014	Syntaxe a sémantika predikátové logiky
02.05.2014	Predikátová logika (dokončení)
02.05.2014	Formální jazyky, regulární výrazy
02.05.2014	Deterministické konečné automaty
02.05.2014	Nedeterministické konečné automaty, převod regulárních výrazů na konečné automaty
02.05.2014	Bezkontextové gramatiky
02.05.2014	Algoritmy a algoritmické problémy, korektnost algoritmu
02.05.2014	Výpočetní složitost algoritmů, asymptotická notace
21.05.2014	Výpočetní složitost algoritmů, vybrané algoritmické problémy