Ledesma, Luís de
Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y prolog / Luís de Ledesma - Primera edición - 177 páginas : ilustraciones ; 23 x 17 cm.
Incluye referencias bibliográficas páginas 171-174
Teoría de primer orden, 15 / Lenguajes de primer orden, 16 / El sistema formal teorías de primer orden, 24 / Metas teoremas. Reglas y teoremas derivados, 28 / El cálculo de tablas analíticas, 43 / Definiciones y utilización, 44 / Aplicación, 49 / Semántica, 51 / Estructuras, 52 / Significado de expresiones, 53 / Validez, 56 / Completud, Consistencia y Decidibilidad, 61 / La lógica de proposiciones, 65 / Sintaxis, 66 / Semántica, 68 / Clausulas de Horn, 72 / Resolución, 79 / Reducción a un conjunto de cláusulas, 80 / Formas prenex, 81 / Formas de Skolem, 84 / Supresión de cuantificadores universales, 86 / Reducción a un conjunto de cláusulas, 87 / Unificación, 89 / Resolución y teoría de HERBRAND, 96 / Principio de resolución, 96 / Corrección, 101 / teoría de Herbrand, 103 / Completud, 111 / Algunos procedimiento basados en el teorema de HERBRAND, 111 / Elementos de programación lógica y prolog, 119 / Refinamiento y estrategia de la resolución, 121 / La resolución SLD, 122 / Utilización de la resolución SLD y otros refinamientos, 124 / PROLOG, 127 / La resolución PROLOG, 129 / Búsqueda en profundidad, 131 / Búsqueda en anchura, 132 / Las ramas infinitas, 133 / La vuelta atrás, 137 / Predicados y funciones de la implementación, 139 / Definiciones y demostraciones inductivas, 147 / Definiciones inductivas, 148 / Demostraciones inductivas, 153 / Adecuación y de las tablas analíticas, 157 / Consideraciones elementales sobre la representación del conocimiento con lenguajes de primer orden, 163 / Preparación, 163 / Representación, 166 / Referencias, 171 / Indicé Alfabético, 175.
Lógica para la computación, en este libro el autor nos presenta símbolos y leyes lógicas que nos enseñan a usar el sentido común y nuestra capacidad de razonar sobre la realidad. Con ellos, demostraremos teoremas con rigor y, mejor aún, aprenderemos a verificar con precisión que son realmente válidos. Este es un texto pensado para estudiantes y profesores inclinados a las matemáticas, la lógica y los fundamentos de su automatización, alumnos de primeros curso de lógica y aquellos programadores de PROLOG que no han tenido la oportunidad de asomarse a la base sobre la que descansa su trabajo.
9786077854333
Informática--Matemática
Programación lógica.
Estructuras de datos (Informática)
Lógica simbólica y matemática
004.0151 / L473l 2010
Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y prolog / Luís de Ledesma - Primera edición - 177 páginas : ilustraciones ; 23 x 17 cm.
Incluye referencias bibliográficas páginas 171-174
Teoría de primer orden, 15 / Lenguajes de primer orden, 16 / El sistema formal teorías de primer orden, 24 / Metas teoremas. Reglas y teoremas derivados, 28 / El cálculo de tablas analíticas, 43 / Definiciones y utilización, 44 / Aplicación, 49 / Semántica, 51 / Estructuras, 52 / Significado de expresiones, 53 / Validez, 56 / Completud, Consistencia y Decidibilidad, 61 / La lógica de proposiciones, 65 / Sintaxis, 66 / Semántica, 68 / Clausulas de Horn, 72 / Resolución, 79 / Reducción a un conjunto de cláusulas, 80 / Formas prenex, 81 / Formas de Skolem, 84 / Supresión de cuantificadores universales, 86 / Reducción a un conjunto de cláusulas, 87 / Unificación, 89 / Resolución y teoría de HERBRAND, 96 / Principio de resolución, 96 / Corrección, 101 / teoría de Herbrand, 103 / Completud, 111 / Algunos procedimiento basados en el teorema de HERBRAND, 111 / Elementos de programación lógica y prolog, 119 / Refinamiento y estrategia de la resolución, 121 / La resolución SLD, 122 / Utilización de la resolución SLD y otros refinamientos, 124 / PROLOG, 127 / La resolución PROLOG, 129 / Búsqueda en profundidad, 131 / Búsqueda en anchura, 132 / Las ramas infinitas, 133 / La vuelta atrás, 137 / Predicados y funciones de la implementación, 139 / Definiciones y demostraciones inductivas, 147 / Definiciones inductivas, 148 / Demostraciones inductivas, 153 / Adecuación y de las tablas analíticas, 157 / Consideraciones elementales sobre la representación del conocimiento con lenguajes de primer orden, 163 / Preparación, 163 / Representación, 166 / Referencias, 171 / Indicé Alfabético, 175.
Lógica para la computación, en este libro el autor nos presenta símbolos y leyes lógicas que nos enseñan a usar el sentido común y nuestra capacidad de razonar sobre la realidad. Con ellos, demostraremos teoremas con rigor y, mejor aún, aprenderemos a verificar con precisión que son realmente válidos. Este es un texto pensado para estudiantes y profesores inclinados a las matemáticas, la lógica y los fundamentos de su automatización, alumnos de primeros curso de lógica y aquellos programadores de PROLOG que no han tenido la oportunidad de asomarse a la base sobre la que descansa su trabajo.
9786077854333
Informática--Matemática
Programación lógica.
Estructuras de datos (Informática)
Lógica simbólica y matemática
004.0151 / L473l 2010