Prácticas de Inteligencia Artificial

• Ejercicio 1: búsqueda en árbol no informada. Anchura y profundidad.
• Solución al problema de misioneros y caníbales: mission.h, mission.c. Ver diagrama con el espacio de estados.
  
• Ejercicio 2: búsqueda en grafo.
• Ejercicio 3: búsqueda informada (greedy, A*).
• PRÁCTICA 1 OBLIGATORIA.
• Ejercicio 4: prueba de teoremas en lógica de predicados. Contiene: PRACTICA 2 OBLIGATORIA.