Referencias Bibliográficas: [,]
Tópicos
- Lógicas Multivalentes
- Lógica Hoare
- Lógica Modal
- Lógica Temporal
Objetivos
- Representar aspectos complejos de la realidad en la que no es factible asignar asignar un rango de dos valores de verdad a los enunciados( lógica trivalente y lógica difusa)
- Establecer las nociones fundamentales de especificación formal y verificación de programas
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
