26-06-2016, 19:24
Hola gente, estoy con este ejercicio del TP anual de MD y AyED:
Investigar sobre Deducción Automática (la Teoría de Herbrand), elaborar ejemplos propios e intentar explicar con términos propios el propósito de esta teoría.
Me dijeron que para aprender como resolver ejercicios de deducción automática, busque guías de Inteligencia Artificial.
Alguno conoce algún apunte o libro que sirva?
Investigar sobre Deducción Automática (la Teoría de Herbrand), elaborar ejemplos propios e intentar explicar con términos propios el propósito de esta teoría.
Me dijeron que para aprender como resolver ejercicios de deducción automática, busque guías de Inteligencia Artificial.
Alguno conoce algún apunte o libro que sirva?