CALENDARIO-CURSO-TEORIA-DE-LA-COMPUTACION

	18.404J/6.840J Teoría de la computación

Calendario


	CLASE Nº				TEMA


	1				Introducción, autómatas finitos, expresiones regulares


	2				No determinismo, propiedades de cerrado, expresiones regulares <-> FA (autómatas finitos)


	3				Lema de bombeo para lenguajes regulares, lenguajes independientes del contexto


	4				Autómatas descendentes , CFG (gramática independiente del contexto) <-> PDA (autómata descendente)


	5				Lema de bombeo para lenguajes independientes del contexto, máquinas de Turing


	6				Variantes de la MT (máquina de Turing), tesis de Church-Turing


	7				Problemas de decisión para autómatas y gramáticas


	8				Indecibilidad


	9				Reducibilidad


	10				Autómatas linealmente acotados, PCP (programa de control primario)


	11				Teorema de recursión


	12				Complejidad de tiempo


	13				P y NP, SAT, reducibilidad de tiempo polinómico


	14				Examen de mitad de trimestre


	15				Complitud NP


	16				Teorema de Cook-Levin


	17				Complejidad espacial


	18				PSPACE, TQBF, teorema de Savitch


	19				Juegos, geografía generalizada


	20				L y NL, NL=coNL


	21				Teoremas de jerarquía


	22				Problemas de insolubilidad probada, oráculos


	23				Computación probabilística, BPP


	24				Computación probabilística (cont.)


	25				Sistemas de prueba interactivos, IP


	26				Examen final

Massachusetts Institute of Technology © 2003 MIT | Información Jurídica | Privacidad
Todo uso del sitio de MIT OpenCourseWare y sus materiales de curso queda sujeto a las condiciones y términos de uso detallados
en la sección sobre Información Jurídica