Encabezado Facultad de Ciencias
Presentación

Ciencias de la Computación (plan 2013) 2015-2

Optativas, Métodos Formales

Grupo 7331, 30 lugares. 5 alumnos.
Lab. Miércoles 16 a 18; Taller de Lenguajes
Profesor Miguel Carrillo Barajas lu mi vi 10 a 11 Taller de Lenguajes de Programación
Ayudante Bragi Rafael Pérez Gutiérrez ma ju 10 a 11 Taller de Lenguajes de Programación
Ayud. Lab. mi 16 a 18 Taller de Lenguajes de Programación

 

Bienvenidos al curso de Métodos Formales. (contacto: miguel_carrillob arroba yahoo punto com)

  • Dirigido a quienes quieren conocer y/o aplicar técnicas interesantes de Ciencias de la Computación (CC).
  • El temario del curso, con ligeras variaciones, es el temario oficial: Métodos Formales.
  • Este curso es una muestra interesante de la interacción entre Matemáticas (Lógica) y CC.
  • Introduce a los fundamentos y al uso de técnicas de verificación automatizadas , por ejemplo: Model Checking.
  • Los desarrolladores de esta técnica --E. Clarke, E. Emerson, y J. Sifakis-- recibieron el Premio Turing en 2007.
  • El conocimiento de Métodos Formales es importante; su aplicación es amplia y con consecuencias positivas.

Miguel Carrillo, miguel_carrillob arroba yahoo punto com

 


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. Aviso de privacidad.