A1.2 Imagen interactiva.

EMPEZAR

ASIGNATURAPROGRAMACIÓN LÓGICA Y FUNCIONALACTIVIDAD DE APRENDIZAJE. NO A1.2TEMA DESARROLLADOA1.2 Imagen interactiva.Alumno:Luis Angel Jose Sanchez :21271050Oscar Christianes Perez Alfonso 19271128Angel Espinosa Lopéz:21271039Docente Grissel Anahi Cruz Arriaga 12/09/2024

+ info

Paradigmas de Programación

Los paradigmas son un tipo de identidad de estos lenguajes, es decir, son modelos de escritura de código que se pueden aplicar a varios lenguajes. Incluso es posible utilizar más de un paradigma para la misma solución en un lenguaje previamente elegido.

La evaluación de expresiones en programación se refiere al proceso mediante el cual un lenguaje de programación interpreta y calcula el resultado de una expresión dada. Paradigma Imperativo El paradigma imperativo es un enfoque de programación que se basa en la ejecución de instrucciones paso a paso. En este paradigma, el programador especifica explícitamente los pasos que el programa debe seguir para alcanzar un resultado deseado.

Evaluación de Expresiones

Paradigma Funcional El paradigma funcional es un enfoque de programación que se basa en el uso de funciones matemáticas puras. Paradigma Lógico El paradigma lógico se basa en la lógica formal y se utiliza para expresar reglas y relaciones que gobiernan el problema en cuestión. o. Ejemplos de Lenguajes Representativos• Imperativo: C, C++, Java. • Funcional: Haskell, Lisp, Erlang. • Lógico: Prolog.

LógicoEn el paradigma lógico, los tipos de datos se basan en hechos y reglas. Los datos se representan mediante predicados lógicos y cláusulas. Los tipos de datos incluyen átomos, listas y estructuras.Ejemplos de Lenguajes Representativos

• Imperativo: C, C++, Java.
• Funcional: Haskell, Lisp, Erlang.
• Lógico: Prolog.

Imperativo En el paradigma imperativo, los tipos de datos incluyen variables que pueden ser modificadas a lo largo del programa. Estos tipos de datos pueden ser primitivos (como enteros, flotantes, caracteres) y compuestos (como arrays, estructuras). Funcional En el paradigma funcional, los tipos de datos son inmutables, lo que significa que no pueden ser modificados una vez creados. Las funciones son ciudadanos de primera clase, lo que significa que pueden ser pasadas como argumentos y devueltas como resultados.

Tipo de Datos

Lógico Los programas lógicos utilizan mecanismos de inferencia para deducir conclusiones a partir de un conjunto de reglas y hechos. El backtracking es una técnica común en este paradigma, donde el sistema retrocede y prueba diferentes caminos hasta encontrar una solución que satisfaga todas las condiciones.

Imperativo En el paradigma imperativo, el control de flujo se maneja mediante estructuras de control como bucles (for, while), condicionales (if, else), y saltos (goto). Estas estructuras permiten que el programa ejecute instrucciones en un orden específico, repita bloques de código y tome decisiones basadas en condiciones. Funcional En el paradigma funcional, el control de flujo se maneja principalmente a través de la aplicación de funciones y la recursión. En lugar de usar bucles y condicionales tradicionales, se utilizan funciones puras y combinaciones de funciones para controlar el flujo del programa.

Disciplina (Control de Flujo)

LógicoEn el paradigma lógico, las funciones se representan mediante predicados y reglas. Un programa lógico consiste en una serie de hechos y reglas que describen relaciones lógicas entre datos.

Imperativo En el paradigma imperativo, las funciones (o procedimientos) se utilizan para encapsular bloques de código que realizan tareas específicas. Las funciones en lenguajes imperativos suelen seguir una secuencia de instrucciones y pueden tener efectos secundarios, como modificar variables fuera de su ámbito. Funcional En el paradigma funcional, las funciones son ciudadanos de primera clase, lo que significa que pueden ser pasadas como argumentos, devueltas como resultados y asignadas a variables. Las funciones en este paradigma son puras, es decir, no tienen efectos secundarios y siempre producen el mismo resultado para los mismos argumentos.

Funciones

Imperativo • C: Un lenguaje de programación de propósito general que ha influido en muchos otros lenguajes. • C++: Una extensión de C que incluye características de programación orientada a objetos. • Java: Un lenguaje de programación ampliamente utilizado que es conocido por su portabilidad y robustez. Funcional • Haskell: Un lenguaje puramente funcional conocido por su fuerte sistema de tipos y su uso en investigación académica. • Lisp: Uno de los lenguajes de programación más antiguos, conocido por su flexibilidad y poder. • Erlang: Un lenguaje funcional diseñado para sistemas concurrentes y distribuidos.

Lenguajes de Programación Representativos

Lógico • Prolog: Un lenguaje de programación lógica utilizado principalmente en inteligencia artificial y procesamiento de lenguaje natural. • Datalog: Un lenguaje de consulta basado en la lógica utilizado en bases de datos deductivas.

• Cyberstream. (2024, February 16). Resolución de expresiones lógicas: una guía completa para solucionar problemas de lógica. Byron Vargas ®. https://www.byronvargas.com/web/como-se-resuelven-expresiones-logicas/
• Equipo editorial de IONOS. (2021a, May 21). Programación imperativa: resumen del paradigma de programación más antiguo. IONOS Digital Guide. https://www.ionos.mx/digitalguide/paginas-web/desarrollo-web/programacion-imperativa/
• Equipo editorial de IONOS. (2021b, May 21). Programación imperativa: resumen del paradigma de programación más antiguo. IONOS Digital Guide. https://www.ionos.mx/digitalguide/paginas-web/desarrollo-web/programacion-imperativa/
• Kariuki, C. (2024a, May 20). Programación funcional explicada en 5 minutos [con ejemplos]. Geekflare Spain. https://geekflare.com/es/functional-programming/
• Kariuki, C. (2024b, May 20). Programación funcional explicada en 5 minutos [con ejemplos]. Geekflare Spain. https://geekflare.com/es/functional-programming/
• Programación imperativa | AppMaster. (n.d.). AppMaster - Ultimate All-in No-code Platform. https://appmaster.io/es/glossary/programacion-imperativa

Bibliografia