..:: Martin Kot ::..
Teoretická informatika - šk. rok 2015/16
Obecné Aktuálně Ke stažení Referáty Kombinované studium
Obecné údaje
Garant:  Prof. RNDr. Petr Jančar, CSc.
Počet kreditů:  6
Ukončení:  Zkouška
Web předmětu:  http://www.cs.vsb.cz/jancar/TEORET-INF/teoret-inf.htm
Tutor: 
 
Rozdělení bodů
Zápočet: 
  • 21b - krátká písemka (cca 45 minut), psát se bude na 6. tutoriálu
  • 10b - písemně vypracované a ústně předvedené řešení zadaného příkladu (podrobnější informace pod záložkou "Referáty")
  • 7b - aktivita na tutoriálu (krátké písemky na začátku tutoriálů ověřující nastudování zadaných oblastí, odpovědi na dotazy tutora, ...)
  • Podmínkou na zápočet je předvedení referátu (uznané vyučujícím za dostatečné) a získaných alespoň 7 bodů z 21 z písemky.
Zkouška: 
  • 62b - písemná zkouška (minimálně je nutné získat 25b pro úspěšné absolvování předmětu)
  • 0b - nepovinná ústní zkouška - možnost upravit body v obou směrech na základě konzultací nad písemkou
 
Upozornění
  • Aktuální důležité informace se budou objevovat pod záložkou Aktuálně.
  • Zásady pro vypracování referátů najdete pod záložkou Referáty.
  • Různé užitečné materiály ke stažení najdete pod záložkou Ke stažení.
  • Sledujte i oficiální stránku předmětu, kde garant předmětu prof. Jančar zveřejňuje informace platné pro všechny studenty předmětu TI.
 
Průběh setkání
1. setkání (25.9.2015) 
  • Přehled náplně kursu, informace o požadavcích k zápočtu a o zkoušce, časový plán.
  • Oblast konečných automatů a regulárních jazyků.
2. setkání (9.10.2015) 
  • Bezkontextové jazyky a gramatiky.
  • Zásobníkové automaty.
3. setkání (23.10.2015) 
  • Turingovy stroje, model RAM.
  • Složitost algoritmů.
4. setkání (6.11.2015) 
  • Obecné metody návrhu algoritmů a analýza jejich složitosti.
  • Třídy složitosti problémů, speciálně PTIME, NPTIME, PSPACE.
5. setkání (21.11.2015) 
  • Diskuse ukázkové zápočtové písemky.
  • Polynomiální převoditelnost problémů, NP-úplnost.
6. setkání (4.12.2015) 
  • Zápočtová písemka.
  • Algoritmická nerozhodnutelnost problémů.
7. setkání (18.12.2015) 
  • Informace o zkoušce, diskuse ukázkové zkouškové písemky.
  • Prezentace referátů.
 
Studijní literatura
Základní
Další
  • T. Cormen, C. Leiserson, R. Rivest: Introduction to Algorithms. The MIT Press, 1990.
  • John E. Hopcroft a Jeffrey D. Ullman: Formálne jazyky a automaty. Alfa Bratislava 1978.
  • J. Gruska: Foundation of Computing, International Thomson Computer Press 1997.
  • D. Kozen: Automata and Computability, Undergraduate Text in Computer Science, Springer Verlag 1997.
  • M. Sipser: Introduction to the Theory of Computation. PWS Publishing Company 1997.