Presentación

Esta es la página principal de la Asignatura Paradigmas de Programación en los Grados en Ingeniería Informática (código 46913, plan 545) y el Grado en Estadística (código 47083, plan 549) de la Universidad de Valladolid.

Tablón de anuncios

Consulta de Calificaciones:

NIF: Consultar

 

Atención: El contenido de esta sección se actualizará a lo largo del curso.

 

Fecha	Aviso
20-May	Disponibles las calificaciones la primera práctica para los subgrupos Z1 y Z5. Fecha de revisión: 23 de mayo, 16:00-18:00, laboratorio 105
19-May	Disponibles las calificaciones la primera práctica para el subgrupo Z6. Fecha de revisión: 23 de mayo, 17:00-18:00, laboratorio L109 (Sala de Asociados)
18-May	Disponibles las calificaciones la primera práctica para los subgrupos Z3, Z4 y Z8. Fecha de revisión: 22 de mayo, 16:00-18:00 y 23 de mayo, 18:00-20:00, ambas en despacho 1L009
15-May	Disponibles las calificaciones la primera práctica para los subgrupos Z2, Z7 y Z9. Fecha de revisión: 17 de mayo, 9:00-14:00, despacho 1D023
02-May	Disponibles las calificaciones del segundo examen teórico parcial. Fecha de revisión: 5 de mayo, 13:00, aula 07
31-Mar	Disponibles las calificaciones del primer examen teórico parcial. Fecha de revisión: 12 de abril, 13:30, aula 07
16-Mar	Se han actualizada las transparencias del tema 2
03-Mar	Disponible enunciado primera práctica en el Campus Virtual
01-Mar	Disponible Reto DNIs en el Campus Virtual (límite viernes 3 marzo, 9:00)
18-Feb	Disponible en el Campus Virtual la asignación de subgrupos de prácticas
15-Feb	Presentación de la asignatura
09-Feb	Disponible en el Campus Virtual cuestionario para asignación de subgrupos de prácticas

Fechas límite

Atención: El contenido de esta sección puede cambiar.

 

Fecha	Convocatoria	Lugar	Tiempo restante
15-Feb	Comienzo del curso	Aulas
20-Feb..23-Feb	Comienzo de los laboratorios	Laboratorios
22-Mar 12:00	Primera evaluación	Sala Hedy Lamarr
9-Abr 23:59	Entrega electrónica primera práctica	Campus Virtual
10-Abr..13-Abr	Evaluación presencial primera práctica	Laboratorios
26-Abr 12:00	Segunda evaluación	Sala Hedy Lamarr
14-May 23:59	Entrega electrónica segunda práctica	Campus Virtual
15-May..18-May	Evaluación presencial segunda práctica	Laboratorios
9-Jun 10:00	Tercera evaluación	Aulas 03-04-05-06
27-Jun 10:00	Examen extraordinario	Aulas 03-04-05

Documentación

En esta sección se incluye toda la documentación que los profesores de la asignatura proporcionan como complemento o apoyo a la docencia presencial impartida.

Atención: A medida que avance el curso es posible que se depositen más archivos o se modifique alguno de los existentes, estos cambios se indicarán en el tablón de anuncios.

Parte Teórica

Nota: Si alguien desea que se deposite alguno de los documentos siguientes en reprografía, contacte con los profesores de la asignatura.

 

Tema	Transparencias	Evaluación
Tema 1	Introducción	Bloque 1 (2 ptos)
Tema 2	Paradigma imperativo
Tema 3	Orientación a objetos	Bloque 2 (2 ptos)
	Orientación a eventos
	Genericidad
Tema 4	Paradigma funcional	Bloque 3 (3 ptos)

Aplicaciones de ayuda:

• Emulador de Máquina de Turing (Actualizado 2017)
• Nuevo: Simulador de Cálculo Lambda
• Emulador de Cálculo Lambda (Versión antigua)

Los siguientes enlaces pueden servir de ayuda como complemento de los contenidos de la asignatura:

• Página oficial de Python
• Traducción al español del tutorial oficial de Python
• Libro Python para todos, de Raul González Duque
• Tutorial del lenguaje Haskell
• Libro Structure and Interpretation of Computer Programs

Puede consultar el temario de la asignatura en esta sección.

Parte Práctica

Documentación disponible en el Aula Virtual.

Profesorado

Los profesores de esta asignatura, durante el curso 2022-23, son los siguientes:

 

Tipo	Grupos	Profesor	Despacho	Correo
Teoría	T1-T3, T2	César Vaca Rodríguez	1D020	cesar.vaca [at] uva.es
Teoría	Evaluación	Alma M. Pisabarro Marrón	1D011	alma.pisabarro [at] uva.es
Práctica	Z2, Z7, Z9	Amador Aparicio de la Fuente	1D023	amador.aparicio [at] uva.es
Práctica	Z3, Z4, Z8	Raúl Cuesta Sainz	1L009	raul.cuesta [at] uva.es
Práctica	Z1, Z5	Jose Antonio Caminero Granja	1L009	joseantonio.caminero [at] uva.es
Práctica	Z6	Miguel Angel Villarroel Salgueiro	1L009	miguelangel.villarroel [at] uva.es

Calendario

Se muestra a continuación el calendario de las actividades previstas para la asignatura, desglosado por semanas:

 

Semana	Teoría	Prácticas	Seminario	Evaluación
13/02/2023
20/02/2023
27/02/2023
06/03/2023
13/03/2023
20/03/2023				Teoría 1
27/03/2023
03/04/2023	Semana Santa
10/04/2023				Práctica 1
17/04/2023
24/04/2023				Teoría 2
01/05/2023
08/05/2023
15/05/2023				Práctica 2
22/05/2023

Temario

Parte Teórica

Tema 1. Introducción Conceptos fundamentales Modelos de cómputo Lenguajes de programación Familias de lenguajes y evolución histórica

Tema 2. Paradigma Imperativo Características, conceptos y abstracciones fundamentales Programación estructurada y modular Subrutinas: Paso de parámetros Tratamiento de excepciones Continuations, Closures y Coroutines Valores y Referencias Datos estructurados Sistemas de tipado: Estático/Dinámico, Fortaleza, Seguridad

Tema 3. Orientación a Objetos y a Eventos, Genericidad Conceptos de clase y objeto Herencia, Polimorfismo, Ligadura Dinámica Estructura de un programa orientado a eventos Paso de mensajes y manejadores de eventos Genericidad

Tema 4. Paradigma funcional Características, conceptos y abstracciones fundamentales Definición de funciones, Recursión Funciones como elementos de primer orden Tipado algebraico Proceso de Listas

Parte Práctica

Tema 1. Introducción

Tema 2. Elementos básicos del lenguaje

Tema 3. Funciones

Tema 4. Datos Estructurados

Tema 5. Orientación a Objetos

Tema 6. Programación en GUI

Tema 7. Elementos de programación funcional

Bibliografía básica:

• [Tucker] Tucker, A., Noonan, R., Lenguajes de Programación. Principios y Paradigmas, Mc Graw-Hill, 1998.
• [Martelli] Martelli, A. Python: Guia de Referencia, Anaya Multimedia, 2008.

Bibliografía complementaria:

• [Llamas] Llamas, C. Introducción a la Informática. Modelos de Cómputo, Thomson, 2004.
• [Meyer] Meyer, B. Object-Oriented Software Construction (segunda ed.), Prentice-Hall, 1997.
• [Bird] Bird, R. Introduction to Functional Programming using Haskell (segunda ed.), Prentice-Hall, 1998.
• [Cloksin] Clocksin, W.F., Mellish, C.S., Programming in Prolog, Springer-Verlag, 1994.
• [Arenas] Arenas, A., Lógica Formal para Informáticos, Ed. Díaz de Santos, Madrid, 1996.

Descripción de la asignatura

Denominación:	[46909] [47076] Paradigmas de Programación
Títulación:	[545] Grado en Ingeniería Informática
	[549] Grado en Estadística
Tipo:	Obligatoria
Curso:	Primero, segundo cuatrimestre
área:	Lenguajes y Sistemas Informáticos
Departamento:	Informática (ATC, CCIA y LSI)
Créditos ECTS:	6

Objetivos

Esta asignatura pretende dar una visión general de los principales paradigmas de programación existentes. La asignatura tiene una parte teórica (descripción de los paradigmas) y otra práctica (lenguajes de scripting) que discurren en paralelo y se complementan entre sí.

Resultados de aprendizaje:

• Comprender los distintos modelos de computación y paradigmas de programación
• Conocer la estructura de los lenguajes de programación y las diversas familias de lenguajes.
• Razonar sobre las características de los distintos paradigmas de programación: imperativo, declarativo, funcional y lógico.
• Conocer y saber utilizar lenguajes de scripting
• Conocer y ser capaz de interpretar las estructuras de los lenguajes de programación orientados a objeto y el contenido semántico de sus construcciones.

Prerrequisitos:

Conocimientos básicos de programación. En particular haber cursado la asignatura Fundamentos de Programación. Es recomendable disponer de un nivel de inglés que permita al estudiante leer bibliografía de consulta.

Programa de Teoría:

Puede consultar el temario en la siguiente sección.

Programa de Prácticas:

Puede consultar el temario en la siguiente sección.

Metodología (actividades):

En proceso de adaptación

Puede consultar el apartado calendario para ver la distribución de las actividades durante el curso.

Método y criterios de evaluación

A lo largo del desarrollo del curso se realizarán una serie de evaluaciones que se detallan en la siguiente tabla indicando su porcentaje de contribución a la calificación final:

 

Procedimiento	Momento	Contribución
Examen teórico bloque 1 (Temas 1 y 2)	(ver calendario)	20%
Entrega primera práctica	(ver calendario)	15%
Examen teórico bloque 2 (Tema 3)	(ver calendario)	20%
Entrega segunda práctica	(ver calendario)	15%
Examen teórico bloque 3 (Tema 4)	(ver calendario)	30%

Criterios de calificación

• En la convocatoria ordinaria la nota es la suma ponderada de las evaluaciones detalladas en la tabla anterior, debiendo obtener el alumno una suma mayor o igual a 5.
• No existe nota mínima en las evaluaciones anteriores. Cualquier nota que se obtenga se contabilizará
• La convocatoria extraordinaria consistirá en un único examen sobre la parte teórica, dividido en los 3 bloques examinados mediante parciales, de forma que el alumno pueda obtener una nueva calificación en los bloques que desee reevaluar.
• La parte práctica no es recuperable en la convocatoria extraordinaria