LOGICA COMPUTACIONAL

ENSAYO SOBRE TODOS LOS PARADIGMAS DE PROGRAMACION DE

LOS COMPUTADORAS

INTEGRANTES:

CRISTIAN CAMILO CORONADO ACOSTA

CARLOS ALBERTO QUINTERO TORDECILLA

ENTREGADO A
PRIER PEA

UNIVERSIDAD DE CRDOBA

FACULTAD DE INGENIERAS

PROGRAMA DE INGENIERA DE SISTEMAS

2014
 APUNTES SOBRE LENGUAJES Y PARADIGMAS DE LA PROGRAMACIN

Hace ms de 60 aos se empez hablar de lenguajes de programacin, aparecen

por la necesidad de darle un lenguaje independiente, menos mecanizado, ms
dinmico a los computadores.

Un lenguaje de programacin es un lenguaje formal diseado para expresar

procesos que pueden ser llevados a cabo por mquinas como las computadoras.

Su uso se enfoca en la creacin de programas que controlen el comportamiento

fsico y lgico de una mquina, para expresar algoritmos con precisin, o como
modo de comunicacin humana.

La importancia de los lenguajes de programacin radica en que pueden mejorar el

uso del lenguaje de programacin, incrementa el vocabulario de los elementos de
programacin, permite una mejor eleccin del lenguaje de programacin, mejora la
habilidad para desarrollar programas efectivos y ecientes, facilita el aprendizaje
de un nuevo lenguaje de programacin y el diseo de nuevos lenguajes de
programacin

Dentro de este aspecto aparecen los paradigmas; 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. De los cuales se puede mencionar

Paradigma funcional, es un paradigma de programacin declarativa basado en la

utilizacin de funciones matemticas que no maneja datos mutables o de estado.
Destaca la aplicacin de funciones, en contraste con el estilo de programacin
imperativa, que enfatiza los cambios de estado.

Paradigma lgico, es un tipo de paradigmas de programacin dentro del

paradigma de programacin declarativa. La programacin funcional se basa en el
concepto de funcin (que no es ms que una evolucin de los predicados), de
corte ms matemtico. La programacin lgica gira en torno al concepto de
predicado, o relacin entre elementos.
Programacin declarativa, en contraposicin a la imperativa, en la programacin
declarativa las sentencias que se utilizan lo que hacen es describir el problema
que se quiere solucionar, pero no las instrucciones necesarias para solucionarlo.

Paradigma imperativo, es un paradigma de programacin que describe la

programacin en trminos del estado del programa y sentencias que cambian
dicho estado. Los programas imperativos son un conjunto de instrucciones que le
indican al computador cmo ejecutar una tarea.

Paradigma orientado a objetos, es un paradigma de programacin que usa los

objetos en sus interacciones, para disear aplicaciones y programas informticos.
Est basado en varias tcnicas, incluyendo herencia, cohesin, abstraccin,
polimorfismo, acoplamiento y encapsulamiento. En la actualidad, existe una gran
variedad de lenguajes de programacin que soportan la orientacin a objetos.

Los paradigmas juegan un papel importante en el mundo de los computadores por

ser un medio donde se puede hacer planteamientos para desarrollar un software.

Brindan la estructura de la programacin y el camino para resolver problemas a

travs de sentencias lgicas o matemticas.

Hoy en da se pueden comprender mejor las diferentes definiciones de cada tipo

de paradigmas. Los lenguajes de programacin a veces pueden tener influencias
de otros tipos de paradigmas.