IIC2213 - Lógica para Ciencia de la Computación
Transparencias de Clases

• Lógica proposicional: Parte I
  [ versión con animaciones | versión para imprimir ]



• Lógica proposicional: Parte II
  [ versión con animaciones | versión para imprimir ]



• Resolución proposicional
  [ versión con animaciones | versión para imprimir ]



• El sistema deductivo de Hilbert
  [ versión con animaciones | versión para imprimir ]



• Introducción a la Complejidad Computacional: Parte I
  [ versión con animaciones | versión para imprimir ]



• Introducción a la Complejidad Computacional: Parte II
  [ versión con animaciones | versión para imprimir ]



• Introducción a la Complejidad Computacional: Parte III (segunda actualización)
  [ versión con animaciones | versión para imprimir ]



• Introducción a la Complejidad Computacional: Parte IV
  [ versión con animaciones | versión para imprimir ]



• Introducción a la Complejidad Computacional: Parte V
  [ versión con animaciones | versión para imprimir ]



• Lógica de primer orden: Parte I
  [ versión con animaciones | versión para imprimir ]



• Lógica de primer orden: Parte II
  [ versión con animaciones | versión para imprimir ]



• Lógica de primer orden: Parte III
  [ versión con animaciones | versión para imprimir ]



• Lógica de primer orden: Parte IV
  [ versión con animaciones | versión para imprimir ]



• Teorías: Parte I
  [ versión con animaciones | versión para imprimir ]



• Teorías: Parte II
  [ versión con animaciones | versión para imprimir ]



• Teorías: Parte III
  [ versión con animaciones | versión para imprimir ]



• Teorías: Parte IV
  [ versión con animaciones | versión para imprimir ]