PARADIGMA DECLARATIVO

Destaca las caractersticas que debe tener la solucin, pero no describe como procesarla.

A partir de esta informacin el sistema proporciona un esquema que incluya el orden de evaluacin que compute una solucin. Aqu no existe la descripcin de las diferentes etapas a seguir para alcanzar una solucin. Estos paradigmas permiten el uso de variables para almacenar valores intermedios, pero no para actualizar estados de informacin. Dado que estos paradigmas especifican la solucin sin indicar cmo construirla, en principio eliminan la necesidad de probar que el valor calculado es el valor solucin. Las soluciones son todava producidas ms como construcciones que cmo especificaciones.

Los paradigmas resultantes y los lenguajes que los soportan no son verdaderamente declarativos, sino pseudodeclarativos. En este grupo se encuentran: el funcional, el lgico y el de transferencia. En principio, estos no son soluciones inherentes de tipos serie o paralelo, ya que no dirigen la secuencia de control y no pueden alterar el natural no paralelismo del algoritmo. No obstante, los paradigmas pseudodeclarativos requieren al menos un limitado grado de secuencia, y por lo tanto admiten versiones en serie y paralelo. PARADIGMA Errar es humano, pero para enredar las cosas en grande... Hace falta una computadora...!!! Wilucha

PARADIGMA LGICO

Resuelve problemas descritos como las relaciones de un conjunto de datos, sobre las que aplica reglas de deduccin y a partir de tales premisas genera conclusiones aceptadas como validas usa la lgica de predicados, o aserciones lgicas que representan el conocimiento sobre un mbito. El programador especifica hechos y propiedades del problema, no como debe resolverse; es el sistema quien debe buscar la solucin, usando: Hechos o asertos y reglas para representar la informacin. Deducciones para responder consultas, y generar nuevos hechos, a partir de sus componentes lgicos y secuencias de control del sistema, automatizando as la correccin del programa. Verificacin de las transformaciones evaluadas partiendo de metas. Si se prueba que se ajustan a hechos o se deducen de alguna regla, entonces sus antecedentes se convierten en nuevas metas. La solucin final resulta de aplicar resultados intermedios de las variables de la meta inicial, usando un proceso iterativo, que concluye cuando las sub-metas son probadas. Este est estructurado como un conjunto de proposiciones o hechos de reglas lgicas establecidas a priori, que generan conclusiones, ya sean de una serie de preguntas o por cuestiones lgicas, de modo que tales hechos y reglas permitirn nuevos hechos. Ejemplo: Para el hecho Andrs es padre: Para todo X, si X es padre y es masculino Se puede deducir que Andrs es masculino

PARADIGMA FUNCIONAL

El objetivo del paradigma funcional es conseguir lenguajes expresivos y matemticamente elegantes, en los que no sea necesario bajar al nivel de la mquina para describir el proceso llevado a cabo por el programa, y evitando el concepto de estado del cmputo. La secuencia de computaciones llevadas a cabo por el programa se regira nica y exclusivamente por la reescritura de definiciones ms amplias a otras cada vez ms concretas y definidas, usando lo que se denominan definiciones dirigidas.

Todo esto con el objetivo de familiarizar a los estudiantes con un lenguaje elegante en el cual se pueda manejar ms fcilmente y as los programas sean menos extensos y complejos.

Otro de los objetivos primordiales de dicho paradigma es buscar satisfacer las necesidades del usuario con respecto a operaciones matemticas y convertirse en un lenguaje ms expresivo.