..:: Martin Kot ::..
Úvod do teoretické informatiky - šk. rok 2014/15
Základní studijní materiály
03.03.2015 Ú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
03.03.2015 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.
03.03.2015 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é.
 
Rozšiřující studijní materiály
03.03.2015 Rozšířená verze výukového textu (pro studenty s hlubším zájmem o danou problematiku).
03.03.2015 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
 
Příklady na cvičení
03.02.2015 Příklady na 1. cvičení - množiny, relace, funkce, ...
03.03.2015 Příklady na 2. cvičení - formalizace pomocí výrokové logiky, tabulková metoda
03.03.2015 Příklady na 3. cvičení - sémantický spor, ekvivalence formulí, ekvivalentní úpravy
03.03.2015 Příklady na 4. cvičení - normální formy formulí, logické vyplývání, rezoluční metoda
12.03.2015 Příklady na 5. cvičení - predikátová logika - formalizace pomocí PL, syntaxe PL
31.03.2015 Příklady na 6. cvičení - predikátová logika, logické vyplývání v predikátové logice
31.03.2015 Příklady na 7. cvičení - formální jazyky, jazykové operace, regulární výrazy
21.04.2015 Příklady na 8. cvičení - deterministické a nedeterministické konečné automaty
21.04.2015 Příklady na 9. cvičení - zobecněné nedeterministické konečné automaty
21.04.2015 Příklady na 10. cvičení - bezkontextové gramatiky
21.04.2015 Příklady na 11. cvičení - graf řídícího toku algoritmu, invarianty, korektnost algoritmu
 
Příklady na cvičení s ukázkovými řešeními, ukázkové písemky
03.03.2015 Zadání ukázkové zkouškové písemky z minulého roku (Pozn.: Pro letošní rok se může struktura písemky lišit)
03.03.2015 Zadání ukázkové zápočtové písemky z minulého roku (Pozn.: Pro letošní rok se může struktura písemky lišit)
03.03.2015 Příklady na 1. cvičení s ukázkovými řešeními některých příkladů
21.04.2015 Příklady na 2. cvičení s řešením některých příkladů
21.04.2015 Příklady na 3. cvičení s řešením některých příkladů
21.04.2015 Příklady na 4. cvičení s řešením některých příkladů
21.04.2015 Příklady na 5. cvičení s řešením některých příkladů
21.04.2015 Příklady na 7. cvičení s řešením některých příkladů
 
Přednášky - slidy
03.03.2015 Úvod, výroková logika, logické spojky
03.03.2015 Syntaxe a sémantika výrokové logiky, ekvivalentní úpravy
03.03.2015 Normální formy formulí, logické vyplývání, rezoluční metoda
09.03.2015 Syntaxe a sémantika predikátové logiky
12.03.2015 Predikátová logika (dokončení)
31.03.2015 Formální jazyky, regulární výrazy
31.03.2015 Konečné automaty
21.04.2015 Nedeterministické konečné automaty, převod regulárních výrazů na konečné automaty
21.04.2015 Bezkontextové gramatiky
21.04.2015 Algoritmy a algoritmické problémy, korektnost algoritmu