4.2.5.2 Lógica básica (14 horas) [Habilidades C1,C20]

Referencias Bibliográficas: [,] Tópicos
  1. Lógica proposicional.
  2. Conectores lógicos.
  3. Tablas de verdad.
  4. Forma normal (conjuntiva y disyuntiva)
  5. Validación de fórmula bien formada.
  6. Reglas de inferencia proposicional (conceptos de modus ponens y modus tollens)
  7. Logica de predicados:
    1. Cuantificación universal y existencial
  8. Limitaciones de la lógica proposicional y de predicados (ej. problemas de expresividad)
Objetivos de Aprendizaje
  1. Convertir declaraciones lógicas desde el lenguaje informal a expresiones de lógica proposicional y de predicados [Usar]
  2. Aplicar métodos formales de simbolismo proposicional y lógica de predicados, como el cálculo de la validez de formulas y cálculo de formas normales [Usar]
  3. Usar reglas de inferencia para construir demostraciones en lógica proposicional y de predicados [Usar]
  4. Describir como la lógica simbólica puede ser usada para modelar situaciones o aplicaciones de la vida real, incluidos aquellos planteados en el contexto computacional como análisis de software (ejm. programas correctores ), consulta de base de datos y algoritmos [Familiarizarse]
  5. Aplicar demostraciones de lógica formal y/o informal, pero rigurosa, razonamiento lógico para problemas reales, como la predicción del comportamiento de software o solución de problemas tales como rompecabezas [Usar]
  6. Describir las fortalezas y limitaciones de la lógica proposicional y de predicados [Usar]

Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, Universidad de Ingeniería y Tecnología, Lima-Perú
basado en el modelo de la Computing Curricula de IEEE-CS/ACM