Versión en inglés
6.045J
/ 18.400J Automata, Computability, and Complexity, Spring
2002
6.045J / 18.400J Autómatas, computabilidad
y complejidad. Primavera 2002
Un problema de completitud NP.
La pregunta "¿Es P igual a NP?" es una de las
más importantes sin resolver de las matemáticas
modernas. (Imagen cedida por MIT OCW).
| Docencia |
|
Profesor:
Prof. Ronald Rivest
|
| Horario del curso |
|
Clases:
Dos sesiones a la semana
Sesiones de 1 hora y media de duración
Clases de repaso:
Una sesión a la semana
Sesiones de 1 hora de duración
|
| Nivel |
| Licenciatura |
| Feedback |
| Envíenos su
opinión acerca de OCW o del presente
curso. |
Características principales
del curso
El 6.045J es un curso que precisa
concentración en la sección "Informática
teórica". Prácticamente todos los materiales
de este curso están disponibles en línea,
incluido un conjunto completo de trabajos
para casa y exámenes.
Descripción del curso
En este curso se introducen modelos
básicos matemáticos de computación,
así como la representación finita de objetos
infinitos. Los temas que se tratan son: autómatas
finitos y lenguajes regulares, lenguajes independientes
del contexto, máquinas de Turing, funciones parciales
recursivas, tesis de Church, indecidibilidad, reducibilidad
y completitud, complejidad de tiempo y completitud NP,
cálculo probabilístico y sistemas de prueba
interactivos.
|
