• 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-C1. 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

    • Objetivo específico de la clase

      Identificar y aplicar los conceptos de dominio, variables, predicados y cuantificadores para transformar reglas o condiciones de negocio de una funcionalidad del proyecto en expresiones formales, interpretando correctamente su significado.

      Temas

      Dominio

      Predicados y variables

      Cuantificadores y sin cuantificar

      Formalización de la regla del negocio

    • Clase 5-C1. Predicados, variables, cuantificadores y formalización File
    • Ejercicio en clase resuelto File