..:: Martin Kot ::..

Introduction to theoretical computer science

English version of this subpage is under construction

Study text

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é.

Study text

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

Exercises

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

Exercises with solutions

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ů

Lectures - slides

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