6.25.4.3 Extensiones y otras Lógicas (20 horas) [Nivel Bloom 5]

Referencias Bibliográficas: [Fernández and Sáez, 2003,Klir and A.Folger, 1995] Tópicos
  1. Lógicas Multivalentes
  2. Lógica Hoare
  3. Lógica Modal
  4. Lógica Temporal

Objetivos

  1. 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)
  2. 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