Home Teaching - Computational Logic November 30, 2022   

Lógica Computacional

Contenido temático
  • Panorama general de la lógica
  • Lógica proposicional
  • Teoría de inferencia y demostración en lógica proposicional
  • Lógica de predicados
  • Especificación universal y leyes de identidad


Material de clase

Fecha Horas Tema Material
20/05/19 -- Presentación del curso
1.0 Panorama general de la lógica
1.5 Lógica proposicional
2.5 Teoría de inferencia y demostración en lógica proposicional
21/05/19 3.0 Lógica de predicados
2.0 Especificación universal y leyes de identidad



® 2012 Eduardo Rodriguez-Tello