Clase 2 - 24/8 - Paradigma Lógico

publicado a la‎(s)‎ 8 sept. 2010 13:16 por Nicolas Passerini   [ actualizado el 8 sept. 2010 13:19 ]

En resumen hoy vimos:

  • ¿Qué es la lógica?
  • Lógica proposicional vs Lógica de predicados
  • Buenos y Malos razonamientos
  • Conectores lógicos
  • Introducción a Prolog
  • Terminología

Tarea para la próxima clase:

TP1Hacer los siguientes predicados (utilizando como guía a tu propia familia)
  • padre/2 (el único definido a través de hechos, todos los otros tienen que estar definidos a través de reglas)
  • hermano/2
  • abuelo/2
  • tio/2
  • primo/2
    El TP1 se resuelve con SWI-Prolog en sus casas y se entrega impresa la resolución el miércoles 01/09 al inicio de la clase

También pueden revisar el material del cuatrimestre pasado para mas links haciendo click aca.


Comments