Cursosā€Ž > ā€ŽCursadas Anterioresā€Ž > ā€Ž2014ā€Ž > ā€ŽMiĆ©rcoles y Jueves Noche - 2do Cuatrimestre 2014ā€Ž > ā€ŽBitacora cuatrimestral 2C 2014ā€Ž > ā€Ž

Clase 02 - Negación. Pattern matching. Functores y listas. Recursividad. Inversibilidad. Polimorfismo.

publicado a laā€Ž(s)ā€Ž 15 ago 2014 13:59 por Mariana Matos
Los temas de la clase fueron:

La clase que viene la vamos a hacer en el laboratorio, quienes tengan notebook con Prolog instalado para trabajar mƔs tranquilos pueden llevarla.

Para hacer en casa:

Practicar pattern matching y unificación con la tablita de matcheo

AdemÔs pueden ejercitar los temas vistos hasta ahora con las guías de ejercicios (en particular el último de la guía 2 para afirmar las bases del paradigma: conjunción, disyunción, negación e inversibilidad)