diff --git a/AG.md b/AG.md
index 06ea6be667cc97e09ef08efd0617db27791398d9..ebfc935ca90071e74cd9af28de86ad853fc8c8d0 100644
--- a/AG.md
+++ b/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)