Instituto Tecnolgico Superior de Tantoyuca

Programacin Lgica y Funcional

Paradigmas y L de Programacin

Un paradigma define un conjunto Un lenguaje de programacin es

de reglas, patrones y estilos de un lenguaje formal diseado
para realizar procesos que Caractersticas de un Lenguaje
programacin que son usados por
un grupo de lenguajes de pueden ser llevados a cabo por de Programacin:
programacin delimitados mquinas como Define un proceso que se ejecuta en
las computadoras. un computador
Es de alto nivel, cercano a los
problemas que se quieren resolver
(abstraccin)
Permite construir nuevas
Paradigma funcional abstracciones que se adapten al
dominio que se programa
La computacin se realiza
mediante la evaluacin de
expresiones
Definicin de funciones
Funciones como datos primitivos
Paradigmas y
Valores sin efectos laterales, no lenguajes de Elementos de los lenguajes de
existe la asignacin
Programacin declarativa Programacin programacin
Lenguajes: LISP, Scheme, Haskell, Expresiones primitivas que representan
las entidades ms simples del lenguaje
Scala
Mecanismos de combinacin con los que
se construyen elementos compuestos a
partir de elementos ms simples
Mecanismos de abstraccin con los que
dar nombre a los elementos compuestos y
SINTAXIS Y manipularlos como unidades
SEMNTICA
Paradigma orientado a Cada lenguaje tiene
objetos Paradigma lgico sintaxis y semntica:

Definicin de clases y
Definicin de reglas
herencia
Unificacin como elemento
Objetos como abstraccin
de computacin
de datos y procedimientos
Programacin declarativa La sintaxis de un lenguaje de
Polimorfismo y chequeo de
Lenguajes: Prolog, Mercury, programacin est relacionada
tipos en tiempo de ejecucin
Oz. con la forma de los programas,
Ejemplo en Java
La semntica de un lenguaje de por ejemplo, como es que las
Paradigma imperativo programacin est relacionada expresiones, comandos,
Definicin de procedimientos con el significado de los declaraciones, etc. son puestos
Definicin de tipos de datos programas; por ejemplo, cmo juntos en un programa.
Chequeo de tipos en tiempo de ellos se comportarn cuando se
compilacin ejecutan en una computadora.
Cambio de estado de
variables
Pasos de ejecucin de un
proceso

Docente: Ing. Manuel Hernndez Hernndez

Reynaldo Ramrez del ngel
Cesar Axahid del ngel Cervantes
Mario Alberto del ngel del ngel
ISC8A 16-Feb-2017