UHU – Gonzalo A. Aranda-Corral

Última clase sobre lógica proposicional donde se explicó la resolución proposicional, algoritmo y posibles extensiones o modificaciones.

Se puso en la página de la asignatura el pseudocódigo del algoritmo y un ejemplo de ejecución del mismo.

Posted on Lunes, abril 5th, 2010 at 09:13 in Docencia, Inteligencia Artificial e Ingeniería del Conocimiento   |  RSS feed Comments and pings are currently closed.