next up previous contents
Next: 7.54.4.3 Modelamiento (12 horas) Up: 7.54.4 Unidades Previous: 7.54.4.1 SE/Métodos Formales. (14   Contents

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

Referencias Bibliográficas: [] 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