
Técnicas Avanzadas de Compilación para Programación Lógica
José Morales
Técnicas Avanzadas de Compilación para Programación Lógica
José Morales
Detalles del libro:
Año: | 2010 |
Editor: | Autoedición |
Páginas: | 279 páginas |
Idioma: | inglés |
Desde: | 25/08/2011 |
Tamaño: | 1.87 MB |
Licencia: | Pendiente de revisión |
Contenido:
La programación como esfuerzo matemático para diseñar un algoritmo que resuelva un problema específico, junto con la tarea de codificación en un lenguaje ejecutable por un computador, puede definirse de forma precisa. Aun no siendo una tarea fácil, determinar si un programa es correcto y adecuado para un problema dado, puede realizarse mediante pruebas formales.
El objetivo de este trabajo es encontrar la metodología más óptima para determinar el valor de un algoritmo bajo un lenguaje de programación lógico como Prolog. Sin embargo, pese a que se centra en un lenguaje concreto, su estructura es aplicable a cualquier entorno de desarrollo.
Categorías:
Etiquetas:
Cargando comentarios...
Escaneando listas...
El libro en números
posición en categorías
en catálogo desde
25/08/2011puntuación
40votos
11'LIKES' sociales
Nothing yet...Visitas
Descargas
Interés
Segmentación por países
Páginas de entrada
Segmentación por sitios web
evolución
Cargando...