6.43.4.2 Métodos y Fundamentos Matematicos (12 horas) [Nivel Bloom 3]

Referencias Bibliográficas: [Jr., 1992] Tópicos
  1. Métodos de construcción formal.
  2. Fundamentos matemáticos.
    1. Grafos y árboles.
    2. Autómata finito, expresiones regulares.
    3. Gramáticas.
    4. Precisión numérica, exactitud, y errores.
Objetivos
  1. Crear especificaciones y diseños matemáticamente precisos utilizando. lenguajes de especificación formales.
  2. Analizar las propiedades de las especificaciones y diseños formales.



Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, Universidad Católica San Pablo, Arequipa-Peru
basado en el modelo de la Computing Curricula de IEEE-CS/ACM