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
Material type:
TextLanguage: Spa Publisher: México, D.F. : Alfaomega : 2010Publisher: Ra-Ma, 2010Edition: Primera ediciónDescription: 177 páginas : ilustraciones ; 23 x 17 cmContent type: texto Media type: sin mediación Carrier type: volumenISBN: 9786077854333Subject(s): Informática -- Matemática | Programación lógica | Estructuras de datos (Informática) | Lógica simbólica y matemáticaDDC classification: 004.0151 | Item type | Current location | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Libros
|
Biblio - ITSC Sala general | SG 004.0151 L473l 2010 (Browse shelf) | e.1 | Available | 1181 | |
|
Libros
|
Biblio - ITSC Sala general | SG 004.0151 L473l 2010 (Browse shelf) | e.2 | Available | 1182 |
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.
Click on an image to view it in the image viewer
There are no comments on this title.