Fichas de asignaturas 2013-14
![]() |
METODOLOGÍA DE LA PROGRAMACIÓN |
![]() ![]() ![]() |
|
Asignatura |
![]() |
| |
Profesorado |
![]() |
| |
Competencias |
![]() |
| |
Resultados Aprendizaje |
![]() |
| |
Actividades Formativas |
![]() |
| |
Sistemas de Evaluación |
![]() |
| |
Contenidos |
![]() |
| |
Bibliografía |
![]() |
Código | Nombre | |||
Asignatura | 21714007 | METODOLOGÍA DE LA PROGRAMACIÓN | Créditos Teóricos | 3,75 |
Título | 21714 | GRADO EN INGENIERÍA INFORMÁTICA | Créditos Prácticos | 3,75 |
Curso | 1 | Tipo | Obligatoria | |
Créd. ECTS | 6 | |||
Departamento | C137 | INGENIERÍA INFORMÁTICA |
Recomendaciones
Sería deseable que el alumno tuviese buena predisposición ante el aprendizaje. De la misma manera, sería aconsejable que llevara a cabo un estudio y trabajo continuado de la asignatura, complementando el estudio teórico-práctico con la realización de actividades, con el fin de conseguir un dominio razonable de la materia, puediendo llegar a obtener los resultados de aprendizaje deseados.
Profesorado
Competencias
Se relacionan aquí las competencias de la materia/módulo o título al que pertenece la asignatura, entre las que el profesorado podrá indicar las relacionadas con la asignatura.
Identificador | Competencia | Tipo |
B03 | Capacidad para comprender y dominar los conceptos básicos de matemática discreta, lógica, algorítmica y complejidad computacional, y su aplicación para la resolución de problemas propios de la ingeniería. | ESPECÍFICA |
B04 | Conocimientos básicos sobre el uso y programación de los ordenadores, sistemas operativos, bases de datos y programas informáticos con aplicación en ingeniería. | ESPECÍFICA |
B05 | Conocimiento de la estructura, organización, funcionamiento e interconexión de los sistemas informáticos, los fundamentos de su programación, y su aplicación para la resolución de problemas propios de la ingeniería | ESPECÍFICA |
CG02 | Que los estudiantes sepan aplicar sus conocimientos a su trabajo o vocación de una forma profesional y posean las competencias que suelen demostrarse por medio de la elaboración y defensa de argumentos y la resolución de problemas dentro de su área de estudio. | GENERAL |
CG05 | Que los estudiantes hayan desarrollado aquellas habilidades de aprendizaje necesarias para emprender estudios posteriores con un alto grado de autonomía | GENERAL |
CT1 | Trabajo en equipo: capacidad de asumir las labores asignadas dentro de un equipo, así como de integrarse en él y trabajar de forma eficiente con el resto de sus integrantes | GENERAL |
Resultados Aprendizaje
Identificador | Resultado |
R3 | Analizar y diseñar algoritmos eficientes para resolver problemas. |
R1 | Aplicar el diseño modular en el desarrollo de programas. |
R5 | Aplicar técnicas de transformación de algoritmos recursivos. |
R4 | Diseñar algoritmos recursivos. |
R7 | Implementar correctamente los algoritmos desarrollados en un lenguaje de programación. |
R2 | Ser capaz de diseñar la solución de problemas de mayor tamaño, considerando la descomposición en subproblemas, incluyendo una adecuada implementación y documentación del programa. |
R6 | Verificar formalmente algoritmos. |
Actividades formativas
Actividad | Detalle | Horas | Grupo | Competencias a desarrollar |
01. Teoría | Contenidos teóricos. |
24 | Grande | B03 B04 B05 CG05 |
02. Prácticas, seminarios y problemas | Resolución de ejercicios y problemas. |
12 | Mediano | B03 B04 B05 CG02 CG05 |
03. Prácticas de informática | Realización de programas. |
24 | Reducido | B03 B04 B05 CG02 CG05 CT1 |
10. Actividades formativas no presenciales | Actividades formativas no presenciales que se corresponden con las horas de estudio del alumno, incluyendo horas de estudio de contenidos teóricos, prácticos y realización de problemas. |
90 | B03 B04 B05 CG02 CG05 |
Evaluación
Criterios Generales de Evaluación
En los cuestionarios se valorará que las respuestas sean correctas. En la resolución de cuestiones y problemas prácticos, así como implementación de programas y realización de examen final se valorarán los siguientes aspectos: - Cumplimiento de las diferentes actividades prácticas en plazo y/o forma. - Correcta expresión escrita. - Claridad y precisión en el proceso de resolución de ejercicios. - Corrección en la solución de los ejercicios. - Adecuada aplicación de los conocimientos teóricos a la práctica. - Uso de un buen estilo de programación. - Documentación de programas. - Corrección, claridad y eficiencia de los programas. Los cuestionarios se realizarán a través del campus virtual, se dispondrá de varios días para su realización, y se podrá utilizar todo el material deseado para su consulta. Como se describe en el procedimiento de calificación, los cuestionarios formarán parte de la evaluación, y por tanto tendrán el mismo tratamiento que los exámenes que se realizan físicamente en el aula, es decir, tendrán asignados unas fechas y horarios y habrá que cumplirlos. Las diferencias entre ambos tipos de exámenes son las expuestas con anterioridad, por lo demás, se rigen por las mismas pautas. El campus virtual será el medio donde se publicará el material docente, calificaciones, convocatorias, se realizarán los cuestionarios, etc. En general, se publicará toda la información necesaria, constituyendo una fuente oficial de comunicación entre profesorado y alumnado. Esto implica la obligación diaria de revisar el estado del aula virtual, para tener conocimiento en el plazo adecuado de todo lo relacionado con la asignatura.
Procedimiento de Evaluación
Tarea/Actividades | Medios, Técnicas e Instrumentos | Evaluador/es | Competencias a evaluar |
Cuestionarios de autoevaluación o seguimiento. | Cuestionarios con preguntas de contenido téorico. |
|
B03 B04 B05 |
Ejercicios propuestos. | Resolución de cuestiones y problemas prácticos, así como implementación de programas. |
|
|
Examen final. | Prueba objetiva. |
|
B03 B04 B05 CG02 CG05 |
Procedimiento de calificación
La evaluación constará de dos partes: la realización de actividades teóricas-prácticas (ATP) y examen final (EF). La calificación final de la asignatura constará de la calificación del examen más la calificación obtenida en las actividades realizadas, según la siguiente fórmula: NF = 0,1·ATP + 0,9·EF Para aprobar la asignatura se requerirá una calificación de EF igual o superior a 5 puntos. Las actividades ATP constarán de dos partes: actividades teóricas sobre los contenidos de la asignatura (AT), que consistirán en la realización de una serie de cuestionarios que se realizarán a través del campus virtual y actividades de programación (AI), correspondientes a las clases de laboratorios, que consistirán en la realización de ejercicios que serán resueltos de manera individual o colectiva, según se indique. El 10% correspondiente a todas las actividades ATP descritas podrá ser obtenido por aquellos alumnos que lleven a cabo todas las tareas que se indiquen y contesten correctamente a un mínimo de un 65% de todas la preguntas planteadas en los cuestionarios, según la ponderación siguiente: ATP = 1/4·AT + 3/4·AI Los exámenes, que serán escritos y calificables de 0 a 10, constituyendo el 90% de la nota final, incluirán aspectos teórico-prácticos de la asignatura y consistirán en una serie de cuestiones y problemas a los que el alumno deberá aportar una solución fundamentada en el contenido teórico de la asignatura.
Descripcion de los Contenidos
Contenido | Competencias relacionadas | Resultados de aprendizaje relacionados |
C1. Diseño de algoritmos recursivos. Transformación sobre algoritmos recursivos. Técnicas de inmersión. Desplegado y Plegado. Transformación de algoritmos recursivos a iterativos. |
R5 R4 R7 | |
C2. Introducción a la verificación formal de algoritmos. Uso de pre y postcondiciones y demostraciones elementales de corrección. Razonamientos sobre sentencias de asignación. Composición secuencial de instrucciones. Razonamiento sobre el esquema de selección. Razonamiento sobre bucles. Especificación de funciones. Verificación de funciones recursivas. |
R7 R6 | |
C3. Visión genérica de la Ingeniería del Software. Concepto de módulo. Criterios de descomposición modular. Relación entre módulos. Reutilización de módulos. Ventajas de la modularización de algoritmos. Documentación. |
R3 R1 R7 R2 | |
C4. Técnicas de prueba del software. Estrategias de prueba del software. |
R7 R2 | |
C5. Introducción al Análisis de algoritmos. Eficiencia de un algoritmo. Tiempo y espacio. ¿Por qué hay que buscar la eficiencia? Estimación Objetiva. Análisis de complejidad. (Notación asintótica).Órdenes de magnitud en la complejidad de algoritmos. Aplicación: algoritmos de búsqueda y ordenación. |
R3 R7 |
Bibliografía
Bibliografía Básica
[Bal93] Balcázar, J.L.; Programación Metódica; Ed. McGraw-Hill, 1993.
[Bra97] Brassard G., Bratley P. ; Fundamentos de algoritmia;
Prentice Hall, 1.997
[Cas93] Castro, J.; Cucker, F.; Messeguer, X.; Rubio, A.; Solano, L.;
Valles, B.; Curso de Programación; Ed. McGraw-Hill, 1993.
[Hur02] Hurtado Rodríguez, N.; Laguia Bonillo, M.; Silva Ramírez, E.L.;
Introducción a la Programación; Ed. Servicio de Publicaciones,
Universidad de Cádiz, 2002.
[Peñ98] Peña Marí, R.; Diseño de Programas. Formalismos y Abstracción;
Ed. Prentice Hall, 1998, 2ª Edición.
[Sil10a] Silva Ramírez, E. L.; López Coello, M.; Verificación Formal de Algoritmos. Ejercicios Resueltos; Ed. Servicios de Publicaciones, Universidad de Cádiz, 2010.
[Sil10b] Silva Ramírez, E. L.; López Coello, M.; Corrección de Algoritmos Complejos. Verificación Formal. Ejercicios Resueltos; Ed. Servicios de Publicaciones, Universidad de Cádiz, 2010.
Bibliografía Específica
[Abu98] Aburruzaga García, G.; Medina Bulo, I.; Palomo Lozano, F.;
Por fin: C ISO; Ed. Servicio de Publicaciones, Universidad
de Cádiz,1998.
[Kel92] Kelly, A.; Pohl, I.; C by Dissection: The Essentials of C
programming; Ed. Benjamin/Cummings, 1992, 2ª Edición.
[Kel98] Kelly, A.; Pohl, I.; A book on C. Programming in C;
Ed. Addison-Wesley, 1998, 4ª Edición.
[Ker88] Kernighan, B. W.; Ritchie, D.M.; The C Programming Language;
Ed. Prentice Hall, 1988, 2ª Edición.
[Pia96] Piattini, M.; Calvo-Manzano, J.A.; Cervera, J.; Fernández, L.;
Análisis y diseño detallado de aplicaciones informáticas de gestión; Ed. RA-MA, 1996.
[Pre95] Pressman, R.; Ingeniería del Software: Un enfoque práctico;
Ed. McGraw Hill, 1995, 3ª Edición.
[Sed89] Sedgewick, R.; Algorithms; Ed. Addison-Wesley, 1989, 2ª Edición.
[Ton89] Tondo, C.L.; Gimpel, S.E.; The C Answer Book;
Ed. Prentice-Hall, 1989, 2ª Edición.
El presente documento es propiedad de la Universidad de Cádiz y forma parte de su Sistema de Gestión de Calidad Docente. En aplicación de la Ley 3/2007, de 22 de marzo, para la igualdad efectiva de mujeres y hombres, así como la Ley 12/2007, de 26 de noviembre, para la promoción de la igualdad de género en Andalucía, toda alusión a personas o colectivos incluida en este documento estará haciendo referencia al género gramatical neutro, incluyendo por lo tanto la posibilidad de referirse tanto a mujeres como a hombres.