Programación lógica : teoría y práctica /
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | eBook |
| Lenguaje: | español |
| Publicado: |
Madrid :
Pearson Educación,
2007.
|
| Materias: | |
| Acceso en línea: | Ebook suscrito en eLibro.net |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- ÍNDICE GENERAL - ÍNDICE DE FIGURAS - Figura 1.1 Organización De Un Computador (...) - Figura 1.2 Un Ejemplo De Procesador Y La (...) - Figura 3.1 Diagrama De Hasse Para Las (...) - Figura 3.2 Arbol Semántico. - Figura 4.1 Arbol De Deducción Para La (...) - Figura 4.2 Arbol De Deducción Para Una (...) - Figura 4.3 Arbol De Deducción Para La (...) - Figura 4.4 Arbol De Deducción Para La (...) - Figura 5.1 Arbol De Deducción Para Una (...) - Figura 5.2 Arbol De Búsqueda Sld Finito (...) - Figura 5.3 Arbol De Búsqueda Sld Infinito (...) - Figura 5.4 Efecto De La Reordenación De (...) - Figura 6.1 Clasificación De Los Objetos (...) - Figura 6.2 Exploración Del Árbol De Búsqueda (...) - Figura 6.3 Diagramas De Flujo De Ejecución (...) - Figura 6.4 Arbol De Búsqueda Para El Programa (...) - Figura 6.5 Una Lista De Enteros. - Figura 6.6 Fases En La Inversión De Una (...) - Figura 6.7 Un Autómata Finito No Determinista. - Figura 6.8 Diferencias Entre Un Árbol Binario (...) - Figura 6.9 Un Autómata Finito No Determinista. - Figura 7.1 Efecto Del Corte En El Árbol (...) - Figura 7.2 Efecto Del Corte En El Árbol (...) - Figura 7.3 Arbol De Búsqueda Para El Programa (...) - Figura 7.4 Arbol De Búsqueda Para El Programa (...) - Figura 7.5 Arbol De Búsqueda Para El Programa (...) - Figura 8.1 Razonamiento Y Funciones De (...) - Figura 8.2 Traducción De Un Enunciado Al (...) - Figura 8.3 Situación En El Mundo De Los (...) - Figura 8.4 Un Ejemplo De Red Semántica. - Figura 8.5 Robots En Un Mundo Bidimensional (...) - Figura 8.6 Un Circuito Lógico Simple. - Figura 8.7 Un Fragmento De Red Semántica (...) - Figura 8.8 Red Semántica Y A Atributo Genérico “ - Figura 9.1 Un Árbol Representando El Espacio (...) - Figura 9.2 Reordenación En El Mundo De (...) - Figura 9.3 Conversión De Un Árbol De Búsqueda (...) - Figura 9.4 Búsqueda De Un Camino En Un (...) - Figura 9.5 Costes Del Proceso De Búsqueda. - Figura 9.6 Grafo Para Un Problema Del Viajante (...) - Figura 9.7 Pasos En Un Proceso De Búsqueda (...) - Figura 9.8 Modificación Del Árbol De Exploración. - Figura 9.9 Mapa De Carreteras. - Figura 9.10 Un Ejemplo De Árbol De Búsqueda. - Figura 9.11 Estados Inicial Y Final Para (...) - Figura 10.1 La Trilogía Del Software - Figura 10.2 Perspectiva De Los Métodos (...) - Figura 10.3 Perspectiva De Los Métodos (...) - Figura 10.4 Perspectiva De Los Métodos (...) - Figura 10.5 Perspectiva Completa De La (...) - Figura 10.6 Reglas De Transformación De (...) - Figura A.1 Diferentes Clases De Funciones. - Figura A.2 Distintas Clases De Grafos. - Figura A.3 Representación Gráfica De Un (...) - ÍNDICE DE TABLAS - Tabla 1.1 Estilos De Programación Declarativa (...) - Tabla 1.2 Características De La Programación (...) - Tabla 2.1 Axiomas Para Un Fragmento De (...) - Tabla 3.1 Fórmulas Equivalentes De La Lógica (...) - Tabla 3.2 Fórmulas Equivalentes De La Lógica (...) - Tabla 4.1 Algunos Hechos Notables Sobre (...) - Tabla 5.1 Clasificación De Las Cláusulas (...) - Tabla 6.1 Conectivas Lógicas Y Sintaxis (...) - Tabla 6.2 Operaciones Aritméticas Operación símbolo - Tabla 6.3 Precedencia De Las Operaciones (...) - Tabla 6.4 Operaciones De Comparación De (...) - Tabla 6.5 Asociatividad De Los Operadores (...) - Tabla 8.1 Enunciados Categóricos Y Su (...) - Tabla 8.2 Esquemas Para Facilitar La (...) - Tabla A.1 Tipos De Grafos. Tipoarcos ¿Se (...) - PRÓLOGO - CAPÍTULO 1 UNA PANORÁMICA DE LA PROGRAMACIÓN (...) - 1.1 Computadores Y Lenguajes De Programación - 1.2 Programación Declarativa - 1.3 Comparación Con Los Lenguajes (...) - RESUMEN - CUESTIONES Y EJERCICIOS - PARTE I FUNDAMENTOS - Capítulo 2 Sistemas Formales, Lógica Y (...) - Capítulo 3 De La Demostración Automática (...) - Capítulo 4 De La Demostración Automática (...) - PARTE II PROGRAMACIÓN LÓGICA - Capítulo 5 Programación Lógica - Capítulo 6 El Lenguaje Prolog: Introducción - Capítulo 7 El Lenguaje Prolog: Aspectos (...) - PARTE III APLICACIONES DE LA PROGRAMACIÓN (...) - Capítulo 8 Representación Del Conocimiento - Capítulo 9 Resolución De Problemas - Capítulo 10 Programación Lógica Y Tecnología (...) - APÉNDICE A. FUNDAMENTOS Y NOTACIONES MATEMÁTICAS - A.1 CONJUNTOS - A.2 RELACIONES Y FUNCIONES - A.3 GRAFOS Y ARBOLES