• 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 Archivo
    • Actividad en Clase Tarea
      Apertura: martes, 22 de septiembre de 2026, 00:00
      Cierre: martes, 22 de septiembre de 2026, 09:00

    • 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 Archivo
    • Ejercicio en clase resuelto Archivo