Teoría de la Computación
RESPONSABLE
DEL CURSO
Dra. Maricela Claudia Bravo Contreras
Profesora - Investigadora
División de Ciencias Básicas e Ingeniería
UAM Azcapotzalco
mcbc@correo.azc.uam.mx
OBJETIVO DEL CURSO
Al finalizar la UEA el alumno será capaz de evaluar y seleccionar los conceptos más adecuados para la solución de problemas y su aplicación a las diferentes áreas de la computación.
CONTENIDO SINTÉTICO
1. Introducción y conceptos generales
2. Autómatas finitos y lenguajes regulares
3. Autómatas de pila y lenguajes libres de contexto
4. Máquinas de Turing
5. Indecibilidad
6. Complejidad
CALENDARIO DEL CURSO
Dra. Maricela Claudia Bravo Contreras
Profesora - Investigadora
División de Ciencias Básicas e Ingeniería
UAM Azcapotzalco
mcbc@correo.azc.uam.mx
OBJETIVO DEL CURSO
Al finalizar la UEA el alumno será capaz de evaluar y seleccionar los conceptos más adecuados para la solución de problemas y su aplicación a las diferentes áreas de la computación.
CONTENIDO SINTÉTICO
1. Introducción y conceptos generales
2. Autómatas finitos y lenguajes regulares
3. Autómatas de pila y lenguajes libres de contexto
4. Máquinas de Turing
5. Indecibilidad
6. Complejidad
CALENDARIO DEL CURSO
Semana |
Tema |
Ejercicios de Tarea |
Fecha de Entrega |
1 |
Introducción |
||
2 |
Nociones
Preliminares |
Tarea 1 |
13 de
septiembre |
3 |
Autómatas
Finitos |
Tarea 2 |
18 de
septiembre |
3 |
Expresiones
y Lenguajes Regulares |
Tarea 3 |
08 de
octubre |
4 |
Autómatas y
Expresiones Regulares |
Tarea 4 |
16 de
octubre |
4 |
Gramáticas
libre de Contexto |
Tarea 5 |
20 de
octubre |
5 |
Segundo examen |
27 de octubre |
|
6 |
Lenguajes
libres de contexto |
Tarea 5 |
6 de marzo |
6 |
Autómatas
de pila |
Tarea 6 |
13 de marzo |
7 |
Máquinas de
Turing |
Tarea 7 |
13 de marzo |
7 |
Tesis de
Church-Turing |
Tarea 8 |
20 de marzo |
8 |
Decidibilidad |
Tarea 9 |
20 de marzo |
9 |
Teoría de
la complejidad |
Tarea 10 |
27 de marzo |
10 |
Lenguajes
NP completos |
||
10 |
Segundo examen |
27 de marzo |