AG: Trocha vyčíslitelnosti navíc

AG.md

@@ -39,14 +39,15 @@
 		- nedeterministický TM
 	* vztah mezi TM a RAMem
 
-1.	Základy vyčíslitelnosti (1 přednáška)
+1.	Základy vyčíslitelnosti (1.5 přednášky)
 	* univerzální Turingův stroj, kódování strojů (bez detailů konstrukce)
 	* univerzální jazyk a diagonální jazyk
 	* halting problem je částečně rozhodnutelný, ale není rozhodnutelný
 	* Postova věta => doplněk halting problemu není částečně rozhodnutelný
 	* jazyk je částečně rozhodnutelný <=> jeho slova lze vyjmenovat
 	* převoditelnost jazyků
-	* Riceova věta (bez důkazu)
+	* nerozhodnutelné problémy ohledně bezkontextových gramatik
+	* Riceova věta
 
 1.	Polynomiálni složitost a P vs. NP (2.5 přednášky)
 	* třídy DTIME(f)