6.2.4.2 DS/Lógica Básica. (14 horas) [Nivel Bloom 4]

Referencias Bibliográficas: [Grassmann and Tremblay, 1997,Iranzo, 2005,Arís et al., 2003,Johnsonbaugh, 1999]

Tópicos

  1. Lógica proposicional.
  2. Conectivos lógicos.
  3. Tablas de verdad.
  4. Formas normales (conjuntiva y disyuntiva).
  5. Validación.
  6. Lógica de predicados.
  7. Cuantificación universal y existencial.
  8. Modus ponens y modus tollens.
  9. Limitaciones de la lógica de predicados.

Objetivos

  1. Aplicar métodos formales de lógica simbólica proposicional y de predicados.
  2. Describir como las herramientas formales de lógica simbólica son utilizadas para modelar algoritmos en situaciones reales.
  3. Usar demostraciones lógico-formales y razonamiento lógico para solucionar problemas tales como rompecabezas (puzzles).
  4. Describir la importancia y limitaciones de la lógica de predicados.



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