..:: Martin Kot ::..
Úvod do teoretické informatiky - šk. rok 2010/11
Obecné Aktuálně Ke stažení
 
Základní studijní materiály
07.02.2011 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.2011 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.
07.02.2011 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
07.02.2011 Rozšířená verze výukového textu (pro studenty s hlubším zájmem o danou problematiku).
 
Příklady na cvičení
07.02.2011 Příklady na 1. cvičení - opakování množin, relací, grafů apod.
07.02.2011 Příklady na 2. cvičení - naivní teorie množin, intuitivní dokazování
07.02.2011 Příklady na 3. cvičení - formalizace tvrzení ve výrokové a v predikátové logice
07.02.2011 Příklady na 4. cvičení - úpravy formulí výrokové logiky, vénovy diagramy
07.02.2011 Příklady na 5. cvičení - rezoluční metoda pro výrokovou logiku
07.02.2011 Příklady na 6. cvičení - jazyky a operace s nimi
07.02.2011 Příklady na 7. cvičení - deterministické konečné automaty
07.02.2011 Příklady na 8. cvičení - nedeterministické konečné automaty, regulární výrazy
07.02.2011 Příklady na 9. cvičení - bezkontextové gramatiky
 
Přednášky - slidy
07.02.2011 Základy teorie množin, relací a funkcí
07.02.2011 Úvod: O čem je logika, deduktivně platné usuzování
07.02.2011 Formalizace v jazyce logiky, ekvivalentní vyjádření a de Morganovy zákony
07.02.2011 Ověřování platnosti úsudku (sémantické metody)
07.02.2011 Základy rezoluční metody dokazování
 
Slidy z tutoriálů kombinovaného studia
07.02.2011 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)