Redes Modalidad 1.pdf - RUA - Universidad de Alicante

1. Contextualización
1
Guía Docente
1.1. Perfil de los créditos de la materia. Adecuación al
perfil profesional y académico de la titulación
Cuando la disciplina de la Informática o Ciencias de la Computación se consolidó suficientemente
como entidad para implicar un título universitario, surgió la necesidad de establecer las bases curriculares
de dicha titulación.
La propuesta docente que presenta este documento está ampliamente influenciada por la evolución
de las distintas recomendaciones curriculares internacionales si bien en todas ellas, la materia objeto de
este trabajo es considerada básica e imprescindible para cualquiera de las titulaciones y especialidades
derivadas de los estudios en informática.
En cuanto a la perspectiva nacional, debemos observar cuáles son las directrices generales propias
de la titulación de Ingeniería Informática (Real decreto 1460/1990, de 26 de octubre, BOE 1990). En dicha
titulación aparece como materia troncal de obligatoria inclusión en todos los planes de estudio, la materia
“Metodología y Tecnología de la Programación”, con 15 créditos troncales cuyas directrices engloban el
estudio del proceso de resolución de problemas en programación, así como de las características y
propiedades de las herramientas a utilizar. En concreto esta materia profundizara en los principales
aspectos relacionados con el estudio de los algoritmos que son:
• Diseño. Consiste en el estudio formal del problema y la aplicación de técnicas y/o esquemas que
faciliten la obtención de un algoritmo que resuelva dicho problema.
• Complejidad. Hace referencia a la estimación de la cantidad de recursos (tiempo y memoria) que el
algoritmo necesitará para su ejecución una vez implementado. Este aspecto tiene una gran importancia
tanto en la teoría como en la práctica. Además, para que este análisis tenga importancia, ha de ser
independiente del computador y del lenguaje de implementación final que se vaya a utilizar.
• Verificación. Engloba el estudio de las técnicas de comprobación formal de la corrección del
algoritmo. Consiste en demostrar que el algoritmo termina en un tiempo finito y que su resultado es
correcto para toda entrada de datos válida.
• Codificación. Es el proceso de obtención de un programa correcto expresado en algún lenguaje de
programación a partir del algoritmo. Este proceso puede llegar a ser bastante complejo en función del
nivel de especificación del algoritmo y del lenguaje de programación utilizado.
Finalmente, en el contexto de la Universidad de Alicante, la materia troncal Metodología y Tecnología
de la Programación se estructura en las siguientes asignaturas troncales:
• Fundamentos de Programación I. Asignatura básica que facilita una visión inicial del campo de la
programación a través del estudio de los elementos básicos de un lenguaje de programación y el
estudio de los distintos paradigmas de programación existentes.
• Fundamentos de Programación II. Asignatura que facilita la aplicación de los conceptos generales
de un lenguaje mediante el estudio y uso de un lenguaje de programación de tipo imperativo.
• Diseño y Análisis de Algoritmos. Asignatura que estudia los conceptos de diseño, análisis y
verificación de algoritmos y sus técnicas asociadas.
En particular, esta guía docente se centra en el desarrollo de la asignatura Fundamentos de
Programación II cuyo principal objetivo consiste en capacitar a los estudiantes para el desarrollo, en un
plazo razonable, de programas correctos, eficientes, bien organizados, documentados y legibles y su
implementación en lenguajes de programación actuales y adecuados a los problemas a solucionar.