Menu Close

Etiqueta: LMF2012

LMF2012: Panorama de la lógica. La lógica proposicional como sistema de representación del conocimiento

La clase de hoy del curso Lógica matemática y fundamentos ha tenido tres partes.

En la primera parte se ha presentado un panorama de la lógica en la que se ha visto sus objetivos (representar el conocimiento y automatizar el razonamiento), distintas lógicas (proposicional, primer orden, orden superior y modales) y aplicaciones de la lógica en computación.

En la segunda parte se ha presentado la lógica proposicional como sistema de representación del conocimiento. También se ha presentado el sistema APLI2 que sirve de tutor para el aprendizaje de la representación lógica del conocimiento.

En la tercera parte se ha iniciado el estudio de la sintaxis de la lógica proposicional mostrando cómo se definen las fórmulas por recursión, cómo se definen funciones sobre las fórmulas mediante recursión y cómo se demuestran propiedades de las fórmulas mediante inducción.

Las tareas pendientes son:

  • registrarse en APLI2 y
  • resolver ejercicios de formalización proposicional con APLI2

Las transparencias de esta clase son las páginas 1-10 del tema 1

LMF2012: Introducción a la lógica matemática

En la clase de hoy del curso de Lógica matemática y fundamentos (de 3º de Grado en Matemáticas) se ha presentado una introducción a la lógica matemática basada en la Introduction to Mathematical Logic de Valentin Goranko.

En la introducción se hace un recorrido por la historia de la lógica matemática resaltando los problemas, métodos y aplicaciones. Se consideran los siguientes períodos:

  • Prehistoria de la lógica.
  • El nacimiento de la lógica matemática.
  • La edad de oro de la lógica matemática.
  • Lógica matemática y ciencias de la computación.