Programación Lógica

Clases teórico-prácticas

• Clases teórico-prácticas

  • Seleccionar actividad Clase 1

    Clase 1
    

  • Seleccionar actividad Video de la clase 1 (2024)

    

    Video de la clase 1 (2024) URL
  • Seleccionar actividad Información del curso

    

    Información del curso Archivo
  • Seleccionar actividad Práctico 1: Predicados simples, Listas y Árboles Binarios

    

    Práctico 1: Predicados simples, Listas y Árboles Binarios Archivo
  • Seleccionar actividad En clase: Práctico 1, ejercicio 1.

    En clase: Práctico 1, ejercicio 1.

  • Seleccionar actividad Clase 2 (copia)

    Clase 2
    

  • Seleccionar actividad Video de la clase 2 (2024)

    

    Video de la clase 2 (2024) URL
  • Seleccionar actividad En clase: Práctico 1, ejercicios 2 y 3.

    En clase: Práctico 1, ejercicios 2 y 3.

  • Seleccionar actividad Clase 3

    Clase 3
    

  • Seleccionar actividad Video de la clase 3 (2024)

    

    Video de la clase 3 (2024) URL
  • Seleccionar actividad En clase: Práctico 1, ejercicio 4.

    En clase: Práctico 1, ejercicio 4.

  • Seleccionar actividad Clase 4

    Clase 4
    

  • Seleccionar actividad Video de la clase 4 (2024)

    

    Video de la clase 4 (2024) URL
  • Seleccionar actividad Práctico 2: Predicados aritméticos

    

    Práctico 2: Predicados aritméticos Archivo
  • Seleccionar actividad En clase: Práctico 2 ejercicios 1, 2 y 6.

    En clase: Práctico 2 ejercicios 1, 2 y 6.

  • Seleccionar actividad Clase 5

    Clase 5
    

  • Seleccionar actividad Video de la clase 5 (2024)

    

    Video de la clase 5 (2024) URL
  • Seleccionar actividad Generación y chequeo

    

    Generación y chequeo Archivo
  • Seleccionar actividad Práctico 3: Generación y chequeo

    

    Práctico 3: Generación y chequeo Archivo
  • Seleccionar actividad En clase: Práctico 3 ejercicio 1.

    En clase: Práctico 3 ejercicio 1.

  • Seleccionar actividad Clase 6

    Clase 6
    

  • Seleccionar actividad Notas sobre fundamentos teóricos

    

    Notas sobre fundamentos teóricos Archivo
  • Seleccionar actividad Video de la clase 6 (2024)

    

    Video de la clase 6 (2024) URL
  • Seleccionar actividad Practico 4: Lógica de primer orden

    

    Practico 4: Lógica de primer orden Archivo
  • Seleccionar actividad Clase 7

    Clase 7
    

  • Seleccionar actividad Video de la Clase 7 (2024)

    

    Video de la Clase 7 (2024) URL
  • Seleccionar actividad Practico 5: Resolución para lógica de primer orden

    

    Practico 5: Resolución para lógica de primer orden Archivo
  • Seleccionar actividad Clase 8

    Clase 8
    

  • Seleccionar actividad Video de la clase 8 (2024)

    

    Video de la clase 8 (2024) URL
  • Seleccionar actividad Clase 9

    Clase 9
    

  • Seleccionar actividad Video de la Clase 9 (2024)

    

    Video de la Clase 9 (2024) URL
  • Seleccionar actividad Practico 6: Árboles SLD

    

    Practico 6: Árboles SLD Archivo