..:: Martin Kot ::..
Úvod do teoretické informatiky - šk. rok 2011/12
Obecné Aktuálně Ke stažení Kombinované studium
Základní studijní materiály
09.02.2012 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.
09.02.2012 Základní text k logice (autourkou textu je Doc. Marie Duží) - v rámci předmětu UTI bude z tohoto textu probíráno pouze učivo z kapitol 1, 2.1, 2.2, 3.1 a 3.2.
09.02.2012 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
09.02.2012 Rozšířená verze výukového textu (pro studenty s hlubším zájmem o danou problematiku).
 
Příklady na cvičení
09.02.2012 Příklady na 1. cvičení - množiny, relace, funkce, ...
09.02.2012 Příklady na 2. cvičení - intuitivní dokazování, výroková logika
20.02.2011 Příklady na 3. cvičení - ekvivalentní úpravy ve výrokové logice, normální formy formulí
27.02.2011 Příklady na 4. cvičení - rezoluční metoda ve výrokové logice, predikátová logika
05.03.2012 Příklady na 5. cvičení - Vennovy diagramy, využití PL1 pro definice a důkazy na množinách
05.03.2012 Příklady na 6. cvičení - formální jazyky a operace s nimi
15.03.2012 Příklady na 7. cvičení - deterministické konečné automaty
19.03.2012 Příklady na 8. cvičení - nedeterministické konečné automaty, převod NKA na DKA, regulární výrazy
29.03.2012 Příklady na 9. cvičení - bezkontextové gramatiky
10.04.2012 Příklady na 10. cvičení - turingovy stroje
13.04.2012 Příklady na 11. cvičení - stroj RAM
 
Přednášky - slidy
09.02.2012 Organizační informace, požadavky apod., opakování základních pojmů (množiny, relace, ...)
09.02.2012 Co je to logika, platné úsudky, deduktivní usuzování, výroková logika
15.02.2012 Výroková logika - ekvivalentní úpravy, normální formy, úsudky
27.02.2012 Výroková logika - rezoluční metoda. Predikátová logika - syntaxe, sémantika, ekvivalentní úpravy.
15.03.2012 Formální jazyky a operace na jazycích
15.03.2012 Deterministické konečné automaty
29.03.2012 Nedeterministické konečné automaty, regulární výrazy
29.03.2012 Bezkontextové gramatiky
10.04.2012 Turingovy stroje, algoritmické problémy a algoritmy
09.05.2012 Algoritmické problémy a algoritmy, stroj RAM, Churchova-Turingova teze
09.05.2012 Časová a paměťová složitost algoritmů, asymptotická notace
09.05.2012 Časová a paměťová složitost problémů,třídy složitosti
09.05.2012 Nedeterministické algoritmy, třída NPTIME, NP-úplné problémy, nerozhodnutelné problémy
 
Pro studenty kombinovaného studia
15.02.2012 "Slajdy" pro 1. tutoriál - požadavky na absolvování předmětu, opakování základních pojmů (množiny, relace, ...), úvod do matematické logiky (shrnutí celého účiva z oblasti logiky spadajícího do předmětu UTI)
15.02.2012 Příklady na 1. tutoriál - opakování základních pojmů (množiny, relace, funkce, ...), úvod do matematické logiky (intuitivní dokazování, výroková logika )
27.02.2012 Příklady na 2. tutoriál - výroková logika (ekvivalentní úpravy, normální formy, rezoluční metoda), predikátová logika (syntaxe, sémantika, ekvivalentní úpravy)
15.03.2012 Příklady na 3. tutoriál - Vennovy diagramy, úvod do teorie formálních jazyků
29.03.2012 Příklady na 4. tutoriál - Konečné automaty (deterministické i nedeterministické), regulární výrazy
12.04.2012 Příklady na 5. tutoriál - Bezkontextové gramatiky
27.04.2012 Příklady na 6. tutoriál - Turingovy stroje, stroje RAM
10.05.2012 Příklady na 7. tutoriál - Asymptotická notace, složitost algoritmu, třídy složitosti