Clase 1 - L - Intro al Paradigma Lógico

Fecha de publicación: 28-abr-2016 21:02:22

Luego de cerrar con todo lo referido al paradigma funcional e intercambiar algunas opiniones sobre el lenguaje, las clases y la materia, nos adentramos en el loco mundo del Paradigma Lógico.

Vimos los conceptos básicos:

• Introducimos la ardua nomenclatura que vamos a estar usando
• Por ahora solamente jugamos con individuos simples
• Trabajamos el concepto de unificación de variables
• Conjunción vs Disyunción
• Nos chocamos un poco con la idea de múltiple respuestas posibles ante una consulta. Algo nuevo para nosotros!

Como siempre, también pueden consultar los resúmenes de clase.

Queda como tarea obligatoria para la clase que viene los siguientes ejercicios de Mumuki:

1. 2.2
2. 2.12
3. 3.5
4. 3.14

También queda como práctica asociada opcional:

• Guía 1: Hechos y Reglas
• Guía 2: Práctica Hechos y Reglas

Hasta el Lunes que viene!