2.3.2 DS/Lógica básica (9 horas Core-Tier1)

Temas:
Core Tier1

Objetivos de Aprendizaje:
Core-Tier1:

  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 [Usar]
  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 [Familiarizarse]

Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, basado en el modelo de la Computing Curricula de IEEE-CS/ACM