Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y PROLOG
De Ledesma, Luis
Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y PROLOG De Ledesma, Luis - 1a. ed. - Madrid España Ra-Ma 2009 - 177
INFORMATICA
ESPAÑOL
9788478979387
--TEORIAS DE PRIMER ORDEN - META TEOREMAS - COMPLETUD - CONSISTENCIA - DECIBILIDAD - CLAUSULAS DE HORN - FORMAS PRENEX - SKOLEM . TEORIA DE HERBRAND - PROLOG - RESOLUCION SLD - DEFINICIONES INDUCTIVAS -
Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y PROLOG De Ledesma, Luis - 1a. ed. - Madrid España Ra-Ma 2009 - 177
INFORMATICA
ESPAÑOL
9788478979387
--TEORIAS DE PRIMER ORDEN - META TEOREMAS - COMPLETUD - CONSISTENCIA - DECIBILIDAD - CLAUSULAS DE HORN - FORMAS PRENEX - SKOLEM . TEORIA DE HERBRAND - PROLOG - RESOLUCION SLD - DEFINICIONES INDUCTIVAS -