Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y Prolog. /
Ledesma, Luis de
Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y Prolog. / Luis de Ledesma - 1° - México, mx Alfaomega 2010 - 177 P. , tablas
177TEORÍAS DE PRIMER ORDEN. LENGUAJES DE PRIMER ORDEN. EL SISTEMA FORMAL TEORÍAS DE PRIMER ORDEN. META TEOREMAS. REGLAS Y TEOREMAS DERIVADOS. EL CÁLCULO DE TABLAS ANALÍTICAS. DEFINICIONES Y UTILIZACIÓN. APLICACIÓN. SEMÁNTICA. ESTRUCTURAS. SIGNIFICADO DE EXPRESIONES. VALIDEZ. COMPLETUD, CONSISTENCIA Y DECIDIBILIDAD. LA LÓGICA DE PROPOSICIONES. SINTAXIS. SEMÁNTICA. CLÁUSULAS DE HORN. RESOLUCIÓN. REDUCCIÓN A UN CONJUNTO DE CLÁUSULAS. FORMAS PRENEX. FORMAS DE SKOLEM. SUPRESIÓN DE CUANTIFICADORES UNIVERSALES. REDUCCIÓN A UN CONJUNTO DE CLÁUSULAS. UNIFICACIÓN. RESOLUCIÓN Y TEORÍA DE HERBRAND. PRINCIPIO DE RESOLUCIÓN. CORRECCIÓN. TEORÍA DE HERBRAND. COMPLETUD. ALGUNOS PROCEDIMIENTOS BASADOS EN EL TEOREMA DE HERBRAND. ELEMENTOS DE PROGRAMACIÓN LÓGICA Y PROLOG. REFINAMIENTO Y ESTRATEGIAS DE LA RESOLUCIÓN. LA RESOLUCIÓN SLD. UTILIZACIÓN DE LA RESOLUCIÓN SLD Y OTROS REFINAMIENTOS. PROLOG. LA RESOLUCIÓN PROLOG. BÚSQUEDA EN PROFUNDIDAD. BÚSQUEDA EN ANCHURA. LAS RAMAS INFINITAS. LA VUELTA ATRÁS. PREDICADOS Y FUNCIONES DE LA IMPLEMENTACIÓN. DEFINICIONES Y DEMOSTRACIONES INDUCTIVAS. DEFINICIONES INDUCTIVAS. DEMOSTRACIONES INDUCTIVAS. ADECUACIÓN DE LAS TABLAS ANALÍTICAS. CONSIDERACIONES ELEMENTALES SOBRE LA REPRESENTACIÓN DEL CONOCIMIENTO CON LENGUAJES DE PRIMER ORDEN. PREPARACIÓN.
9786077854333
COMPUTACION
PROGRAMACION
COMPUTACION GENERAL
ELEMENTOS DE PROGRAMACION.
COMPUTACION; PROGRAMACION; COMPUTACION GENERAL; ELEMENTOS DE PROGRAMACION.
005.131 / L424l
Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y Prolog. / Luis de Ledesma - 1° - México, mx Alfaomega 2010 - 177 P. , tablas
177TEORÍAS DE PRIMER ORDEN. LENGUAJES DE PRIMER ORDEN. EL SISTEMA FORMAL TEORÍAS DE PRIMER ORDEN. META TEOREMAS. REGLAS Y TEOREMAS DERIVADOS. EL CÁLCULO DE TABLAS ANALÍTICAS. DEFINICIONES Y UTILIZACIÓN. APLICACIÓN. SEMÁNTICA. ESTRUCTURAS. SIGNIFICADO DE EXPRESIONES. VALIDEZ. COMPLETUD, CONSISTENCIA Y DECIDIBILIDAD. LA LÓGICA DE PROPOSICIONES. SINTAXIS. SEMÁNTICA. CLÁUSULAS DE HORN. RESOLUCIÓN. REDUCCIÓN A UN CONJUNTO DE CLÁUSULAS. FORMAS PRENEX. FORMAS DE SKOLEM. SUPRESIÓN DE CUANTIFICADORES UNIVERSALES. REDUCCIÓN A UN CONJUNTO DE CLÁUSULAS. UNIFICACIÓN. RESOLUCIÓN Y TEORÍA DE HERBRAND. PRINCIPIO DE RESOLUCIÓN. CORRECCIÓN. TEORÍA DE HERBRAND. COMPLETUD. ALGUNOS PROCEDIMIENTOS BASADOS EN EL TEOREMA DE HERBRAND. ELEMENTOS DE PROGRAMACIÓN LÓGICA Y PROLOG. REFINAMIENTO Y ESTRATEGIAS DE LA RESOLUCIÓN. LA RESOLUCIÓN SLD. UTILIZACIÓN DE LA RESOLUCIÓN SLD Y OTROS REFINAMIENTOS. PROLOG. LA RESOLUCIÓN PROLOG. BÚSQUEDA EN PROFUNDIDAD. BÚSQUEDA EN ANCHURA. LAS RAMAS INFINITAS. LA VUELTA ATRÁS. PREDICADOS Y FUNCIONES DE LA IMPLEMENTACIÓN. DEFINICIONES Y DEMOSTRACIONES INDUCTIVAS. DEFINICIONES INDUCTIVAS. DEMOSTRACIONES INDUCTIVAS. ADECUACIÓN DE LAS TABLAS ANALÍTICAS. CONSIDERACIONES ELEMENTALES SOBRE LA REPRESENTACIÓN DEL CONOCIMIENTO CON LENGUAJES DE PRIMER ORDEN. PREPARACIÓN.
9786077854333
COMPUTACION
PROGRAMACION
COMPUTACION GENERAL
ELEMENTOS DE PROGRAMACION.
COMPUTACION; PROGRAMACION; COMPUTACION GENERAL; ELEMENTOS DE PROGRAMACION.
005.131 / L424l