IIC3263 - Teoría de Modelos Finitos
Transparencias de Clases

• Lógica de primer orden: Repaso y notación
  [ versión con animaciones | versión para imprimir ]



• Teoría de modelos finitos: Motivación
  [ versión con animaciones | versión para imprimir ]



• Juegos de Ehrenfeucht-Fraïssé: Parte I
  [ versión con animaciones | versión para imprimir ]



• Juegos de Ehrenfeucht-Fraïssé: Parte II
  [ versión con animaciones | versión para imprimir ]



• Nociones de localidad: Parte I
  [ versión con animaciones | versión para imprimir ]



• Nociones de localidad: Parte II
  [ versión con animaciones | versión para imprimir ]



• Complejidad de la lógica de primer orden y algunas de sus extensiones: Parte I
  [ versión con animaciones | versión para imprimir ]



• Complejidad de la lógica de primer orden y algunas de sus extensiones: Parte II
  [ versión con animaciones | versión para imprimir ]



• Máquinas de Turing y modelos finitos: Parte I
  [ versión con animaciones | versión para imprimir ]



• Máquinas de Turing y modelos finitos: Parte II
  [ versión con animaciones | versión para imprimir ]



• Máquinas de Turing y modelos finitos: Parte III
  [ versión con animaciones | versión para imprimir ]



• Leyes 0-1: Parte I
  [ versión con animaciones | versión para imprimir ]



• Leyes 0-1: Parte II
  [ versión con animaciones | versión para imprimir ]



• Leyes 0-1: Parte III
  [ versión con animaciones | versión para imprimir ]



• Una aplicación de teoría de modelos finitos: "Lógica = autómata": Parte I
  [ versión con animaciones | versión para imprimir ]



• Una aplicación de teoría de modelos finitos: "Lógica = autómata": Parte II
  [ versión con animaciones | versión para imprimir ]