Cursadas anteriores‎ > ‎Cursada 2017‎ > ‎Bitácora‎ > ‎

Clase 2 - Lógico - Inversibilidad, negación y aritmética

publicado a la‎(s)‎ 6 may. 2017 16:14 por Nahuel Palumbo   [ actualizado el 6 may. 2017 16:14 ]
Luego de repasar los conceptos básicos del paradigma lógico vistos la clase anterior con el ejemplo del árbol genealógico de Los Simpsons (podrán encontrar el archivo acá abajo).
Estuvimos viendo:
  • Recursividad en lógico: obteniendo todos los descendientes de una persona.
  • Cómo negar una consulta usando el predicado not/1.
  • Es el primer predicado de orden superior que vamos a usar. Repasamos ese concepto como la generalización de mandar lógica (una computación) por parámetro.
  • Vimos el concepto de inversibilidad como atributo a un predicado. Decimos que un predicado es inversible para un parámetros cuando acepta consultas existenciales y tiene la capacidad de ligar valores.
  • El not/1 tiene problemas de inversibilidad. Para solucionar es necesario tener un predicado generador de valores.
Luego comenzamos la guía de aritmética en Mumuki, sobre todo el ejercicio 7 que explica el uso del is/2.

La teoría se encuentra en los apuntes:
Queda como práctica en Mumuki:

También ya se encuentra publicado la primera parte del TP de lógico: Carrera universitaria. Tiene fecha de entrega el Viernes 12/5 por mail a su tutor.
ċ
clase2.pl
(1k)
Nahuel Palumbo,
6 may. 2017 16:14
Comments