Cursos‎ > ‎Cursadas Anteriores‎ > ‎2015‎ > ‎Cuatrimestral-1erC‎ > ‎Bitácora de clase‎ > ‎

Clase 2 - Negación e Individuos Compuestos

publicado a la‎(s)‎ 27 mar. 2015 9:53 por Mariana Matos   [ actualizado el 27 mar. 2015 10:52 ]
En esta clase vimos:
Algunos ejercicios propuestos en el curso para resolver mediante recursividad fueron: definir el predicado length/2 y member/2 (con la misma funcionalidad que los que ya existen en Prolog), saber si una lista de números ordenada y dada una lista conocer cuál es su máximo.

El enunciado del TP integrador de lógico lo van a encontrar en la página principal del curso. Si bien todavía nos faltan ver temas importantes para poder resolver el TP, la idea es que puedan sacarse dudas de enunciado ir pensando cómo resolver algunos puntos y discutirlo con su grupo. El miércoles que viene terminaríamos de ver la teoría del paradigma Lógico, así que cuanto antes puedan arrancar mejor.

Para los que todavía no tienen grupo, encárguense de tenerlo lo antes posible, para la clase que viene ya tienen que estar todos con grupo armado.

También pueden reforzar los temas vistos en clase con práctica de las guías de ejercicios, en particular:
  • La guía 1 (abarca todos los temas vistos en la primer clase)
  • La guía 2 (incluye aritmética y negación)
  • La guía 3 (ejercicios 1 y 3, el 4 se mete un poco con los temas de la semana que viene, pero pueden intentarlo también con lo que vimos)
  • La guía 5 (recursividad)
Nota al margen, los ejercicios de las guías 1 y 3 los pueden encontrar, además del PDF, en la plataforma Mumuki que actualmente está en desarrollo. Su gracia es que les deja mandar su solución para cada ejercicio y realiza pruebas automáticas sobre el mismo para verificar que la solución funcione correctamente. El requerimiento para loguearse es una cuenta de GitHub (posiblemente más de uno ya tenga). Quienes quieran probarlo y mandar feedback, sería muy interesante :)
Comments