UNIVERSIDAD DE ORIENTE

NÚCLEO DE MONAGAS
ESCUELA DE INGENIERÍA Y CIENCIAS APLICADAS
DEPARTAMENTO DE INGENIERÍA DE SISTEMAS
INTRODUCCIÓN A LA LÓGICA FORMAL Y ALGORITMOS (072-1162)

Profesor: Realizado por:

Roger Ávila Joseph Mago
Sección: 03 C.I: 31.278.528

MATURÍN, ABRIL DE 2024

 INTRODUCCIÓN

En el amplio y dinámico universo de la informática, dos conceptos emergen como

pilares fundamentales en la construcción de soluciones de software eficientes y efectivas: la
lógica de programación y los algoritmos. Estos dos elementos son la esencia de cualquier
programa de computadora, actuando como el cerebro y el corazón de cada solución de
software.

La lógica de programación es el arte de organizar y estructurar el pensamiento de

manera que pueda ser interpretado y ejecutado por una máquina. Proporciona las
herramientas necesarias para traducir ideas abstractas en instrucciones concretas que una
computadora puede entender y seguir. Al igual que un arquitecto utiliza planos para diseñar
un edificio, un programador utiliza la lógica de programación para diseñar el flujo y la
estructura de un programa.

Por otro lado, los algoritmos son la secuencia de pasos que se deben seguir para resolver
un problema específico. Son como recetas de cocina, proporcionando una lista detallada de
instrucciones que, cuando se siguen en el orden correcto, conducen a una solución deseada.
Los algoritmos son el motor que impulsa cada programa, permitiendo que las computadoras
realicen tareas complejas de manera eficiente y sistemática.

La relación entre la lógica de programación y los algoritmos es tan estrecha que uno
podría decir que son dos caras de la misma moneda. La lógica de programación
proporciona la estructura y los fundamentos sobre los cuales se construyen los algoritmos.
Al aplicar principios lógicos, los programadores pueden diseñar algoritmos que no solo son
eficientes y estructurados, sino también comprensibles, fáciles de mantener y adaptables a
una variedad de situaciones y contextos.

En este trabajo, se explorara las características y aplicaciones de la lógica de

programación y los algoritmos, para poder desarrollar eficientemente programas o
diagramas de flujo con la información adquirida.
LÓGICA DE PROGRAMACIÓN.

Lógica es la ciencia que estudia la estructura, fundamentos y uso de las expresiones del
conocimiento humano, Los libros de tecnología citan que, para resolver un problema a
través del computador, se requiere tener muy buena lógica, o sea, poder vislumbrar el
camino más obvio y más fácil para lograr un objetivo

Un programa es igual a lógica más el control, y la tarea de programar consiste en

centrar la atención en la lógica dejando de lado el control, que se asume automático, al
sistema. El componente lógico determina el significado del programa mientras que el
componente de control solamente afecta a su eficiencia. Esta distinción tiene la ventaja de
que la eficiencia de un programa puede mejorarse modificando el componente de control
sin tener que modificar la lógica del algoritmo (del que el programa es una representación
posible en la máquina). Con más precisión, la característica fundamental de la
programación es el uso de la lógica como lenguaje de programación, lo cual puede
conceptualizarse como sigue:

 Un 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.

Los principales requisitos que debe cumplir la lógica empleada son:

 disponer de un lenguaje que sea suficientemente expresivo para cubrir un campo de

aplicación interesante;
 disponer de una semántica operacional, esto es, 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;
 resultados de corrección y completitud que aseguren que lo que se computa coincide con
aquello que es considerado como verdadero (de acuerdo con la noción de verdad que
sirve de base a la semántica declarativa).
 La programación lógica se basa en fragmentos de la lógica de predicados, siendo el más
popular la lógica de cláusulas de Horn (HCL, del inglés Horn clause logic), que pueden
emplearse como base para un lenguaje de programación al poseer una semántica
operacional susceptible de una implementación eficiente.

La lógica de programación es el conjunto de principios y técnicas que permiten a los

programadores diseñar algoritmos eficientes y estructurar el código de manera lógica y
coherente para resolver problemas de manera efectiva. Implica la capacidad de pensar de
manera analítica y secuencial, descomponer problemas complejos en pasos más simples,
identificar patrones y relaciones, y elaborar soluciones claras y precisas.

La lógica de programación se basa en la lógica matemática y en la resolución de

problemas, y es fundamental para el desarrollo de software de calidad. Los programadores
utilizan la lógica de programación para planificar, diseñar e implementar algoritmos y
estructuras de datos que resuelvan problemas de manera eficiente y efectiva.

Además, la lógica de programación es esencial para la escritura de código claro, legible

y mantenible, lo que facilita la colaboración entre programadores y el mantenimiento a
largo plazo de los sistemas de software. Esta habilidad es fundamental para cualquier
persona que desee incursionar en el campo de la programación y la informática.

La lógica de programación implica:

 Planificación: Antes de escribir código, es crucial dividir un problema en pasos más

pequeños y manejables. Esto implica comprender el problema en su totalidad y definir
los pasos necesarios para resolverlo.
 Análisis: En esta etapa, se identifican las relaciones entre las diferentes partes del
problema. Se busca comprender cómo interactúan entre sí y cómo influyen en la
solución del problema.
 Diseño: Aquí se crea un algoritmo que describe la solución al problema. El algoritmo es
una secuencia de pasos lógicos que, si se siguen correctamente, conducirán a la
resolución del problema.
 Implementación: En esta fase, el algoritmo diseñado se convierte en código que puede
ser ejecutado por una computadora. Es importante escribir un código claro y legible para
facilitar la comprensión y el mantenimiento en el futuro.
 Prueba: Una vez que se ha escrito el código, es esencial realizar pruebas para
asegurarse de que funcione correctamente y produzca los resultados esperados. Esto
implica probar diferentes casos y escenarios para validar la solución.

Como se mencionó anteriormente la lógica de programación es esencial para desarrollar

software de alta calidad, ya que permite a los programadores resolver problemas complejos
de manera eficiente y comunicarse de manera efectiva con otros programadores. Además,
les ayuda a adaptarse a nuevas tecnologías y lenguajes de programación, lo que es crucial
en un campo tan dinámico como la informática.

ALGORITMOS.

Es un conjunto de pasos secuenciales y ordenados que permiten lograr un objetivo Que

sean pasos secuenciales significa que deben ser ejecutados uno después de otro y que sean
pasos ordenados quiere decir que deben llevar un orden que, en algunos casos, podría ser
obligatorio. También se puede definir como una secuencia de instrucciones que representan
un modelo de solución para determinado tipo de problemas. O bien, también como un
conjunto de instrucciones que realizadas en orden conducen a obtener la solución de un
problema. Por lo tanto podemos decir que es un conjunto ordenado y finito de pasos que
nos permite solucionar un problema. Los algoritmos son independientes de los lenguajes de
programación. En cada problema el algoritmo puede escribirse y luego ejecutarse en un
lenguaje de diferente programación.

Los algoritmos se pueden clasificar como:

 Algoritmos informales.

Definidos como todos aquellos algoritmos que no son realizables a través de un

computador (al menos, no fácilmente) Son aquellos algoritmos en donde el ejecutor real es
el ser humano, como el algoritmo para dar un beso, el algoritmo para fritar unos huevos o el
algoritmo para conseguir un libro, se dice " al menos no fácilmente' porque la tecnología ha
avanzado tanto que muchos algoritmos que en el pasado no eran implementables a través de
un computador en la actualidad lo son y de manera mucho más sencilla, como es el caso del
algoritmo para conseguir un libro que anteriormente se pensaba en librerías y ahora se
piensa en un concepto más globalizado Internet con sus buscadores, con más posibilidad de
conseguirlo y con menos trabajo De manera que se considera aquellos algoritmos
informales como los que son preferiblemente realizables por el ser humano.

 Algoritmos computacionales.

Se consideran como tales todos aquellos algoritmos que deben ser preferiblemente
implementados en un computador para aprovechar su velocidad de procesamiento Un
ejemplo de estos puede ser el algoritmo que genere los primeros 100 números primos,
recordando que un número primo es aquel que solo puede ser dividido exactamente entre la
unidad y entre sí mismo que, si bien podrían ser calculados utilizando un papel y un lápiz,
la utilización de un computador en unión con el algoritmo adecuado nos va a dar un
resultado mucho más rápido y absolutamente confiable (lo cual depende de que el
programa se base en un algoritmo confiable).

 Algoritmos cualitativos.

Un algoritmo es cualitativo cuando en sus pasos o instrucciones no están

involucrados cálculos numéricos. Ejemplos: Las instrucciones para desarrollar una
actividad física, encontrar un tesoro.

 Algoritmos cuantitativos.

Un algoritmo es cuantitativo cuando en sus pasos o instrucciones involucran cálculos

numéricos. Ejemplo: Solución de una ecuación de segundo grado.

CARACTERÍSTICAS DE UN ALGORITMO

Todos los algoritmos deben tener las siguientes características:

 Debe ser Preciso, porque cada uno de sus pasos debe indicar de manera precisa e
inequívoca que se debe hacer.
 Debe ser Finito, porque un algoritmo debe tener un número limitado de pasos.
 Debe ser Definido, porque debe producir los mismos resultados para las mismas
condiciones de entrada.
 Puede tener cero o más elementos de entrada.
 Debe producir un resultado. Los datos de salida serán los resultados de efectuar las
instrucciones.

PARTES DE UN ALGORITMO.

Todo Algoritmo debe tener las siguientes partes:

 Entrada de datos, son los datos necesarios que el algoritmo necesita para ser ejecutado.
 Proceso, es la secuencia de pasos para ejecutar el algoritmo.
 Salida de resultados, son los datos obtenidos después de la ejecución del algoritmo.

TÉCNICAS DE REPRESENTACIÓN.

Para la representación de un algoritmo, antes de ser convertido a lenguaje de

programación, se utilizan algunos métodos de representación escrita, gráfica o matemática.
Los métodos más conocidos son:

 Diagramación libre (Diagramas de flujo).

 Diagramas Nassi-Shneiderman.
 Pseudocódigo.
 Lenguaje natural (español, inglés, etc.).
 Fórmulas matemáticas.
 CONCLUSIÓN

La lógica de programación y los algoritmos se erigen como pilares fundamentales en la

formación de cualquier programador, actuando como el cimiento sobre el cual se
construyen todas las habilidades de programación. El dominio de estos conceptos permite a
los programadores abordar problemas complejos de manera sistemática, desglosándolos en
partes más manejables y diseñando soluciones eficientes que se traducen en software
robusto y adaptable a una variedad de necesidades.

Estos conceptos no solo son herramientas para resolver problemas, sino que también son
el lenguaje que los programadores utilizan para comunicarse con las máquinas y entre sí. Al
entender la lógica de programación y los algoritmos, los programadores pueden expresar
ideas complejas de manera clara y precisa, lo que facilita la colaboración y el intercambio
de ideas.

La comprensión profunda de la lógica de programación y los algoritmos es más que una

habilidad técnica, es una mentalidad que es crucial para el éxito en el campo de la
informática. Esta mentalidad permite a los programadores ver más allá de los detalles
técnicos y entender cómo las diferentes piezas de un sistema interactúan entre sí para
formar un todo coherente.

Los programadores que dominan la lógica de programación y los algoritmos no solo son
capaces de crear software innovador, sino que también están equipados para contribuir al
avance tecnológico. Pueden identificar oportunidades para mejorar los sistemas existentes,
desarrollar nuevas tecnologías y encontrar soluciones a los desafíos tecnológicos
emergentes.

Además, estos programadores tienen el potencial de generar soluciones que impactan

positivamente en diversos sectores de la sociedad. Desde la creación de aplicaciones que
mejoran la eficiencia de las empresas, hasta el desarrollo de software que ayuda a resolver
problemas sociales, los programadores que dominan la lógica de programación y los
algoritmos tienen el poder de usar sus habilidades para hacer una diferencia significativa en
el mundo.

En conclusión, la lógica de programación y los algoritmos son mucho más que

conceptos técnicos, son las herramientas que permiten a los programadores dar forma al
mundo digital y, a través de él, impactar en el mundo real. Su dominio es esencial para
cualquier persona que aspire a tener éxito en el campo de la informática y su importancia
solo seguirá creciendo a medida que la tecnología continúa avanzando y evolucionando.
 BIBLIOGRAFÍA

Iranzo, P. J., & Alpuente Frasnedo, M. (2007). Programación Lógica: Teoría y Práctica . España:
PEARSON PRENTICE HALL.

Quintero Méndez, M. A. (2016). Introducción a la Lógica de Programaciön: Conceptos y Ejercicios .

Universidad de los Andes .

Saldaña Saldaña, H. R., & Muñoz Hernández, g. (2015). Algoritmos, Diagramas de Flujo y
Pseudocódigos. Universidad Politécnica de la Región Ribereña.

Sánchez, V. (1976). Computación: Lenguajes y Programación . Chile: CELADE.

Trejos Buriticá, O. I. (2017). Lógica de Programación. Colombia: Ediciones de la U.