Programación Declarativa - Historial de revisiones

Javiermartin jc: Texto reemplazado: «
» por «»

2019-07-06T21:03:48Z

Texto reemplazado: «<div align="justify">» por «»

Iliana05084: /* Aplicaciones */

2016-02-12T20:27:12Z

‎Aplicaciones

Reynier idict en 20:14 16 may 2011

2011-05-16T20:14:28Z

Reynier idict en 19:57 16 may 2011

2011-05-16T19:57:23Z

Berta delfos: /* Vea además */

2011-04-27T12:06:11Z

‎Vea además

Berta delfos: /* Algunos lenguajes declarativos */

2011-04-27T12:05:08Z

‎Algunos lenguajes declarativos

Erick06115 jc.hlg: /* Referencias */

2011-04-26T23:57:34Z

‎Referencias

Erick06115 jc.hlg: /* Fuentes */

2011-04-26T23:56:56Z

‎Fuentes

Erick06115 jc.hlg: /* Fuentes */

2011-04-26T23:56:30Z

‎Fuentes

Erick06115 jc.hlg: /* Algunos lenguajes declarativos */

2011-04-26T23:56:06Z

‎Algunos lenguajes declarativos

@@ Línea 1: / Línea 1: @@
-<div align="justify">
 {{Definición
 |nombre= Programación Declarativa

@@ Línea 40: / Línea 40: @@
 == Aplicaciones ==
-Este estilo de programación encuentra numerosas aplicaciones industriales en campos como las bases de datos, [[Ingeniería del software|ingeniería del software]], [[Procesadores de lenguajes|procesadores de lenguajes]], [[Lenguaje natural|lenguaje natural]], investigación operativa, seguridad de redes, etc.
+Este estilo de programación encuentra numerosas aplicaciones industriales en campos como las bases de datos, [[Ingeniería de software|Ingeniería del software|ingeniería del software]], [[Procesadores de lenguajes|procesadores de lenguajes]], [[Lenguaje natural|lenguaje natural]], investigación operativa, seguridad de redes, etc.
 == Ventajas ==

@@ Línea 4: / Línea 4: @@
 |imagen= Lenguajes.png
 |tamaño=
-|concepto= '''Programación Declarativa.''' La Programación declarativa es un [[paradigma de programación]] basado en la [[lógica]] en el que se estudian de forma simple muchos aspectos avanzados de los [[lenguajes de programación]] modernos.}}'''Programación Declarativa.''' La Programación declarativa es un paradigma de programación basado en la [[lógica]] en el que se estudian de forma simple muchos aspectos avanzados de los [[Lenguajes de programación|lenguajes de programación]] modernos.
+|concepto=Es un paradigma de programación basado en la [[lógica]] en el que se estudian de forma simple muchos aspectos avanzados de los lenguajes de programación modernos.}}'''Programación Declarativa.''' Es un [http://www.ecured.cu/index.php/Programaci%C3%B3n,_lenguajes_y_paradigmas#Paradigmas_computacionales paradigma de programación] basado en la [[lógica]] en el que se estudian de forma simple muchos aspectos avanzados de los [[Lenguajes de programación|lenguajes de programación]] modernos.
 == Características ==

@@ Línea 1: / Línea 1: @@
 <div align="justify">
 {{Definición
 |nombre= Programación Declarativa
 |imagen= Lenguajes.png
 |tamaño=
-|concepto= '''Programación Declarativa.''' La Programación declarativa es un [[paradigma de programación]] basado en la [[lógica]] en el que se estudian de forma simple muchos aspectos avanzados de los [[lenguajes de programación]] modernos.
+|concepto= '''Programación Declarativa.''' La Programación declarativa es un [[paradigma de programación]] basado en la [[lógica]] en el que se estudian de forma simple muchos aspectos avanzados de los [[lenguajes de programación]] modernos.}}'''Programación Declarativa.''' La Programación declarativa es un paradigma de programación basado en la [[lógica]] en el que se estudian de forma simple muchos aspectos avanzados de los [[Lenguajes de programación|lenguajes de programación]] modernos.
-==Características==
+== Características ==
-La Programación Declarativa, en contraposición a la [[programación imperativa]] es un [[paradigma de programación]] que está basado en el desarrollo de programas especificando o "declarando" un conjunto de condiciones, proposiciones, afirmaciones, restricciones, ecuaciones o transformaciones que describen el problema y detallan su solución.
+La Programación Declarativa, en contraposición a la [[Programación Imperativa]] es un paradigma de programación que está basado en el desarrollo de programas especificando o "declarando" un conjunto de condiciones, proposiciones, afirmaciones, restricciones, ecuaciones o transformaciones que describen el problema y detallan su solución.
-La solución es obtenida mediante mecanismos internos de control, sin especificar exactamente cómo encontrarla (tan sólo se le indica a la computadora que es lo que se desea obtener o que es lo que se está buscando). No existen asignaciones destructivas, y las variables son utilizadas con Transparencia referencial
+La solución es obtenida mediante mecanismos internos de control, sin especificar exactamente cómo encontrarla (tan sólo se le indica a la computadora que es lo que se desea obtener o que es lo que se está buscando). No existen asignaciones destructivas, y las variables son utilizadas con transparencia referencial
-Aunque en la Programación Declarativa cabe más de un [[paradigma de programación]], se ha optado por centrarla en el estudio de la denominada [[Programación Lógica]], el cual está basado en el cálculo de proposiciones y sus relaciones lógicas.
+Aunque en la Programación Declarativa cabe más de un paradigma de programación, se ha optado por centrarla en el estudio de la denominada [[Programación Lógica]], el cual está basado en el cálculo de proposiciones y sus relaciones lógicas.
-La programación declarativa es un estilo de programación En el que el programador especifica qué debe computarse más bien que cómo deben realizarse los cómputos.
+La programación declarativa es un estilo de programación en el que el programador especifica qué debe computarse más bien que cómo deben realizarse los cómputos.
-“programa = lógica + control” (Kowalski)
+*"programa = lógica + control" (Kowalski)
-(“algoritmos + estructuras de datos = programas” (Wirth))
+*"algoritmos + estructuras de datos = programas" (Wirth)
 El componente lógico determina el significado del programa mientras que el componente de control solamente afecta a su eficiencia.
@@ Línea 31: / Línea 26: @@
 *Un [http://www.ecured.cu/index.php/Aplicación_informática programa] es una teoría formal en una cierta lógica, esto es, un conjunto de fórmulas lógicas que resultan ser la especificación del problema que se pretende resolver, y
-*La computación se entiende como una forma de inferencia o deducción en dicha lógica.
+la computación se entiende como una forma de inferencia o deducción en dicha lógica. Los principales requisitos que debe cumplir la lógica empleada son:
-Los principales requisitos que debe cumplir la lógica empleada son:
+*Disponer de un lenguaje que sea suficientemente expresivo.
-*disponer de un lenguaje que sea suficientemente expresivo;
+*Disponer de una semántica operacional (un mecanismo de cómputo que permita ejecutar los programas).
-*disponer de una semántica operacional (un mecanismo de cómputo que permita ejecutar los programas);
+*Disponer de una semántica declarativa que permita dar un significado a los programas de forma independiente a su posible ejecución.
-==Diferencias entre imperativo y declarativo==
+== Diferencias entre imperativo y declarativo ==
-En la [Programación Imperativa] se describe paso a paso un conjunto de instrucciones que deben ejecutarse para variar el estado del programa y hallar la solución, es decir, un [[algoritmo]] en el que se describen los pasos necesarios para solucionar el problema.
+En la Programación Imperativa se describe paso a paso un conjunto de instrucciones que deben ejecutarse para variar el estado del programa y hallar la solución, es decir, un [[Algoritmo|algoritmo]] en el que se describen los pasos necesarios para solucionar el problema.
 En la programación declarativa las sentencias que se utilizan lo que hacen es describir el problema que se quiere solucionar, pero no las instrucciones necesarias para solucionarlo. Esto último se realizará mediante mecanismos internos de inferencia de información a partir de la descripción realizada.
-==Aplicaciones==
+== Aplicaciones ==
-Este estilo de programación encuentra numerosas aplicaciones industriales en campos como las bases de datos, [[ingeniería del software]], [[procesadores de lenguajes]], [[lenguaje natural]], investigación operativa, seguridad de redes, etc.
+Este estilo de programación encuentra numerosas aplicaciones industriales en campos como las bases de datos, [[Ingeniería del software|ingeniería del software]], [[Procesadores de lenguajes|procesadores de lenguajes]], [[Lenguaje natural|lenguaje natural]], investigación operativa, seguridad de redes, etc.
-==Ventajas==
+== Ventajas ==
 Se ha dicho que los lenguajes declarativos tienen la ventaja de ser razonados matemáticamente, lo que permite el uso de mecanismos matemáticos para optimizar el rendimiento de los programas.
-*Elegancia, claridad, sencillez, potencia y concisión
+*Elegancia, claridad, sencillez, potencia y concisión.
-*Semánticas claras, simples y matemáticamente bien fundadas
+*Semánticas claras, simples y matemáticamente bien fundadas.
-*Cercanos al nivel de abstracción de las especificaciones formales/informales de los problemas a resolver
+*Cercanos al nivel de abstracción de las especificaciones formales/informales de los problemas a resolver.
-*Referencialmente transparentes: Comportamiento matemático adecuado que permite razonar sobre los programas
+*Referencialmente transparentes: Comportamiento matemático adecuado que permite razonar sobre los programas.
-*Soportan técnicas muy avanzadas de desarrollo, mantenimiento y validación de programas
+*Soportan técnicas muy avanzadas de desarrollo, mantenimiento y validación de programas.
-*Altas dosis de paralelismo implícito
+*Altas dosis de paralelismo implícito.
-*Aplicaciones variadas y de gran interés
+*Aplicaciones variadas y de gran interés.
+*Son fiables, elegantes y expresivos.
-Según la clase de lógica que empleemos como fundamento del lenguaje declarativo obtenemos los diferentes estilos de programación declarativa.
+== Resultados de corrección y completitud ==
-Clase de lógica Estilo
+Según la clase de lógica que se emplee como fundamento del lenguaje declarativo se obtenedrá los diferentes estilos de programación declarativa.
 *Ecuacional Funcional
@@ Línea 75: / Línea 66: @@
 *Temporal Concurrencia
 == Algunos lenguajes declarativos ==
-Existen varios tipos de lenguajes declarativos:
+=== Lenguajes lógicos ===
 *[[Prolog]] ([[Programación funcional]]),
@@ Línea 88: / Línea 76: @@
 *[[F-Prolog]] (Programación Lógica Difusa)
-*Los lenguajes algebraicos, como [[Maude]] y [[SQL]]
+=== Lenguajes algebraicos ===
-*Los lenguajes funcionales, como [[Haskell]], ([[Programación funcional]])
-==Fuentes==
+*[[Haskell]], ([[Programación funcional]])
-==Referencias==
+== Referencias ==
 En estas referencias encontrará recursos de utilidad:
@@ Línea 105: / Línea 95: @@
 *[http://es.wikipedia.org/wiki/Programación_declarativa Programación Declarativa]
-==Vea además==
+== Véase además ==
 *[http://www.ecured.cu/index.php/Programación,_lenguajes_y_paradigmas Programación Lenguajes y Paradigmas]
 *[http://www.ecured.cu/index.php/Lenguajes_de_programación Lenguajes de Programación]
 *[http://www.ecured.cu/index.php/Lenguajes_de_computadora Lenguajes de computadoras]
 </div>
 [[Categoría:Lenguajes_de_programación]][[Categoría:Informática]]

@@ Línea 110: / Línea 110: @@
 *[http://www.ecured.cu/index.php/Lenguajes_de_computadora Lenguajes de computadoras]
 </div>
-[[Categoría:Lenguajes_de_programación]]
+[[Categoría:Lenguajes_de_programación]][[Categoría:Informática]]

@@ Línea 80: / Línea 80: @@
 Existen varios tipos de lenguajes declarativos:
-  Los lenguajes lógicos, como
+Los lenguajes lógicos, como:
-  *[[Prolog]] ([[Programación funcional]]),
-  *[[ML]] (Programación funcional),
+*[[Prolog]] ([[Programación funcional]]),
-  *[[Lisp]] (Programación funcional),
+*[[ML]] (Programación funcional),
-  *[[Curry]] (Programación Lógico-Funcional)
+*[[Lisp]] (Programación funcional),
-  *[[F-Prolog]] (Programación Lógica Difusa)
+*[[Curry]] (Programación Lógico-Funcional)
 *Los lenguajes algebraicos, como [[Maude]] y [[SQL]]

@@ Línea 97: / Línea 97: @@
 En estas referencias encontrará recursos de utilidad:
-*[http://www.uhu.es/18214/temas/tema1(I).pdf Lenguaje Prolog: Conceptos de Programación Declarativa]
+*[http://www.uhu.es/18214/temas/tema1(I).pdf Conceptos de Programación Declarativa]
 *[http://www.dsic.upv.es/asignaturas/facultad/pdd/prd.html Programación Declarativa]
 *[http://www.inf-cr.uclm.es/www/pjulian/teaching/sl_apPD.pdf Programación Declarativa]

@@ Línea 91: / Línea 91: @@
 ==Fuentes==
-[http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=Idea_b%C3%A1sica_en_programaci%C3%B3n_declarativa  Programación Declarativa]
+*[http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=Idea_b%C3%A1sica_en_programaci%C3%B3n_declarativa  Programación Declarativa]
 *[http://www.dsic.upv.es/asignaturas/facultad/pdd/prd.html Programación Declarativa]

Programación Declarativa - Historial de revisiones

Javiermartin jc: Texto reemplazado: «» por «»

Iliana05084: /* Aplicaciones */

Reynier idict en 20:14 16 may 2011

Reynier idict en 19:57 16 may 2011

Berta delfos: /* Vea además */

Berta delfos: /* Algunos lenguajes declarativos */

Erick06115 jc.hlg: /* Referencias */

Erick06115 jc.hlg: /* Fuentes */

Erick06115 jc.hlg: /* Fuentes */

Erick06115 jc.hlg: /* Algunos lenguajes declarativos */

Javiermartin jc: Texto reemplazado: «
» por «»