Encabezado Facultad de Ciencias
Asignaturas de Actuaría (plan 1972)

Teoría de la Computación

Optativas - Optativo

Clave 0576, 10 créditos. Tipo Normal.

Descargar temario en formato PDF

Resumen

El curso introduce la teoría de computabilidad, incluyendo resultados importantes del estudio de autómatas y lenguajes formales. El curso empieza con una discusión de autómatas y su relación con lenguajes regulares, libres de contexto y dependientes del contexto. Se representan teorías generales de computabilidad incluyendo las Máquinas de Turing, funciones recursivas y cálculo lambda. Se discuten nociones de dicibilidad e indicibilidad y se relaciona esto con análisis de complejidad. Finalmente se presentan y analizan enfoques a semántica de programas, llevando esto a una breve introducción al tema de verificación formal de programas.

 


Hecho en México, todos los derechos reservados 2011-2016. Esta página puede ser reproducida con fines no lucrativos, siempre y cuando no se mutile, se cite la fuente completa y su dirección electrónica. De otra forma requiere permiso previo por escrito de la Institución.
Sitio web administrado por la Coordinación de los Servicios de Cómputo de la Facultad de Ciencias. ¿Dudas?, ¿comentarios?. Escribenos.