Progrmaacion III
Progrmaacion III
Progrmaacion III
SUMMARY
Programming III is a subject common to the branch of Computer Engineering which belongs to
the Software Development Engineering module. Its main goal is to provide students with methods,
techniques, and tools suitable for building software with high quality focussing in two main
factors: correctness and efficiency. This knowledge will provide students with criteria to choose
the most appropriate design technique for the solution of a computation problem.
REQUISITOS PREVIOS
-Introducción a la Informática
-Fundamentos de Programación
-Programación I
-Programación II
Página 1 de 9
Competencias que tiene asignadas:
G1, G2, G3, G4, G5, N1, N2, N3, N4, T5, T8, T9, CII01, CII05, CII06, CII08
Objetivos:
Contenidos:
CONTENIDOS TEÓRICOS
1.Verificación formal de algoritmos
1.1.Introducción a la verificación. Lógica de predicados
1.2.Verificación de algoritmos iterativos
1.3.Verificación de algoritmos recursivos
Bibliografía: [1, 4]
3.Diseño de algoritmos
3.1.Divide y vencerás
3.2 Vuelta atrás (backtracking)
3.3.Programación dinámica
Bibliografía: [1, 2, 3, 5, 6, 7]
4.Algoritmos fundamentales
4.1.Ordenación de un vector
4.2.Búsqueda de un patrón en un texto
Bibliografía: [2, 6]
CONTENIDOS PRÁCTICOS
1.Práctica de verificación formal
2.Práctica de diseño de algoritmos con análisis de su eficiencia
Metodología:
Página 2 de 9
contenido de cada tema; transmite a los estudiantes el conocimiento fundamental de la materia por
medio de clases expositivas, explicativas y/o demostrativas; publica el material disponible en la
página web de la asignatura; indica las tareas individuales (no presenciales) y colectivas
(presenciales) a realizar y establece un período adecuado para su finalización.
En caso que la enseñanza presencial tuviera que transformarse a enseñanza no presencial, los
alumnos realizarán las prácticas de forma remota y acordarán tutorías con el profesor para la
resolución de dudas utilizando los medios disponibles en el Campus Virtual.
AF3. Exposiciones de trabajos. Tras la finalización de cada trabajo práctico los alumnos deben
elaborar un informe y un video explicando su trabajo, subirlos al Campus Virtual para su
evaluación y defender su trabajo en el laboratorio.
En caso que la enseñanza presencial tuviera que transformarse a enseñanza no presencial, los
alumnos deberán elaborar un informe y un video explicando su trabajo, y subirlos al Campus
Virtual para su evaluación. La defensa del trabajo se realizaría utilizando los recursos disponibles
en el Campus Virtual.
AF4. Preparación para los exámenes: estudio y asimilación de los contenidos teóricos.
AF5. Preparación de las aportaciones individuales al trabajo en equipo relativas a la resolución de
problemas.
AF6. Preparación de las aportaciones individuales al trabajo en equipo relativas al desarrollo de las
actividades prácticas.
Evaluacion:
Criterios de evaluación
----------------------------
CRITERIOS DE EVALUACIÓN: MODALIDAD DOCENCIA PRESENCIAL
Las fuentes y los criterios de evaluación que se emplearán serán los siguientes:
1) Evaluación teórica
FE1. Exámenes escritos.
Esta fuente de evaluación está relacionada con las actividades formativas AF1, AF2, AF4 y AF5.
Página 3 de 9
-Análisis de los elementos de la verificación formal de algoritmos y demostración de su
correctitud.
-Análisis de los elementos y casos que definen la eficiencia de los algoritmos y deducción de la
cantidad de recursos que consumen durante su ejecución.
-Aplicación de la técnica de diseño más adecuada para resolver un problema concreto.
3) Examen final
FE4. Examen final.
Esta fuente de evaluación está relacionada con las actividades formativas AF1, AF2, AF4, AF5 y
AF6.
Los criterios para la evaluación del examen escrito final son los mismos que los establecidos para
la evaluación teórica. Los criterios para la evaluación del examen práctico final son los mismos
que los establecidos para la evaluación de las prácticas.
En caso que la enseñanza presencial tuviera que transformarse a enseñanza no presencial, los
criterios y fuentes para la evaluación serían:
1) Evaluación teórica
FE1. Exámenes escritos.
Los exámenes se realizarán utilizando los medios disponibles en el Campus Virtual. Para
garantizar que los estudiantes visualizan y entienden los conceptos principales de los vídeos de las
clases teóricas subidos al Campus Virtual (en caso de modalidad de docencia no presencial), por
cada vídeo subido al Campus Virtual por el profesor, los alumnos deberán subir al Campus Virtual
individualmente, en formato de pregunta/respuesta, un mínimo de 2 preguntas: una de la primera
mitad del video y otro de la segunda mitad del video.
Esta fuente de evaluación está relacionada con las actividades formativas AF1, AF2, AF4 y AF5.
Página 4 de 9
2) Trabajo práctico en equipos
FE2. Prácticas
FE3. Informes y video.
Ambas fuentes de evaluación están relacionadas con las actividades formativas AF3 y AF6. Los
criterios relativos a la evaluación de ambas fuentes de evaluación son los mismos criterios de
evaluación de FE2 y FE3 en la modalidad de docencia presencial.
3) Examen final
FE4. Examen final.
Los exámenes se realizarán utilizando los medios disponibles en el Campus Virtual. Esta fuente de
evaluación está relacionada con las actividades formativas AF1, AF2, AF4, AF5 y AF6.
Los criterios para la evaluación del examen escrito final son los mismos que los establecidos para
la evaluación teórica. Los criterios para la evaluación del examen práctico final son los mismos
que los establecidos para la evaluación de las prácticas. Será de aplicación la normativa vigente
para la comprobación del fraude en la realización de las pruebas.
Sistemas de evaluación
----------------------------
1) Evaluación continua
* Teórica
La escala que se utilizará para valorar la teoría es de 0 a 10 puntos y su evaluación se efectuará a
partir de exámenes escritos (FE1) que constarán de preguntas relativas a los temas tratados. Cada
examen aportará el mismo porcentaje a la evaluación teórica y se valorará de 0 a 10 puntos. La
nota final de esta parte será la media de los resultados obtenidos en los exámenes escritos siempre
que se haya obtenido una nota mínima de cinco puntos en cada uno de ellos.
3) Examen final
Aquellos estudiantes que no superen o no completen la evaluación continua, teórica y/o práctica,
podrán optar a un examen (FE4) donde deberán demostrar que han alcanzado los resultados de
aprendizaje previstos para la asignatura. El examen contiene preguntas de la parte de teoría y de la
parte práctica. El examen se valorará de 0 a 10 puntos. Este será el sistema de evaluación utilizado
en las convocatorias extraordinaria y especial.
Criterios de calificación
Página 5 de 9
-----------------------------
1) Evaluación continua
Para superar la asignatura habrá que obtener una nota mínima de 5 puntos en la evaluación de: la
teoría y el trabajo práctico en equipo. La nota final se calcula con la siguiente fórmula:
Donde NF representa la nota final, NT la nota de teoría y NTP la nota del trabajo práctico en
equipo.
2) Convocatoria ordinaria:
Aquellos estudiantes que hayan suspendido únicamente un examen escrito se presentarán a las
preguntas del examen final alineadas con el resultado de aprendizaje que no han alcanzado, la nota
obtenida tendrá un valor numérico máximo de siete y sustituirá a la nota del examen suspendido en
la evaluación continua teórica. En cualquier otro caso NT y/o NTP serán sustituidas en la fórmula
anterior por las notas correspondientes obtenidas mediante el examen final si el valor numérico de
ambas es mayor o igual que cinco. La nota final de los estudiantes que hayan obtenido un valor
numérico de NT o NTP menor que cinco será ese valor. La nota en acta de los estudiantes que no
cumplan las condiciones establecidas para superar la asignatura será un suspenso con un valor
numérico máximo de cuatro.
NF = NT * 0.5 + NP * 0.5
Donde NF representa la nota final, NT la nota del examen teórico y NP la nota del examen
práctico. La nota final de los estudiantes que hayan obtenido un valor numérico de NT o NP menor
que cinco será ese valor. La nota en acta de los estudiantes que no cumplan las condiciones
establecidas para superar la asignatura será un suspenso con un valor numérico máximo de cuatro.
En caso que la enseñanza presencial tuviera que transformarse a enseñanza no presencial los
criterios de calificación serían los mismos criterios de la modalidad presencial.
Las tareas que realizará el estudiante, todas ellas pertenecientes a los contextos científico y
profesional, son las siguientes:
Ta2. Ejercicios que se irán planteando regularmente y que requieren solución individual para una
posterior discusión colectiva en equipo.
Página 6 de 9
Ta4. Exámenes escritos.
Los estudiantes dedicarán dos horas semanales presenciales a las AF1 y otras dos a las sesiones
académicas de aplicación, que incluirán la realización de ejercicios de aplicación de las técnicas
introducidas en la teoría y la solución de problemas de programación (60 horas en 15 semanas).
Los exámenes que se realizarán a lo largo del semestre consumen 5 horas presenciales en total.
Además, cada equipo tendrá media hora presencial semanal de tutoría (7.5 horas en 15 semanas).
En promedio, realizarán cada semana cinco horas de trabajo no presencial dedicado a la consulta y
asimilación de materiales documentales (2 horas en promedio) y la realización de ejercicios y
trabajo práctico (3 horas en promedio), que suponen 75 horas en 15 semanas.
Las horas restantes, 2.5, las distribuirá el estudiante, en función de sus necesidades particulares,
entre atención tutorial individual, tiempo adicional de estudio y realización de ejercicios y trabajo
práctico.
Recursos que tendrá que utilizar adecuadamente en cada uno de los contextos
profesionales.
Resultados de aprendizaje que tendrá que alcanzar al finalizar las distintas tareas.
RA1. Deducir los elementos de la verificación formal de algoritmos y aplicar las reglas y los
principios apropiados para demostrar la correctitud de algoritmos iterativos y recursivos simples.
Este resultado de aprendizaje se adquiere con las actividades formativas AF1, AF2, AF4 y AF5.
RA2. Deducir los elementos y los casos que definen la eficiencia de los algoritmos y aplicar las
reglas y los métodos adecuados para determinar la cantidad de recursos que consumen durante su
ejecución. Este resultado de aprendizaje se adquiere con las actividades formativas AF1, AF2,
AF3, AF4, AF5 y AF6.
RA4. Explicar las estrategias básicas de diseño de algoritmos, seleccionar la más adecuada,
adaptarla e implementarla para resolver un problema concreto. Este resultado de aprendizaje se
adquiere con las actividades formativas AF1, AF2, AF3, AF4, AF5 y AF6.
Página 7 de 9
RA5. Explicar, distinguir e implementar los principales algoritmos de ordenación y de búsqueda
de patrones en un texto. Este resultado de aprendizaje se adquiere con las actividades formativas
AF1, AF3 y AF6.
RA6. Aplicar los criterios de eficiencia para comparar y seleccionar una solución entre varias
alternativas que resuelven el mismo problema. Este resultado de aprendizaje se adquiere con las
actividades formativas AF1, AF2, AF3, AF4, AF5 y AF6.
Plan Tutorial
Se usará para aclarar dudas, asesorar al estudiante en las tareas individuales y optimizar su
rendimiento. El profesorado de la asignatura atenderá consultas del alumnado en su horario de
tutorías disponible en http://www.dis.ulpgc.es. Las citas se pueden concertar a través del correo
electrónico institucional o utilizando las herramientas proporcionadas por el Campus Virtual. Se
dará prioridad a los estudiantes que estén en quita, sexta o séptima convocatoria.
Se usará para aclarar dudas, orientar las actividades colectivas dirigidas, mejorar el rendimiento
académico, hacer un seguimiento del trabajo realizado y modelar las habilidades sociales. El
profesor atenderá consultas del alumnado en su horario de tutorías. Las citas se pueden concertar a
través del correo electrónico institucional o utilizando las herramientas proporcionadas por el
Campus Virtual.
En caso que la enseñanza presencial tuviera que transformarse a enseñanza no presencial, las citas
se concertarían a través del correo electrónico institucional y la atención tutorial a grupos se
realizaría utilizando las herramientas disponibles en el Campus Virtual.
Atención telefónica
Página 8 de 9
Datos identificativos del profesorado que la imparte
Bibliografía
Página 9 de 9