UA
   LLENGUATGES I PARADIGMES DE PROGRAMACIÓ    Any acadèmic       Versió PDF.
Codi9189Descripció
Crdts. Teor.3PROGRAMACIÓ PROCEDIMENTAL. PROGRAMACIÓ FUNCIONAL. PROGRAMACIÓ DECLARATIVA. PROGRAMACIÓ ORIENTADA A OBJECTES. LLENGUATGES DE SCRIPT.
Crdts. Pract.3
A efectes d'intercanvis en programes de mobilitat, la càrrega d'aquesta assignatura equival a 7,5 ECTS.


Departamentos y Áreas
DepartamentsÀreaCrdts. Teor.Crdts. Pract.Dpto. Respon.Respon. Acta
CIÈNCIA DE LA COMPUTACIÓ I INTEL·LIGÈNCIA ARTIFICIALCIÈNCIA DE LA COMPUTACIÓ I INTEL·LIGÈNCIA ARTIFICIAL33


Estudis en què s'imparteix
Enginyeria en Informàtica - pla 2001


Prerequisitos
FONAMENTS DE PROGRAMACIÓ I


Incompatibilitats de matricula per continguts equivalents
Aquesta assignatura és incompatible, per tenir continguts equivalents, amb les següents assignatures:
CodiAssignatura
9378LLENGUATGES I PARADIGMES DE PROGRAMACIÓ
9301LLENGUATGES I PARADIGMES DE PROGRAMACIÓ


Matriculats (2009-10)
Grup (*)Nombre
1 32
2 34
3 4
TOTAL 70
(*) 1: GRUPO 1 - CAS
(*) 2: GRUPO 2 - CAS
(*) 3: GRUPO 3 Valenciano - VAL


Oferida com a lliure elecció (2009-10)
Sense departament
Consulta Gràfica d'Horari
A efectes d'intercanvis en programes de mobilitat, la càrrega d'aquesta assignatura equival aFeu clic ací


Horari (2009-10)
ModeGrup (*)Data d’iniciData de finalitzacióDiaHora d’iniciHora d’fiAula
CLASSE TEÒRICA 1 01/02/2010 21/05/2010 M 10:00 11:00 A2/D23
  1 01/02/2010 21/05/2010 X 10:00 11:00 A2/D23
  2 01/02/2010 21/05/2010 M 15:00 16:00 A2/D23
  2 01/02/2010 21/05/2010 X 16:00 17:00 A2/D23
  3 01/02/2010 21/05/2010 M 11:00 12:00 A2/D21
  3 01/02/2010 21/05/2010 X 11:00 12:00 A2/D21
PRÀCTIQUES AMB ORDINADOR 1 01/02/2010 21/05/2010 M 11:00 13:00 0016P1008
  2 01/02/2010 21/05/2010 M 16:00 18:00 0016P1001
  3 01/02/2010 21/05/2010 X 12:00 14:00 0016P1001
  4 01/02/2010 21/05/2010 X 14:00 16:00 0016P1008
  5 01/02/2010 21/05/2010 X 16:00 18:00 0016P1008
(*) CLASE TEÓRICA
1: GRUPO 1 - CAS
2: GRUPO 2 - CAS
3: GRUPO 3 Valenciano - VAL
(*) PRÁCTICAS CON ORDENADOR
1: GRUPO PRACTICAS LPP - CAS
2: GRUPO PRACTICAS LPP - CAS
3: GRUPO PRACTICAS LPP - CAS
4: GRUPO PRACTICAS LPP - CAS
5: GRUPO PRACTICAS LPP - CAS


Grups de matricula (2009-10)
Grup (*)QuadrimestreTornIdiomaDistribució (lletra nif)
1 2do. M CAS des de A fins a M
2 2do. T CAS des de N fins a Z
3 2do. M VAL des de - fins a -
(*) 1: GRUPO 1 - CAS
(*) 2: GRUPO 2 - CAS
(*) 3: GRUPO 3 Valenciano - VAL


Objectius de l'assignatura / competències (2009-10)

Objetivos


En la asignatura Lenguajes y Paradigmas de Programación 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 prorporciona 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 el lenguaje de programación Scheme. Se trata de una variante muy extendida de LISP, el lenguaje representante del paradigma de 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. También nos permite ir introduciendo nuevos paradigmas y elementos de programación mediante la extensión del lenguaje.


En el curso trataremos cuatro grandes bloques:


Conceptos de 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, macros.
Programación funcional: Estudio en profundidad del paradigma de programación funcional. Algunos contenidos: cálculo lambda, modelo computacional de sustitución, 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: Estudio de los elementos esenciales del paradigma de programación orientada a objeto, tanto desde el punto de vista de programador usuario del paradigma como desde el punto de vista de diseñador de un lenguaje de programación OO.

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 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 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 características de lenguajes avanzados (como tipos de datos o mecanismos de programación orientada a objetos) utilizando un lenguaje más básico como Scheme.


Continguts teòrics i pràctics (2009-10)

Parte 1 (I): Conceptos de lenguajes de programación (I)

Tema 1: Lenguajes de programación


Parte 2: Programación funcional

Tema 2: Características de la programación funcional
Tema 3: Recursión
Tema 4: Programación funcional avanzada en Scheme
Tema 5: Abstracción
Tema 6: Estructuras de datos recursivas: listas y árboles


Parte 1 (II): Conceptos de lenguajes de programación (II)

Tema 7: Tipos de datos
Tema 8: Macros


Parte 3: Programación imperativa

Tema 9: Modelo de computación basado en entornos
Tema 10: Tipos de datos mutables


Parte 4: Programación orientada a objetos

Tema 11: Fundamentos de programación orientada a objetos
Tema 12: Construcción de lenguajes orientados a objetos




Enllaç al programa
http://www.dccia.ua.es/dccia/inf/asignaturas/LPP
Professor/a responsable
Gallardo López , Domingo


Metodologia docent (2009-10)
Classes teòriques i pràctiques
La asignatura se imparte en 30 sesiones teóricas de 50 minutos. Se imparten dos sesiones de teoría a la semana.

En las sesiones teóricas se presentan los conceptos y técnicas de la asignatura, utilizando abundantes ejemplos y demostraciones prácticas (programas en el lenguaje de programación Scheme).


Tipus d'activitats: teòriques i pràctiques
Laboratoris
En la asignatura se realizan 15 sesiones prácticas de 2 horas de duración.

A lo largo del cuatrimestre, los estudiantes resuelven 10 hojas de ejercicios utilizando las técnicas explicadas en teoría y usando el lenguaje de programación Scheme. Cada hoja de ejercicios consta de varios pequeños problemas que deben resolverse e implementarse.

Durante el desarrollo de estas sesiones prácticas el profesor pregunta al estudiante sobre las hojas de ejercicios de la semana anterior, realizando su corrección y evaluación. También resuelve dudas sobre los ejercicios planteados en esa semana.


Professorat (2009-10)
Grup Professor
TEORIA COMPARTIDA DE 9189, 9301 Y 93781Gallardo López, Domingo
2Pomares Puig, Cristina
3Gallardo López, Domingo
PRÁCTICAS CON ORDENADOR DE 91891Pomares Puig, Cristina
2Pomares Puig, Cristina
3Pomares Puig, Cristina
4Gallardo López, Domingo
Pomares Puig, Cristina
5Gallardo López, Domingo
Enllaços relacionats
http://www.dccia.ua.es/dccia/inf/asignaturas/LPP


Bibliografia

A brief history of computing
Autors:O`REGAN, Gerard
Edició:Dades no disponibles.
ISBN:978-1848000834
Recomanat per: GALLARDO LOPEZ, DOMINGO (*1)
[ Accés al catàleg de la biblioteca universitària ]

Coders at Work
Autors:SEIBEL, Peter
Edició:Dades no disponibles.
ISBN:978-1430219484
Recomanat per: GALLARDO LOPEZ, DOMINGO (*1)
[ Accés al catàleg de la biblioteca universitària ]

Concepts of programming languages
Autors:SEBESTA, Robert W.
Edició:Dades no disponibles.
ISBN:978-0321493620
Recomanat per: GALLARDO LOPEZ, DOMINGO (*1)
[ Accés al catàleg de la biblioteca universitària ]

Concepts, techniques, and models of computer programming
Autors:Peter Van Roy, Seif Haridi
Edició:Cambridge, Mass : MIT Press, 2004.
ISBN:0-262-22069-5
Recomanat per: POMARES PUIG, Mª CRISTINA
[ Accés al catàleg de la biblioteca universitària ]

Essentials of Programming Languages
Autors:FRIEDMANN, Daniel
Edició:Cambridge : MIT Press, 2008.
ISBN:978-0262062794
Recomanat per: GALLARDO LOPEZ, DOMINGO (*1)
[ Accés al catàleg de la biblioteca universitària ]

Lenguajes de programación: diseño e implementación
Autors:Pratt, Terrence W. , Marvin V. Zelkowitz
Edició:México [etc.] : Prentice Hall Hispanoamericana, 1998.
ISBN:970-17-0046-5
Recomanat per: GALLARDO LOPEZ, DOMINGO (*1)
[ Accés al catàleg de la biblioteca universitària ] [ Accés a les edicions anteriors ]

Masterminds of Programming: conversations with the creators of major programming languages
Autors:BIANCUZZI, Federico ; WARDEN, Shane
Edició:Dades no disponibles.
ISBN: 9780596515171
Recomanat per: GALLARDO LOPEZ, DOMINGO (*1)
[ Accés al catàleg de la biblioteca universitària ]

Modern programming languages : a practical introduction
Autors:WEBBER, Adam Brooks
Edició:Wilsonville : Franklin, Beedle & Associates, 2003.
ISBN:1-887902-76-7
Recomanat per: GALLARDO LOPEZ, DOMINGO (*1)
[ Accés al catàleg de la biblioteca universitària ]

PRACTICAL Programming: an introduction to computer science using Python
Autors:Campbell, Jennifer (aut.)
Edició:Dades no disponibles.
ISBN: 978-1-934-35627-2
Recomanat per: GALLARDO LOPEZ, DOMINGO (*1)
[ Accés al catàleg de la biblioteca universitària ]

Programming language concepts and paradigms
Autors:David A. Watt ; with contributions by William Findlay, John Hughes
Edició:New York [etc.] : Prentice Hall, cop. 1990.
ISBN:0-13-728866-2
Recomanat per: POMARES PUIG, Mª CRISTINA
[ Accés al catàleg de la biblioteca universitària ]

Programming language pragmatics
Autors:Scott, Michael Lee
Edició:Amsterdam : Morgan Kaufmann, 2009.
ISBN:978-0-12-633951-2
Recomanat per: GALLARDO LOPEZ, DOMINGO (*1)
[ Accés a les edicions anteriors ] [ Enllaç al recurs bibliogràfic ]

Programming languages : principles and paradigms
Autors:TUCKER, Allen ; NOONAN, Robert
Edició:Boston [etc.] : McGraw-Hill, cop. 2002.
ISBN:0-07-238111-6
Recomanat per: POMARES PUIG, Mª CRISTINA
[ Accés al catàleg de la biblioteca universitària ]

Programming Ruby: the pragmatic programmers` guide
Autors:THOMAS, Dave ; FOWLER, Chad ; HUNT, Andy
Edició:Dades no disponibles.
ISBN:978-0974514055
Recomanat per: GALLARDO LOPEZ, DOMINGO (*1)
[ Accés al catàleg de la biblioteca universitària ]

Python programming: an introduction to computer science
Autors:ZELLE, John M.
Edició:Dades no disponibles.
ISBN:978-1887902991
Recomanat per: GALLARDO LOPEZ, DOMINGO (*1)
[ Accés al catàleg de la biblioteca universitària ]

Simply scheme : introducing computer science
Autors:Harvey, Brian ; Wright, Matthew
Edició:Cambridge : The MIT Press, 2001.
ISBN:0-262-08281-0
Recomanat per: GALLARDO LOPEZ, DOMINGO (*1)
[ Accés al catàleg de la biblioteca universitària ]

Structure and interpretation of computer programs
Autors:Abelson, Harold
Edició:Cambridge : MIT Pres, 1996.
Notes:En catálogo: 5ª impr. (2000)
ISBN:0-262-51087-1
Recomanat per: GALLARDO LOPEZ, DOMINGO (*1)
[ Accés al catàleg de la biblioteca universitària ] [ Enllaç al recurs bibliogràfic ]

The little Schemer
Autors:FRIEDMAN, Daniel P. ; FELLEISEN, Matthias
Edició:Cambridge, Massachusetts : MIT Press, 2001.
ISBN:0-262-56099-2
Recomanat per: POMARES PUIG, Mª CRISTINA
[ Accés al catàleg de la biblioteca universitària ]

The reasoner schemer
Autors:FRIEDMAN, Daniel P. ; BYRD, William E. ; KYSELYOV, Oleg
Edició:Cambridge : MIT Press, 2005.
ISBN:0-262-56214-6
Recomanat per: POMARES PUIG, Mª CRISTINA (*1)
[ Accés al catàleg de la biblioteca universitària ] [ Enllaç al recurs bibliogràfic ]

The Ruby programming language
Autors:FLANAGAN, David ; MATSUMOTO, Yukihiro
Edició:Dades no disponibles.
ISBN:978-0596516178
Recomanat per: GALLARDO LOPEZ, DOMINGO (*1)
[ Accés al catàleg de la biblioteca universitària ]

The seasoned Schemer
Autors:FRIEDMAN, Daniel P. ; FELLEISEN, Matthias
Edició:Cambridge, Massachusetts : MIT Press, 2000.
ISBN:0-262-56100-X
Recomanat per: POMARES PUIG, Mª CRISTINA
[ Accés al catàleg de la biblioteca universitària ]

Types and programming languages
Autors:PIERCE, Benjamin C.
Edició:Cambridge : The MIT Press, 2002.
ISBN:0-262-16209-1
Recomanat per: GALLARDO LOPEZ, DOMINGO (*1)
[ Accés al catàleg de la biblioteca universitària ]
(*1) Aquest professor ha recomanat el recurs bibliogràfic a tot l'alumnat de l'assignatura.
Dates d'exàmens oficials (2009-10)
ConvocatòriaGrup (*)DataHora d’iniciHora d’fiAules assignadesObservacions:
Exàmens extraordinaris de finalització d'estudis (desembre) -1 05/11/2009 -
Període ordinari per a assignatures de segon semestre i anuals -1 07/06/2010 18:00 21:00 0039PB005
0039PB013
-
Període extraordinari de juliol -1 02/07/2010 08:30 11:30 A2/E04 -
(*) 1: GRUPO 1 - CAS
(*) 2: GRUPO 2 - CAS
(*) 3: GRUPO 3 Valenciano - VAL


Instruments i criteris d'avaluació (2009-10)
Avaluació contínua, examen final
Para la evaluación se acumularán puntos en las hojas de ejercicios y en el examen final. El máximo de puntos que se puede conseguir es de 115:

(A) 10 prácticas de 1¿5 puntos como máximo cada una = 15 puntos
(B) Examen final = 100 puntos como máximo

Para sumar los puntos de las prácticas al examen final, la nota de éste debe ser >= 40.

Las calificaciones finales se obtendrán a partir de la puntuación obtenida (P) de la siguiente forma:

P < 50 ---> Calificación: 4.0
P >= 50 ---> Calificación: 5.0 + 5/6(P-50) (transformación lineal del rango 50-110 al rango 5.0-10.0)