Usted está aquí: Inicio web asignaturas

 

Fichas de asignaturas 2013-14


METODOLOGÍA DE LA PROGRAMACIÓN

Asignaturas
 

  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

Nombre Apellido 1 Apellido 2 C.C.E. Coordinador  
Antonio Balderas Alberico N
EUGENIO JUAREZ CLAVAIN PROFESOR ASOCIADO N
MANUEL LOPEZ COELLO PROFESOR ASOCIADO N
Juan jose monedero rojo profesor asociado N
Esther Lidia Silva Ramírez Profesora Contratada Doctora S

 

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.
  • Autoevaluación
B03 B04 B05
Ejercicios propuestos. Resolución de cuestiones y problemas prácticos, así como implementación de programas.
  • Profesor/a
Examen final. Prueba objetiva.
  • Profesor/a
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.