UA
   LENGUAJES Y PARADIGMAS DE PROGRAMACIÓN    Año académico       Versión PDF.  Versión PDF para convalidación.
Código9301Descripción
Crdts. Teor.3PROGRAMACIÓN PROCEDIMENTAL. PROGRAMACIÓN FUNCIONAL. PROGRAMACIÓN DECLARATIVA. PROGRAMACIÓN ORIENTADA A OBJETOS. LENGUAJES DE SCRIPT.
Crdts. Pract.3
A efectos de intercambios en programas de movilidad, la carga de esta asignatura equivale a 7,5 ECTS.


Departamentos y Áreas
DepartamentosÁreaCrdts. Teor.Crdts. Pract.Dpto. Respon.Respon. Acta
Ciencia de la Computación e Inteligencia ArtificialCiencia de la Computación, Inteligencia Artificial33


Estudios en los que se imparte
Ingeniería Técnica en Informática de Gestión - plan 2001


Pre-requisitos
FUNDAMENTOS DE PROGRAMACIÓN I


Incompatibilidades de matrícula por contenidos equivalentes
Esta asignatura es incompatible, por tener contenidos equivalentes, con las asignaturas siguientes:
CódigoAsignatura
9189LENGUAJES Y PARADIGMAS DE PROGRAMACIÓN
9378LENGUAJES Y PARADIGMAS DE PROGRAMACIÓN


Matriculados (2012-13)
Grupo (*)Número
1 1
TOTAL 1
(*) 1: GRUPO 1 - CAS


Ofertada como libre elección (2012-13)
Sin departamento
Consulta Gráfica de Horario
A efectos de intercambios en programas de movilidad, la carga de esta asignatura equivale aPincha aquí


Horario (2012-13)
Sin horario


Grupos de matricula (2012-13)
Grupo (*)CuatrimestreTurnoIdiomaDistribución (letra nif)
1 2do. M CAS desde - hasta -
(*) 1: GRUPO 1 - CAS


Objetivos de las asignatura / competencias (2012-13)
En la asignatura se razona sobre el concepto de programación desde un punto de vista práctico. ¿Qué elementos son comunes a los lenguajes de programación? ¿Qué características tienen? ¿Cuáles son los elementos esenciales y los accesorios? ¿Cómo diseñar un buen lenguaje de programación? Veremos que el elemento central de la programación es la idea de construcción de abstracciones. Un lenguaje de programación proporciona mecanismos de abstracción que nos permiten expresar una solución informática en un lenguaje cercano al dominio que estamos tratando. En el curso utilizaremos los lenguajes de programación Scheme y Scala. Scheme es una variante muy extendida de LISP, lenguaje paradigma de la programación funcional. La utilización de un lenguaje tan sencillo nos permite reflexionar sobre cuáles son los elementos esenciales de los lenguajes de programación y su semántica. Scala es un lenguaje moderno que se ejecuta en la plataforma Java y que se está reconocido como uno de los más importantes lenguajes multi-paradigma, integrando de forma coherente conceptos de programación funcional y programación orientado a objetos.

En el curso trataremos cinco grandes bloques

- Lenguajes de programación: Conceptos generales comunes al diseño y construcción de lenguajes de programación. Algunos contenidos: historia y paradigmas de lenguajes de programación, programación declarativa vs. programación procedural, tipos de datos.
- Programación funcional: Estudio en profundidad del paradigma de programación funcional. Algunos contenidos: modelo computacional de sustitución, forma especial lambda, recursión, programacion funcional en Scheme, abstracción, estructuras de datos recursivas como listas y árboles.
- Programación imperativa: Estudio de las características de la programación imperativa comparada con la programación funcional. Algunos contenidos: modelo de computación basado en entornos, asignación de variables, estado local.
- Programación orientada a objetos: Repaso de los elementos esenciales del paradigma de programación orientada a objeto, poniéndolos en el contexto de lo que aportan al paradigma clásico procedural. Características avanzadas de POO en un lenguaje de reciente diseño como Scala.
- Integración de paradigmas: Lenguajes que integran el paradigma funcional y el procedural. ¿Por qué es interesante integrarlos? Ventajas de la programación funcional para la concurrencia. Scala como un ejemplo de lenguaje de integración de paradigmas.

Competencias

-Conocer y diferenciar las características de los distintos paradigmas de programación (programación funcional, procedural y orientada a objetos) e identificarlas en lenguajes de programación concretos.
-Conocer los elementos que componen los lenguajes de programación (estructuras de control, procedimientos, tipos de datos) y distintas implementaciones de estos elementos en distintos lenguajes.
-Diferenciar entre tiempo de ejecución y tiempo de compilación en distintos ámbitos: detección de errores o definición, creación o ámbito de vida de variables.
-Conocer modelos de computación específicos que expliquen la semántica de los lenguajes de programación. En concreto: modelo de sustitución para la programación funcional y modelo de entornos para explicar el ámbito y los valores de los variables en la programación procedural.
-Utilizar la abstracción y la recursión para diseñar correctamente procedimientos y estructuras de datos (listas y árboles).
-Ser capaz de diseñar, implementar y corregir programas funcionales, en concreto utilizando el lenguaje de programación Scheme.
-Ser capaz de implementar programas sencillos en Scala, en los que se utilicen las características multi-paradigma del lenguaje.
-Comparar el paradigma orientado a objetos con el paradigma procedural clásico, reconociendo las ventajas que aporta en cuanto a abstracción, reutilización y modificación de código.
-Conocer los principios básicos del paradigma de programación lógica


Contenidos teóricos y prácticos (2012-13)

Tema 1: Lenguajes y paradigmas de programación
Tema 2: Características de la Programación Funcional
Tema 3: Recursión
Tema 4: Programación funcional avanzada en Scheme
Tema 5: Construyendo abstracciones en programación funcional
Tema 6: Estructuras de datos recursivas: listas y árboles
Tema 7: Programación imperativa: ámbito de variables y estado local
Tema 8: Tipos de datos
Tema 9: Control del flujo: selección, iteración, y continuaciones
Tema 10: Subrutinas y abstracción del control
Tema 11: Programación Orientada a Objetos
Tema 12: Lenguajes multi-paradigma: Scala
Tema 13: Programación Lógica


Más información
http://www.dccia.ua.es/dccia/inf/asignaturas/LPP
Profesor/a responsable
Gallardo López , Domingo


Metodología docente (2012-13)
Clases teóricas y prácticas
Sin docencia


Tipo de actividades: teóricas y prácticas
Laboratorios
Sin docencia


Profesores (2012-13)
Grupo Profesor/a
TEORIA COMPARTIDA DE 9189, 9301 Y 93781Gallardo López, Domingo
PRÁCTICAS CON ORDENADOR DE 91891Gallardo López, Domingo
Pomares Puig, Cristina
2Pomares Puig, Cristina
3Pomares Puig, Cristina
4Gallardo López, Domingo
Enlaces relacionados
http://www.dccia.ua.es/dccia/inf/asignaturas/LPP


Bibliografía

Concepts, techniques, and models of computer programming
Autor(es):Peter Van Roy, Seif Haridi
Edición:Cambridge, Mass : MIT Press, 2004.
ISBN:0-262-22069-5
Recomendado por:POMARES PUIG, Mª CRISTINA
[ Acceso al catálogo de la biblioteca universitaria ]

Programming language concepts and paradigms
Autor(es):David A. Watt ; with contributions by William Findlay, John Hughes
Edición:New York [etc.] : Prentice Hall, cop. 1990.
ISBN:0-13-728866-2
Recomendado por:POMARES PUIG, Mª CRISTINA
[ Acceso al catálogo de la biblioteca universitaria ]

Programming languages : principles and paradigms
Autor(es):TUCKER, Allen ; NOONAN, Robert
Edición:Boston [etc.] : McGraw-Hill, cop. 2002.
ISBN:0-07-238111-6
Recomendado por:POMARES PUIG, Mª CRISTINA
[ Acceso al catálogo de la biblioteca universitaria ]

The reasoner schemer
Autor(es):FRIEDMAN, Daniel P. ; BYRD, William E. ; KYSELYOV, Oleg
Edición:Cambridge : MIT Press, 2005.
ISBN:0-262-56214-6
Recomendado por:POMARES PUIG, Mª CRISTINA (*1)
[ Acceso al catálogo de la biblioteca universitaria ] [ Enlace al recurso bibliográfico ]
(*1) Este profesor ha recomendado el recurso bibliográfico a todos los alumnos de la asignatura.
Fechas de exámenes oficiales (2012-13)
ConvocatoriaGrupo (*)fechaHora inicioHora finAula(s) asignada(s)Observ:
Estudio: B204
Pruebas extraordinarias de finalización de estudios -1 05/11/2012 -
Periodo ordinario para asignaturas de segundo semestre y anuales -1 03/06/2013 15:00 18:00 EP/S-10P -
Pruebas extraordinarias para asignaturas de grado y máster -1 12/07/2013 11:30 14:30 CS/S005 -
(*) 1: GRUPO 1 - CAS


Instrumentos y criterios de evaluación (2012-13)
Evaluación continua, examen final
Examen final