..:: Martin Kot ::..
Úvod do teoretické informatiky - šk. rok 2009/10
Obecné Aktuálně Ke stažení Bonusové příklady
 
Základní studijní materiály
10.02.2010 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.
10.02.2010 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.
10.02.2010 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
10.02.2010 Rozšířená verze výukového textu (pro studenty s hlubším zájmem o danou problematiku).
 
Příklady na cvičení
10.02.2010 Příklady na 1. cvičení - opakování množin, relací, grafů apod.
16.02.2010 Příklady na 2. cvičení - naivní teorie množin, intuitivní dokazování
23.02.2010 Příklady na 3. cvičení - formalizace tvrzení ve výrokové a v predikátové logice
01.03.2010 Příklady na 4. cvičení - úpravy formulí výrokové logiky, vénovy diagramy
09.03.2010 Příklady na 5. cvičení - rezoluční metoda pro výrokovou logiku
15.03.2010 Příklady na 6. cvičení - jazyky a operace s nimi
24.03.2010 Příklady na 7. cvičení - deterministické konečné automaty
24.03.2010 Příklady na 8. cvičení - nedeterministické konečné automaty, regulární výrazy
06.04.2010 Příklady na 9. cvičení - bezkontextové gramatiky
 
Přednášky - slidy
10.02.2010 Základy teorie množin, relací a funkcí
10.02.2010 Úvod: O čem je logika, deduktivně platné usuzování
10.02.2010 Formalizace v jazyce logiky, ekvivalentní vyjádření a de Morganovy zákony
10.02.2010 Ověřování platnosti úsudku (sémantické metody)
10.02.2010 Základy rezoluční metody dokazování
15.03.2010 Jazyky a operace s nimi, konečné automaty
24.03.2010 Konečné automaty, konstrukce automatů pro průnik, sjednocení a doplněk jazyků, nedeterministické konečné automaty
31.03.2010 Nedeterministické konečné automaty, převod NKA na DKA, regulární výrazy, korespondence RV a KA
06.04.2010 Neregulární jazyky, bezkontextové gramatiky
 
Slidy z tutoriálů kombinovaného studia
16.02.2010 1. tutoriál - požadavky na absolvování předmětu, úvod do matematické logiky (shrnutí celého účiva z oblasti logiky spadajícího do předmětu UTI)