• Capítulo 3. Fundamentos de Especificación Formal

    Comprender y aplicar fundamentos de especificación formal mediante el uso de lógica proposicional y lógica de predicados para expresar de manera precisa las propiedades y condiciones que debe cumplir un programa.

    • Objetivo específico de la clase

      Comprender cómo una condición expresada en lenguaje natural puede representarse de manera precisa mediante proposiciones y conectores de la lógica proporcional, como base para la especificación formal de software.

      Temas

      Logica proporcional: 

      Proposiciones

      Operadores 

      Tablas de la verdad

    • Clase 4. Especificación formal y lógica proposicional Archivo
    • Actividad en Clase Tarea
      Apertura: martes, 22 de septiembre de 2026, 00:00
      Cierre: martes, 22 de septiembre de 2026, 09:00