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.