BitĆ”cora LĆ³gico


Ā  Clase simulacro:


Ā  ClaseĀ  repaso

Ā  Ā  Ā  Ā 

Repaso

    • Base de conocimiento -
    • Consultas -
    • UnificaciĆ³n
    • Reglas
    • Universo Cerrado
    • Inversibilidad
    • IndeterminaciĆ³n
    • not/1
    • GeneraciĆ³n
    • Listas
    • Functores
    • forall
    • findall
    • Recursividad
    • Polimorfismo
    • ExplosiĆ³n combinatoria
    • DelegaciĆ³n
Clase 4

Temas desarrollados
Ā Ā ConceptosĀ 

  • Listas

Ā Ā  Ā Operaciones

  • Length

  • member

  • append

  • Last

  • Reverse

  • nth0

  • sum_list

  • list_to_set

  • max_member

  • subset

  • Functores

  • forall

Clase 3Ā 

Temas desarrollados
  • Apuntes:Ā Ā MĆ³dulo 3Ā Estructuras de datos. Individuos simples y compuestos. Listas y Functores
  • Ā MĆ³dulo 4Ā  Predicado de orden superior. forall y findall
  • Ejercicios de clase:Ā Ejercicio
Clase 2

Temas desarrollados
Clase 1Ā 

Temas desarrollados
  • Apuntes:Ā Ā MĆ³dulo 1Ā Predicados. Individuos. Consultas. Universo Cerrado.