..:: Martin Kot ::..
Úvod do teoretické informatiky - šk. rok 2007/8
Obecné Aktuálně Ke stažení Projekty
 
Základní studijní materiály
26.02.2008 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.
26.02.2008 Studijní materiály pro oblast logiky na stránce doc. Duží
26.02.2008 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
26.02.2008 Rozšířená verze výukového textu (pro studenty s hlubším zájmem o danou problematiku).
 
Zadání projektů
26.02.2008 Všechna zadání povinných zápočtových příkladů v pdf souboru
26.02.2008 Zatím zveřejněná zadání bonusových příkladů
 
Příklady na cvičení
18.03.2008 Ukázková první zápočtová písemka (na oblast logiky)
22.04.2008 Ukázková druhá zápočtová písemka (na oblast teorie jazyků a automatů)
26.02.2008 Příklady na 1. cvičení - opakování množin, relací, grafů apod.
29.02.2008 Příklady na 2. cvičení
07.03.2008 Příklady na 3. cvičení
14.03.2008 Příklady na 4. cvičení
22.03.2008 Příklady na 5. cvičení
26.02.2008 Příklady na 6. cvičení - jazyky a operace s nimi
04.04.2008 Příklady na 7. cvičení - konečné automaty (deterministické i nedeterministické) a operace s nimi
21.02.2008 Příklady na 8. cvičení - regulární výrazy
21.02.2008 Příklady na 9. cvičení - bezkontextové gramatiky a jazyky
21.02.2008 Příklady na 10. cvičení - Turingovy stroje
21.02.2008 Příklady na 11. cvičení - složitost algoritmu, asymptotická notace
21.02.2008 Příklady na 12. cvičení - časová složitost, třída PTIME
 
Přednášky - slidy
28.02.2008 Organizační informace, požadavky apod.
26.02.2008 Úvod: O čem je logika, deduktivně platné usuzování (autorka Marie Duží)
26.02.2008 Základy teorie množin, relací a funkcí (autorka Marie Duží)
18.03.2008 Formalizace v jazyce logiky, ekvivalentní vyjádření a de Morganovy zákony (autorka Marie Duží)
18.03.2008 Ověřování platnosti úsudku (sémantické metody) (autorka Marie Duží)
24.04.2008 Formální jazyky a automaty (základní pojmy)
24.04.2008 Deterministické a nedeterministické automaty, konstrukce automatů pro průnik a sjednocení jazyků, doplněk jazyka apod.
24.04.2008 Konstrukce pro zřetězení jazyků a iteraci jazyka, regulární výrazy, převod regulárního výrazu na konečný automat, normovaný tvar automatu, neregulární jazyky
24.04.2008 Bezkontextové gramatiky, zásobníkové automaty, Turingovy stroje