• 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 File
    • Actividad en Clase Assignment
      Opened: Tuesday, 22 September 2026, 12:00 AM
      Due: Tuesday, 22 September 2026, 9:00 AM