Encabezado Facultad de Ciencias
Asignaturas de Ciencias de la Computación (plan 1994)

Semántica y Verificación

Optativas - Optativo

Clave 0814, 10 créditos. Tipo Normal.

Descargar temario en formato PDF

Resumen

Se enfatiza en la representación y manipulación, así como la aplicación de sistemas formales en la computación. Se discutirán temas de lógica, conjuntos, álgebra, complejidad de la semántica de los lenguajes de programación y la verificación de programas.

 


Hecho en México, todos los derechos reservados 2011-2013. 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.