Referencias Bibliográficas: [Fernández and Sáez, 2003,Klir and A.Folger, 1995]
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
basado en el modelo de la Sociedad Peruana de Computación y en la Computing Curricula de IEEE-CS/ACM
