Programacion lgica y funcional

Glosario

1-LENGUAJE NATURAL

Es el lenguaje que el ser humano habla todos los das, es la forma de comunicarse por excelencia.

Son ejemplos de lenguaje natural el castellano, el cataln, el vasco o el gallego, en Espaa, y cualquier otro idioma que se hable en alguna parte del mundo.

desde mastermagazine http://www.mastermagazine.info/termino/5562.php#ixzz3ScVpOc7M

2-LENGUAJE DE PROGRAMACION

Un lenguaje de programacin es aquel elemento dentro de la informtica que nos permite crear programas mediante un conjunto de instrucciones, operadores y reglas de sintaxis; que pone a disposicin del programador para que este pueda comunicarse con los dispositivos hardware y software existentes.

Ejemplos:

Segn su nivel de abstraccin

Lenguajes Maquina

Lenguajes de bajo nivel

Lenguajes de medio nivel

Lenguajes de alto nivel

Segn la forma de ejecucin

Lenguajes compilados

Lenguajes interpretados

http://catedraprogramacion.forosactivos.net/t83-definicion-de-lenguaje-de-programacion-tipos-ejemplos

3-LENGUAJE PROCEDURAL

Es aquel lenguaje de programacion en el que hay que sealar tanto lo que se quiere hacer como el modo de hacerlo. Los lenguajes de tercera generacion son de tipo procedural.

Tomado de: material proporcionado por el docente.

4-LENGUAJE RELACIONAL

Tipo de lengueje de programacion en el que solo hay que especificar lo que se quiere obtener, sin necesidad de especificar a su vez el camino a seguir para obtener los resultados deseados.

Ejemplo de ellos son los lenguajes de bases de datos, como el SQL, QBE

Obtenido de: http://www.inf-cr.uclm.es/www/fruiz/bda/doc/teo/bda-t4.pdf

5-PARADIGMA

En la ciencia un paradigma es un conjunto de realizaciones cientficas universalmente reconocidas que, durante cierto tiempo proporcionan modelos de problemas y soluciones a una comunidad cientfica.

Los paradigmas de programacin nos indican las diversas formas que, a lo largo de la evolucin de los lenguajes, han sido aceptadas como estilos para programar y para resolver los problemas por medio de una computadora.

Ejemplo de ello son POO, programacion modular, programacion por procedimientos, programacion estructurada.

Obtenido de: http://www.iqcelaya.itc.mx/~vicente/Programacion/Paradigmas.pdf

6-LENGUAJES IMPERATIVOS

Es un tipo de lenguaje de programacin. Es este tipo de lenguajes, las instrucciones se ejecutan unas tras otras, de manera secuencial, salvo cuando se encuentran estructuras de control condicionales o bucles. Hay declaracin de variables, tipos y procedimientos, aunque esto vara notablemente en funcin del lenguaje utilizado, pues los hay que exigen las declaraciones mientras que otros permiten que esos elementos no sean declarados.

Obtenido de: http://enciclopedia.us.es/index.php/Lenguaje_imperativo

7-LENGUAJES APLICATIVOS

Un punto de vista alternativo de la computacion representado por un lenguaje de programacion consiste en examinar la funcin que el programa representa y no solo los cambios de estado conforme el programa se ejecuta, enunciado por enunciado, esto se puede conseguir observando el resultado deseado en vez de los datos disponibles. En otras palabras, en vez de examinar la serie de estados a travs de los cuales debe pasar la maquina para obtener una respuesta, la preguta que se debe formular es: Cul es la funcin que se debe aplicar al estado de maquina inicial accediendo al conjunto inicial de variables y combinndolas en formas especificas para obtener una respuesta? Los lenguajes que hacen nfasis en este punto de vista se conocen como lenguajes aplicativos o funcionales.

Tomado de: material proporcionado por el docente.

8-LENGUAJES BASADOS EN REGLAS

Se ejecutan verificando la presencia de una cierta condicion habilitadora y, cuando se satisfice, ejecutan una accion apropiada. El lenguaje mas comun con base a reglas es Prolog, que tambien se conoce como programacion logico, puesto que las condiciones habilitadoras basicas son ciertas clases de expresiones logicas de predicados.

Tomado de: material proporcionado por el docente.

9-PROGRAMACION ESTRUCTURADA

La programacin estructurada es una teoria de programacin que consiste en construir programas de facil comprension.

Ejemplo: C C++, Fox Pro, Visual Basic, COBOL, etc

Obtenido de: http://recursostic.educacion.es/observatorio/web/eu/component/content/article/19-monograficos/502-monografico-lenguajes-de-programacion

10-PROGRAMACION ORIENTADA A OBJETOS

En este tipo de lenguaje, se construyen objetos complejos de datos y luego designa un conjunto limitado de funciones para que operen con esos datos

Ejemplo: el lenguaje JAVA

Tomado de: material proporcionado por el docente.