Download Programación

GUÍA DOCENTE
ASIGNATURAS 2002-2003
INDICE
1º Ingeniería Técnica en Informática de Gestión -------------------------6
Álgebra ------------------------------------------------------------------------------------------------------6
Cálculo-------------------------------------------------------------------------------------------------------8
Estructura de Datos y de la Información ---------------------------------------------------------- 10
Estadística I ---------------------------------------------------------------------------------------------- 12
Matemática Discreta ----------------------------------------------------------------------------------- 14
Organización, Administración y Finazas ---------------------------------------------------------- 16
Programación -------------------------------------------------------------------------------------------- 19
Tecnología de Computadores ------------------------------------------------------------------------ 22
Tecnología Electrónica--------------------------------------------------------------------------------- 24
2º Ingeniería Técnica en Informática de Gestión ----------------------- 26
Algoritmos ------------------------------------------------------------------------------------------------ 26
Bases de Datos I ----------------------------------------------------------------------------------------- 28
Computación Numérica ------------------------------------------------------------------------------- 29
Estructuras y Sistemas Contables ------------------------------------------------------------------- 31
Ingeniería del Software de Gestión ----------------------------------------------------------------- 33
Metodología de la Programación -------------------------------------------------------------------- 35
Programación Declarativa ---------------------------------------------------------------------------- 37
Sistemas Operativos I ---------------------------------------------------------------------------------- 39
Tecnología de la Programación ---------------------------------------------------------------------- 41
3º Ingeniería Técnica en Informática de Gestión ----------------------- 43
Investigación Operativa ------------------------------------------------------------------------------- 43
Principios de Análisis Informático ------------------------------------------------------------------ 45
Redes de Comunicaciones ----------------------------------------------------------------------------- 47
Sistemas Operativos II ------------------------------------------------------------------------------- 49
1º Ingeniería Técnica en Informática de Sistemas--------------------- 51
Álgebra ---------------------------------------------------------------------------------------------------- 51
Cálculo----------------------------------------------------------------------------------------------------- 53
Estructura de Datos y de la Información ---------------------------------------------------------- 55
Estadística I ---------------------------------------------------------------------------------------------- 57
Física de las máquinas computacionales ----------------------------------------------------------- 59
Matemática Discreta ----------------------------------------------------------------------------------- 61
Programación -------------------------------------------------------------------------------------------- 63
2
Tecnología de Computadores ------------------------------------------------------------------------ 66
Tecnología Electrónica--------------------------------------------------------------------------------- 68
2º Ingeniería Técnica en Informática de Sistemas--------------------- 70
Bases de Datos I ----------------------------------------------------------------------------------------- 70
Computación Numérica ------------------------------------------------------------------------------- 71
Estructura de Computadores I ---------------------------------------------------------------------- 73
Metodología de la Programación -------------------------------------------------------------------- 75
Sistemas Conexionistas -------------------------------------------------------------------------------- 77
Sistemas Operativos I ---------------------------------------------------------------------------------- 79
Tecnología de la Programación ---------------------------------------------------------------------- 81
3º Ingeniería Técnica en Informática de Sistemas--------------------- 83
Estructura de Computadores II --------------------------------------------------------------------- 83
Medios de Transmisión -------------------------------------------------------------------------------- 85
Redes de Comunicaciones ----------------------------------------------------------------------------- 87
Sistemas Operativos II ------------------------------------------------------------------------------- 89
Teoría de Autómatas y Lenguajes Formales------------------------------------------------------ 91
1º Ingeniería Informática ------------------------------------------------------------ 93
Álgebra ---------------------------------------------------------------------------------------------------- 93
Cálculo----------------------------------------------------------------------------------------------------- 95
Estructura de Datos y de la Información ---------------------------------------------------------- 97
Estadística I ---------------------------------------------------------------------------------------------- 99
Física de las máquinas computacionales ----------------------------------------------------------101
Matemática Discreta ----------------------------------------------------------------------------------103
Programación -------------------------------------------------------------------------------------------105
Tecnología de Computadores -----------------------------------------------------------------------108
Tecnología Electrónica--------------------------------------------------------------------------------110
2º Ingeniería Informática -----------------------------------------------------------112
Algoritmos -----------------------------------------------------------------------------------------------112
Bases de Datos I ----------------------------------------------------------------------------------------114
Computación Numérica ------------------------------------------------------------------------------115
Estructura de Computadores I ---------------------------------------------------------------------117
Metodología de la Programación -------------------------------------------------------------------119
Programación Declarativa ---------------------------------------------------------------------------121
Sistemas Conexionistas -------------------------------------------------------------------------------123
Sistemas Operativos I ---------------------------------------------------------------------------------125
Tecnología de la Programación ---------------------------------------------------------------------127
3
3º Ingeniería Informática -----------------------------------------------------------128
Estructura de Computadores II --------------------------------------------------------------------128
Investigación Operativa ------------------------------------------------------------------------------130
Medios de Transmisión -------------------------------------------------------------------------------132
Redes de Comunicaciones ----------------------------------------------------------------------------134
Sistemas Operativos II ------------------------------------------------------------------------------136
Teoría de Autómatas y Lenguajes Formales-----------------------------------------------------138
Arquitectura e Ingeniería de Computadores ----------------------------------------------------140
Análisis de Sistemas Informáticos------------------------------------------------------------------142
Bases de Datos II ---------------------------------------------------------------------------------------144
4º Ingeniería Informática -----------------------------------------------------------146
Compiladores -------------------------------------------------------------------------------------------146
Diseño de Sistemas de Información ----------------------------------------------------------------148
Inteligencia Artificial----------------------------------------------------------------------------------150
Matemática Discreta 2 --------------------------------------------------------------------------------152
Ingeniería del Conocimiento-------------------------------------------------------------------------154
5º Ingeniería Informática -----------------------------------------------------------156
Ingeniería del Software -------------------------------------------------------------------------------156
Redes ------------------------------------------------------------------------------------------------------158
Optativas------------------------------------------------------------------------------------161
Arquitectura Cliente Servidor ----------------------------------------------------------------------161
Análisis y Diseño Orientado a Objetos ------------------------------------------------------------163
Auditoría Informática --------------------------------------------------------------------------------165
Arquitecturas Tolerantes a Fallos------------------------------------------------------------------167
Aspectos Jurídicos y Deontológicos de la Informática-----------------------------------------169
Bases de Datos II ---------------------------------------------------------------------------------------172
Bases de Datos 3 ----------------------------------------------------------------------------------------174
Ciencia Cognitiva --------------------------------------------------------------------------------------176
Comunicaciones Digitales ----------------------------------------------------------------------------177
Control Industrial--------------------------------------------------------------------------------------178
Gestión Operativa del CPD --------------------------------------------------------------------------180
Gestión de Redes ---------------------------------------------------------------------------------------182
Herramientas de Gestión de Proyectos------------------------------------------------------------185
Gráficos en Computación ----------------------------------------------------------------------------187
Inteligencia Artificial----------------------------------------------------------------------------------189
Informática Biomédica -------------------------------------------------------------------------------190
4
Intercambio Electrónico de Documentos ---------------------------------------------------------192
Inglés Técnico -------------------------------------------------------------------------------------------194
Interfaces con el Usuario -----------------------------------------------------------------------------197
Lógica para la Computación ------------------------------------------------------------------------199
Lenguajes Naturales-----------------------------------------------------------------------------------201
Medios de transmisión --------------------------------------------------------------------------------203
Métodos de Cálculo Numérico ----------------------------------------------------------------------205
Métodos estadísticos -----------------------------------------------------------------------------------207
Ofimática-------------------------------------------------------------------------------------------------209
Optimización del procesamiento paralelo --------------------------------------------------------211
Periféricos e Interfaces--------------------------------------------------------------------------------213
Programación Funcional -----------------------------------------------------------------------------215
Programación orientada a objetos -----------------------------------------------------------------217
Protección y seguridad de la información --------------------------------------------------------219
Redes de neuronas artificiales-----------------------------------------------------------------------222
Sistemas de adquisición de datos -------------------------------------------------------------------224
Sistemas de control por computador --------------------------------------------------------------226
Sistemas expertos --------------------------------------------------------------------------------------227
Simulación estadística---------------------------------------------------------------------------------229
Sistemas de tiempo real -------------------------------------------------------------------------------231
Teoría de códigos---------------------------------------------------------------------------------------233
Teoría de colas ------------------------------------------------------------------------------------------235
Técnicas operativas de gestión ----------------------------------------------------------------------237
Tratamiento digital de la señal----------------------------------------------------------------------239
Técnicas de simulación--------------------------------------------------------------------------------241
Visión Artificial-----------------------------------------------------------------------------------------243
5
1º Ingeniería Técnica en Informática de Gestión
Álgebra
ITIG
Cuatrimestral, Troncal, 7.5 Créditos (4.5T + 3P)
Descriptores
- Estructuras algebraicas
- Álgebra lineal
Profesores
M. Felicidad Aguado Martín aguado@dc.fi.udc.es
Gilberto Pérez Vega
gilberto@dc.fi.udc.es
Concepción Vidal Martín
eicovima@udc.es
aguado@fi.pri
gilberto@fi.pri
macovima@fi.pri
Objetivos docentes
Proporcionar de manera concreta y precisa, una variedad de conceptos, resultados,
técnicas y aplicaciones del álgebra que son particularmente útiles para los estudiantes de
informática. Asimismo, se pretende desarrollar unos hábitos de abstracción y rigor
necesarios para estos estudiantes, e incidir en la aplicación de las técnicas estudiadas.
Bibliografía
Recomendada
Grossman, S. I. Álgebra Lineal. 5ª ed. McGraw-Hill Interamericana de México, 1996.
Hernández, E. Álgebra y Geometría. 2ª ed. Addison-Wesley
Iberoamericana/Universidad Autónoma de Madrid, Wilmington, 1994.
Merino, L. y Santos, E. Álgebra Lineal con Métodos Elementales. Editado por los
autores, 1997.
Nakos, G. y Joyner, D. Álgebra lineal con aplicaciones. Thomson, 1999.
Complementaria
Cohen, A. M., Cuypers, H. y Sterk, H. Algebra Interactive!. Springer, 1999.
Fernández-Ferreirós, A. y Sein-Echaluce, M. L. Álgebra Lineal. Prácticas con
Mathematica. Prensas Universitarias de Zaragoza, 1995.
6
Contenido
ESTRUCTURAS ALGEBRAICAS
1. Estructuras algebraicas: Operaciones binarias. Propiedades. Relaciones de
congruencia y estructuras cocientes. Morfismos.
2. Grupos: Definición y propiedades. Subgrupos. Relaciones de congruencia,
grupos cocientes y subgrupos normales. Morfismos de grupos, propiedades.
Núcleo e imagen de un morfismo.
3. Anillos y Cuerpos: Definición y propiedades. Divisores de cero y unidades.
Subanillos. Relaciones de congruencia, anillos cocientes e ideales. Anillos
(Zm,+,.). Morfismos de anillos. Propiedades. Núcleo e imagen de un morfismo.
Definición de cuerpo. Condiciones equivalentes. Característica de un cuerpo.
Anillo de polinomios con coeficientes en un cuerpo.
ÁLGEBRA LINEAL
4. Sistemas de Ecuaciones Lineales y Matrices: Sistemas de ecuaciones lineales.
Equivalencia por operaciones elementales. Eliminación Gaussiana. Matrices.
Operaciones con matrices. Matriz inversible. Matriz de coeficientes de un
sistema, reducción de forma escalonada, soluciones. Cálculo de la matriz inversa
por operaciones elementales en las filas.
5. Determinantes: Determinante de una matriz cuadrada, propiedades. Métodos de
cálculo de un determinante. Determinante e inversa de una matriz. Regla de
Cramer.
6. Espacios Vectoriales: Definición y propiedades. Dependencia e independencia
lineal. Bases y coordenadas. Dimensión. Subespacios. Rango de un conjunto de
vectores y rango de una matriz. Cálculo del rango. Teorema de RouchéFrobenius.
7. Aplicaciones Lineales: Aplicaciones lineales, propiedades. Núcleo e imagen de
una aplicación lineal. Rango de un morfismo. El espacio vectorial de las
aplicaciones lineales. Anillo de endomorfismos. Matriz asociada a una
aplicación lineal. Cambio de base. Equivalencia y semejanza de matrices.
8. Introducción a la diagonalización de endomorfismos y matrices:
Autovalores y autovectores. Polinomio característico. Multiplicidad algebraica y
geométrica de un autovalor. Endomorfismos y matrices diagonalizables.
7
Cálculo
ITIG
Cuatrimestral, Troncal, 7.5 Créditos (4.5T + 3P)
Descriptores
- Análisis matemático.
- Cálculo diferencial e integral de una y dos variables.
- Series.
- Métodos numéricos.
Profesores
J. Jesús Cendán Verdes
Marta García Abel
María Teresa Iglesias Otero
suceve@udc.es
martagab@udc.es
totero@udc.es
suceve@fi.pri
martagab@fi.pri
totero@fi.pri
Objetivos docentes
Comprender los fundamentos del Cálculo Infinitesimal (límites, continuidad, derivación
e integración) para funciones reales de una variable, ampliar los conocimientos de
Cálculo Diferencial al caso de funciones reales de varias variables, introducir algunos
conceptos nuevos (series numéricas y ecuaciones diferenciales) y manejar un programa
de Cálculo Simbólico que permita resolver problemas de Cálculo y aclarar los
conceptos más importantes.
Bibliografía
Recomendada
García, A. et al. Cálculo I y Cálculo II. CLAGSA.
Smith, T., Minton. Cálculo. McGraw-Hill.
Valderrama. Métodos matemáticos aplicados a las Ciencias Experimentales. Pirámide.
Bradley, Smith. Cálculo de una variable y Cálculo de varias variables. Prentice Hall.
Amillo, J. et al. Cálculo. McGraw-Hill.
Complementaria
Larson, Hostetler, Edwards. Cálculo y Geometría Analítica. McGraw-Hill.
Mardsen, Tromba. Cálculo vectorial. Addison-Wesley.
Waner, Costenoble. Cálculo Aplicado. Thomson Learning.
8
Contenido
1. Nociones básicas.
o Conjuntos numéricos. Propiedades.
o Límite de una función en un punto.
o Funciones continuas. Teorema de Bolzano.
o Funciones derivables. Regla de la cadena. Regla de L'Hôpital.
Derivación implícita. Aplicaciones.
o Fórmula de Taylor.
o Integral de Riemann. Propiedades. Primitiva de una función.
Aplicaciones de la integral.
2. Ecuaciones diferenciales.
o Introducción a las ecuaciones diferenciales. Conceptos básicos.
o Ecuaciones diferenciales de primer orden. Tipos. Existencia.
o Ecuaciones diferenciales de orden n con coeficientes constantes. Método
de coeficientes indeterminados.
3. Funciones de dos variables.
o Función escalar y vectorial. Curvas y superficies de nivel.
o Límite de una función escalar. Continuidad.
o Derivadas parciales y direccionales. Gradiente. Propiedades.
o Matriz jacobiana. Regla de la cadena. Derivadas de orden superior.
o Extremos relativos. Extremos condicionados: multiplicadores de
Lagrange.
4. Series numéricas y funcionales.
o Sucesión de números. Serie de números. Operaciones.
o Convergencia de una serie. Propiedades.
o Criterios de convergencia. Series geométricas.
o Series alternadas. Criterio de Leibnitz.
o Series de potencias.
5. Cálculo con Maple
o Conceptos generales. Cálculo diferencial e integral.
o Ecuaciones diferenciales.
9
Estructura de Datos y de la
Información
ITIG
Cuatrimestral, Troncal, 6 Créditos
(4.5T + 1.5P)
Descriptores
- Tipos de datos abstractos.
- Estructura de datos y algoritmos de manipulación.
Profesores
Berta Guijarro Berdiñas
Mariano J. Cabrero Canosa
Eduardo Mosqueira Rey
cicanosa@udc.es
eduardo@udc.es
bertha@fi.pri
mariano@fi.pri
eduardo@fi.pri
Objetivos docentes
El término Estructura de Datos engloba el estudio de los métodos de organización,
almacenamiento, ordenación y búsqueda de grandes cantidades de información. El
objetivo fundamental de esta asignatura es establecer los principios esenciales de la
disciplina siguiendo una orientación doble. Tratar de proporcionar una base importante
en la teoría y aplicación de estructuras de datos, familiarizando al estudiante con las
estructuras fundamentales de programación. Enseñar un estilo moderno de
implementación de estructuras de datos y resolución de problemas conocido como
abstracción de datos.
Bibliografía
Recomendada
Joyanes Aguilar, L. Estructuras de datos. McGraw Hill,1998.
Collado Machuca, M. Estructuras de Datos: Realización en Pascal. Diaz de Santos,
1987.
Cairó, O. Estructuras de Datos. McGraw Hill,1993.
Complementaria
Aho, A.V., Hopcroft, J.E. y Ullman, J.D. Estructuras de Datos y Algoritmos. AddisonWesley, 1988.
Carmona Poyato, A. et al. Estructura de Datos. Servicio Publicaciones Univ. Córdoba,
1999.
Horowitz, E. y Sahni, S. Fundamentals of Data Structures in Pascal. Computer Science
Press, 1987
Lipschutz, S. Estructuras de datos. McGraw-Hill, 1987.
Weiss, M.A. Estructuras de Datos y Algoritmos. Addison-Wesley, 1995.
10
Contenido
1. Tipos Abstractos de datos
o Evolución de los lenguajes de programación
o Definición de tipos abstractos de datos
2. Estructuras de datos dinámicas
o Listas enlazadas
o Especificación formal del TAD lista enlazada
o Listas doblemente enlazadas
o Listas ordenadas
o Listas circulares
o Listas con cabecera
3. Pilas
o Especificación formal del TAD pila
o Pilas y paso de parámetros
o Pilas y expresiones aritméticas
4. Colas
o Especificación formal del TAD cola
o Colas con listas circulares
o Bicolas
o Colas de prioridades
5. Recursividad
o Definición de recursividad
o Eliminación de la recursividad
o Algoritmos divide y vencerás
o Algoritmos de ordenación recursivos
o Algoritmos de vuelta atrás
6. Árboles
o Definición de árbol y terminología
o Árboles binarios
o Árboles de expresión
o Recorridos de árboles y evaluación de expresiones
o Árboles en Montículos (ordenación heapsort)
7. Árboles de búsqueda
o Árboles binarios de búsqueda
o Árboles AVL
o Árboles B
o Árboles en memoria externa
8. Otras estructuras
o Tablas Hash
o Grafos
11
ITIG
Estadística I
Anual, Troncal, 9 Créditos (9.5T + 9.5P)
Descriptores
- Estadística descriptiva.
- Probabilidades.
- Métodos estadísticos aplicados.
Profesores
Alejandro Quintela del Río
Maria Luisa Carpente
Rodríguez
Julián Costa Bouzas
eiquinte@udc.es
aqdr@fi.pri
luisacar@udc.es
julian.costa.bouzas@udc.es cb@fi.pri
Objetivos docentes
Introducción a la estadística y la probabilidad para su uso en posteriores cursos de la
carrera. Enseñar la utilización de un paquete estadístico para que el alumno se
acostumbre al manejo informático de datos con fines estadísticos.
Bibliografía
Recomendada
Gonick, L. - Smith, W. La estadística en Cómic. Editorial Zendrera Zariquiey.
Barcelona.
Montgomery - Runger. Probabilidad y Estadística aplicadas a la Ingeniería. McGrawHill.
Canavos, G. C. Probabilidad y Estadística. Aplicaciones y Métodos. Ed. McGraw-Hill.
Cao, R. - Labora, A. - Naya, S. - Ríos, M. Métodos estatísticos e numéricos. Edicións
Baía.
Allen, A. Probability, Statistics and Queueing Theory. Academic Press
Cao, R. et al. Introducción a la Estadística y sus Aplicaciones. Pirámide, 2001
Complementaria
Quesada - Isidoro - López. Curso y Ejercicios de Estadística. Alhambra Universidad
Baró Llinás, J. Estadística Descriptiva, Parragón
López de la Manzanara, M. Problemas de Estadística. Pirámide
Spiegel, M.R. Estadística. Serie Schaum de McGraw-Hill
Spiegel, M.R. Probabilidad y Estadística. Serie Schaum de McGraw-Hill
12
García et al. Estadística I. I. T. I. S. UNED, 1998
Peña, D. Estadística: Modelos y métodos. Fundamentos. Alianza Universidad, 1991
Pérez, C. Métodos estadísticos con Statgraphics para Windows. Técnicas básica. RAMA, 1998
Baró Llinás, J. Cálculo de Probabilidades, Parramón
Baró Llinás, J. Inferencia Estadística, Parramón
Contenido
1. Estadística descriptiva
o distribuciones de frecuencias
o medidas de posición, de dispersión y de forma
o distribuciones bidimensionales
2. Probabilidad
o fundamentos de la teoría de la probabilidad
o probabilidad condicionada
o variables aleatorias unidimensionales: discretas y continuas
3. Inferencia estadística
o muestreo, estimación, intervalos de confianza
o contrastes de hipótesis: paramétricos y no paramétricos
13
Matemática Discreta
ITIG
Cuatrimestral, Troncal, 7.5 Créditos (4.5T + 3P)
Descriptores
- Lógica
- Combinatoria
- Funciones generatrices
- Grafos y Árboles
Profesores
Gilberto Pérez Vega
María José Souto Salorio
Concepción Vidal Martín
gilberto@dc.fi.udc.es
mariaj@udc.es
eicovima@udc.es
gilberto@fi.pri
macovima@fi.pri
Objetivos docentes
Proporcionar de manera concreta y precisa, una variedad de conceptos, resultados,
técnicas y aplicaciones de la matemática discreta que son particularmente útiles para los
estudiantes de informática. Asimismo, se pretende desarrollar unos hábitos de
abstracción y rigor necesarios para estos estudiantes, e incidir en la aplicación de las
técnicas estudiadas.
Bibliografía
Recomendada
Biggs, N.L. Matemática Discreta.Vicens Vives,1994.
Bujalance, E. Elementos de Matemáticas Discretas. Sanz y Torres, 1993.
Bujalance, E. Problemas de Matemáticas Discretas. Sanz y Torres, 1993.
García, C.; López, J. Mª. y Puigjaner. D. Matemática Discreta. Problemas y ejercicios
resueltos. Prentice Hall. 2002.
Grimaldi, R.P. Matemáticas discreta y combinatoria. Addison-Wesley Iberoamericana,
1997.
Scheinerman, E (2001). Matemáticas Discretas. Thomson.
Complementaria
Torrecilla Jover, B. Fermat El mago de los números. Nivola, 1999
14
Contenido
1. Introducción a la Lógica. Proposiciones. Operaciones lógicas. Tablas de verdad
y tablas semánticas. Cuantificadores. Implicaciones y teoremas.
Demostraciones.
2. Conjuntos y aplicaciones. Noción intuitiva de conjunto, subconjuntos y
complementario, unión e intersección de conjuntos, producto cartesiano.
Definición de aplicación, tipos de aplicaciones, composición de aplicaciones,
inversa de una aplicación.
3. Relaciones y grafos. Relaciones binarias, relaciones de equivalencia, conjunto
cociente. Relaciones de orden, conjuntos ordenados, elementos especiales de un
conjunto ordenado y diagrama de Hasse. Conceptos básicos y terminología de
grafos. Conexión de grafos. Grafos eulerianos y hamiltonianos. Grafos planos.
Árboles. Grafos dirigidos.
4. Teoría elemental de números. Principio de Inducción.Divisibilidad en Z.
Allgoritmo de Euclides. Números primos. Teorema fundamental de la
aritmética. Ecuaciones Diofánticas. Congruencias: teorema chino de los restos,
criterios de divisibilidad, sistemas de numeración. Introducción a la
criptografía.
5. Combinatoria y recurrencia. Principio de inclusión exclusión. Permutaciones
con y sin repetición. Combinaciones con y sin repetición. Fórmulas
combinatorias, teorema binomial. Sucesiones definidas por recurrencia.
Relaciones de recurrencia lineales homogéneas con coeficientes constantes.
Relaciones de recurrencia no lineales. Funciones definidas de forma recursiva.
15
Organización, Administración
y Finazas
ITIG
Cuatrimestral, Troncal, 7.5 Créditos
(4.5T + 3P)
Descriptores
- El sistema de interacción de la empresa.
- La administración de la empresa.
- Finanzación e inversión.
- Aspectos básicos del área productiva y comercial.
Profesores
Lucía Boedo Vilabella
lboedo@udc.es
Objetivos docentes
La generalización de la utilización de la informática en las empresas, no sólo para
sustituir actividades manuales mecánicas o rutinarias, sino también como herramienta
para la toma de decisiones complejas, exige al informático el entendimiento de cómo
funciona una empresa. Con este objetivo en mente, la asignatura pretende dotar al
alumno de los conocimientos básicos sobre la gestión empresarial (terminología
utilizada y modelos de decisión más importantes) en cada una de las tres grandes áreas
funcionales en las que se puede dividir la empresa: producción, financiación- inversión
y comercialización. Con ello el alumno adquiere los conocimientos suficientes para la
plena integración entre el empresario y el informático. Por otro lado, la oferta de
asignaturas de libre elección centradas en la gestión empresarial permite, al alumno que
lo desee, profundizar en el estudio de cada área funcional de la empresa.
Bibliografía
Recomendada
Suárez Suárez, A. Curso de Economía de la Empresa.7ª ed, Pirámide, Madrid. 2002.
Complementaria
Doldán Tié, F.R. Planificación y control de proyectos. Tórculo Artes Gráficas, La
Coruña, 1986.
Fernández Alvarez, A.I. Introducción a las finanzas. Civitas, Madrid, 1994.
Suárez Suárez, A. Decisiones óptimas de inversión y financiación en la empresa.
Pirámide, Madrid,1995.
Castillo Clavero et al. Prácticas de gestión de empresas. Pirámide, Madrid, 1992.
Delgado, G. y Palomero, J. Matemática financieras. Teoría y 950 ejercicios.
Concepción Delgado y Juan Palomero editores, Madrid, 1990.
Rodriguez, Eduardo y Peréz Cabestre, Francisco Javier. Valoración de las operaciones
financieras. 1ª ed. Civitas. 2000
16
Contenido
Parte 1. La empresa. Aspectos generales
1. La empresa y el empresario
o La empresa en el sistema económico
o Concepto de empresa
o Los objetivos de la empresa
2. La administración de la empresa
o La planificación
o La organización
o La dirección
o El control
3. El sistema de información de la empresa
o El sistema de información global
o El sistema de información contable
Parte 2: El subsistema de producción
4. La función de producción
o Concepto. Tipos de factores productivos
o La productividad
o El equilibrio económico de la producción
5. Los costes empresariales
o Concepto y clasificación
o El reparto de los costes indirectos
o Los costes estándar
o Coste de las materias primas
o Depreciación del activo fijo
6. Gestión de proyectos
o Tecnicas de gestión de proyecots
o El modelo PERT
Parte 3: El subsistema financiero
7. El entorno de las decisiones financieras
o El sistema financiero
o Activos, intermediarios y mercados financieros
8. Análsis y cálculo de las operaciones financieras
o Capital financiero
o Leyes financieras
o Las rentas
9. Las fuentes financieras de la empresa
o Financiación ajena:
? El préstamo
? El empréstito
? El crédito comercial
? El descuento de efectos
? La póliza de crédito
17
La financiación propia
? La emisión de acciones
? Las reservas
o El coste medio ponderado de capital
10. La inversión en la empresa
o El Valor Actual Neto (VAN)
o La Tasa interna de Rentidiento (TRI)
o
Parte 4: El subsistema de comercialización
11. La actividad comercial de la empresa
o El mercado
o La investigación de mercados
o Las variables básicas del márketing
18
Programación
ITIG
Cuatrimestral, Troncal, 7.5 Créditos (4.5T + 3P)
Descriptores
- Diseño de algoritmos.
- Lenguajes de programación.
- Diseño de programas: descomposición modular y documentación.
- Algoritmos de ordenación y búsqueda (ventajas e inconvenientes).
- Recursividad.
- Estructuras dinámicas.
Profesores
Esteban García Martín
Alfonso Ruipérez Puente
Juan José Romero Cardalda
Joaquín Hernández Almaraz
Nieves Pedreira Souto
esteban@udc.es
arpc@udc.es>
jj@udc.es
joaquin@udc.es
nieves@udc.es
Objetivos docentes
Bibliografía
Recomendada
Dale, N y Weems, C. Pascal. McGraw Hill.
Lesstma, S y Nyhoff, L. Programación en Pascal. Prentice Hall.
Complementaria
Alcalde E. Metodología de la programación. McGraw Hill
Alonso Amo F. Técnicas de programación. Paraninfo 1988.
Anasagasti. Fundamentos de Computadores. Paraninfo
Arnow D. Introducción a la programación con java. Pearson educación. (A. W)
Fernandez, F. y Sáez Vacas, F. Fundamentos de Informática. Anaya Franch, G.X.
Joyanes, L. Fundamentos de Programación. McGraw Hill
Stroustrup, B. El lenguaje de Programación C++. Pearson educación. (A. W.)
Wirth, N. Algoritmos + estructuras de datos = programas. Ediciones del castillo.
19
Contenido
ALGORITMOS, PROGRAMAS Y LENGUAJES
-
Descripción de un computador
Algoritmos
Programas
Lenguajes de programación
Traductores
PASCAL ESTÁNDAR: INTRODUCCIÓN
-
Introducción
Objetos de programa: introducción
Estructura de un programa en Pascal Estándar
Variable: Declaración e inicialización
Salida - Entrada
Tipos de datos: Concepto
Operadores
Sentencias de control
MODULACIÓN Y ESTRUCTURACIÓN
-
Tipos de programación: clasica, modular y estructurada
Procedimientos
Variables globales y locales: Alcance
Efectos laterales
Declaración FORWARD
La directiva {$I Archivo}: bibliotecas
Funciones
Compilación separada de archivos fuente
ARRAYS, REGISTROS Y CONJUNTOS
-
Presentación
Estructuras estáticas
Arrays
Registros
Conjuntos
CLASIFICACIÓN Y BÚSQUEDA
-
Introducción al concepto de Complejidad de un algoritmo
Búsqueda
Ordenación o Clasificación
FICHEROS
-
Concepto de archivo
Tipos de archivos: secuenciales y directos
20
-
Organización de archivos: concepto y tipos
Métodos de acceso
Operaciones sobre archivos
Búsqueda de ficheros: Secuencial, binaria, dispersión
Ordenación
Construcción de índices
EL TIPO PUNTERO
-
Concepto de puntero
Operaciones con punteros
Compatibilidad de tipos puntero
Punteros y procedimientos
El valor nulo de un puntero
La recolección de basura
METODOLOGÍA DE LA PROGRAMACIÓN
-
Introducción
Personajes
El cliclo de vida del software
Errores: tipos
Documentación
Perspectiva General
ENTORNO DE TRABAJO:
Se va a trabajar con el PASCAL ESTANDAR AMPLIADO, norma ISO 10206, en un
entorno GNU Pascal aplicable tanto a entornos 'WINDOWS' como a entornos 'UNIX LINUX'
21
Tecnología de
Computadores
ITIG
Cuatrimestral, Troncal, 9 Créditos (4.5T +
4.5P)
Descriptores
- Sistemas digitales.
- Unidades funcionales: memoria, procesador, perifericos, lenguajes máquina y
ensamblador, esquema de funcionamiento.
Profesores
María José Martín Santamaría
Xoán Carlos Pardo Martinez
Jesús Salceda Sánchez
José Rodrigo Sanjurjo Amado
Basilio Fraguela
mariam@udc.es
pardo@des.fi.udc.es
jsalceda@des.fi.udc.es
josesan@udc.es
basilio@udc.es
mariam@fi.pri
juanca@fi.pri
josesan@fi.pri
Objetivos docentes
Estudio de los sistemas digitales desde un punto de vista funcional y como elemento de
circuito.
Bibliografía
Recomendada
Floyd, T.L. Fundamentos de Sistemas Digitales. Prentice Hall, 2000.
Hayes, J. Introducción al Diseño lógico digital. Addison-Wesley Iberoamericana, 1996.
Baena, C. et al. Problemas de Circuitos Digitales. McGraw-Hill, 1997.
Angulo Usategui, J.M. y García Zubía, J. Sistemas Digitales y tecnología de
computadoras, Paraninfo, 2002.
Complementaria
Ercegovac, M.D. ; Lang, T. ; Moreno, J.H. Introduction to Digital Systems. John Wiley
& Sons, 1999
Fletcher, W. An engineering approach to digital design. Prentice Hall, 1908.
Hill, F.; Peterson,G. Teoría de conmutación y diseño lógico. Limusa, 1980.
Mira Mira, J. Electrónica Digital. Sanz y Torres, 1993
Lloris Ruiz, A. ; Prieto Espinosa, A. Diseño Lógico. McGraw-Hill, 1996.
Morris Mano, I. Diseño Digital. Prentice Hall, 1987.
22
Contenido
1. Sistemas Digitales Combinacionales
o Introducción a la tecnología de computadores
o Representación y tratamiento de los sistemas digitales
o Funciones aritméticas y lógicas
o Funciones de rutas de dato
2. Sistemas Digitales Secuenciales
o Biestables
o Introducción a la teoría de autómatas
o Contadores y registros
o Circuitos de tiempo
o Memorias
o Lógica programable
3. Descripción Algorítmica de Sistemas Secuenciales
o Especificación algorítmica de sistemas secuenciales
23
Tecnología
Electrónica
ITIG
Cuatrimestral, Obligatoria, 7.5 Créditos (4.5T +
3P)
Descriptores
- Electrónica.
- Periféricos
Profesores
Jose Mª Domínguez Legaspí doming@des.fi.udc.es
esdoming@fi.pri
Objetivos docentes
Conocer el funcionamiento de los componentes básicos, tanto pasivos como activos, de
los circuitos electrónicos, el análisis de los mismos, las tecnologías de fabricación de los
circuitos digitales y por último los medios de transmisión de información.
En prácticas se pretende que el alumno maneje los distintos equipos básicos en un
laboratorio de electrónica.
Bibliografía
Recomendada
Millman J. Microelectrónica.
Complementaria
Schilling & Belove. Circuitos Electrónicos.
Malvino A. P. Principios de Electrónica.
Taub, H. y Schilling, D. Electrónica Digital Integrada.
24
Contenido
1. Circuitos eléctricos
o Circuitos eléctricos en continua
o Circuitos eléctricos en alterna
o Régimen transitorio
2. Dispósitivos semiconductores
o Semiconductores
o Diodo de unión P-N
o Circuitos rectificadores
o Transistor bipolar
o Transistor unipolar
3. Circuitos lineales
o Amplificadores
o El amplificador operacional
4. Circuitos digitales
o Características generales de los circuitos digitales
o Familias lógicas
5. Medios de transmisión
o Medios de transmisión
o Cableado estructurado
25
2º Ingeniería Técnica en Informática de Gestión
Algoritmos
ITIG
Cuatrimestral, Obligatoria, 6 Créditos (3T + 3P)
Descriptores
- Inducción
- Eficiencia
- Algoritmos de grafos
- Algoritmos geométricos
- NP-completitud
- Algoritmos paralelos
Profesores
Alberto Valderruten Vidal
Jose Santiago Jorge Castro
valderruten@dc.fi.udc.es valderru@fi.pri
sjorge@dc.fi.udc.es
sjorge@fi.pri
Objetivos docentes
El objetivo de la asignatura es utilizar las técnicas de análisis de la complejidad de los
algoritmos para estudiar desde el punto de vista de la eficiencia las técnicas de diseño
con las que han sido desarrollados. Se evalúan alternativas para encontrar
implementaciones eficientes con estructuras de datos adaptadas a los algoritmos
estudiados. Se introducen elementos de estudio sobre la complejidad computacional.
Bibliografía
Recomendada
Brassard, G. y Bratley, P. Fundamentos de Algoritmia. Prentice Hall, 1997.
Manber, U. Introduction to Algorithms - A Creative Approach. Addison Wesley, 1989.
Weiss, M.A. Estructuras de Datos en Java. Addison Wesley, 1998.
Complementaria
Sedgewick, R. Algorithms. Addison Wesley, 1988.
Arnold, K., Gosling, J y Holmes, D. El Lenguaje de Programación Java, 3ª ed.
Addison-Wesley, 2000.
Cormen, T.H., Leiserson, C.E. y Rivest, R.L. Introduction to Algorithms. MIT Press,
1990.
Weiss, M.A. Estructuras de Datos y Algoritmos. Addison Wesley, 1995.
Brassard, G. y Bratley, P. Fundamentals of Algorithmics. Prentice Hall, 1996.
Peña Marí, R. Diseño de Programas, Formalismo y Abstracción. Prentice Hall, 1998.
26
Heileman, G.L. Estructuras de Datos, Algoritmos, y Programación Orientada aObjetos.
McGraw-Hill, 1998.
Contenido
1. Análisis de Algoritmos
- Análisis de la eficiencia de los algoritmos. Notaciones asintóticas,
Modelo de computación, Verificación empírica del análisis
- Cálculo de los tiempos de ejecución. Análisis de los casos peor y medio,
Cálculo de O, Resolución de recurrencias.
2. Estructuras de datos
- Pilas, colas, listas.
- Árboles, montículos.
- Dispersión (hashing).
- Conjuntos disjuntos.
- Grafos (representación).
3. Algoritmos sobre secuencias y conjuntos de datos
- Algoritmos de búsqueda.
- Algoritmos de ordenación: Inserción, Shell, Montículos (heapsort),
Fusión (mergesort), Ordenación Rápida (quicksort).
- Algoritmos aleatorios.
4. Algoritmos voraces
- Algoritmos de grafos: Árbol de recubrimiento mínimo, Caminos
mínimos.
- Problema de la mochila.
- Problemas de planificación de sistemas informáticos.
5. Diseño de algoritmos por inducción
- Divide y Vencerás.
- Programación dinámica: Principio de optimalidad, Problema de la
mochila.
6. Exploración de grafos
- Juegos de estrategia, Recorridos, Algoritmos con retroceso.
7. Algoritmos paralelos
- Modelos de computación paralela.
- Algoritmos para sistemas de memoria compartida, Algoritmos para redes
de interconexión.
8. Complejidad Computacional
- NP-Completitud, Problemas NP-completos.
Más información en http://www.lfcia.org/alg
27
Bases de Datos I
ITIG
Cuatrimestral, Troncal, 7.5Créditos (4.5T + 3P)
Descriptores
- Estructura de la información: ficheros, bases de datos.
Profesores
Nieves Rodríguez Brisaboa
brisaboa@udc.es
cinbrisa@fi.pri
Objetivos docentes
Familiarizarse con los diferentes algoritmos de manejo de ficheros. Entender los
fundamentos del modelo de bases de datos relacional. Desarrollar habilidades para el
diseño conceptual y lógico de bases de datos. Conocer a la perfección el lenguaje SQL.
Entender el funcionamiento de un sistema de gestión de bases de datos relacional.
Bibliografía
Recomendada
Silberschatz, A., Korth, H.F. y Sudarshan. Fundamentos de Bases de Datos. Mc Graw
Hill.
Connolly y Begg. Database Systems. Addison Wesley.
Elamasri y Navathe. Sistemas de Bases de Datos. Addison Wesley.
Castaño, A.M. y Velthuis, M.P. Fundamentos y modelos de bases de datos. Ra-ma.
Complementaria
Date. Introducción a los sistemas de Bases de Datos. Prentice Hall.
Rivero, F. et al. Introducción al SQL para usuarios y programadores. 2ª Edición,
Thomson.
Contenido
1.
2.
3.
4.
5.
6.
Revisión de los sistemas de ficheros.
Introducción a las Bases de Datos.
Modelado Conceptual: el modelo E-R.
El modelo Relacional.
Diseño lógico de Bases de Datos Relacionales.
Otras características de los SGBD relacionales.
28
Computación
Numérica
ITIG
Cuatrimestral, Obligatoria,7.5 Créditos (4.5T +
3P)
Descriptores
- Algoritmos numéricos
- Métodos finitos
- FORTRAN
Profesores
José Jesús Cendán Verdes
Luis M. Hervella Nieto
María González Taboada
suceve@udc.es
luisher@udc.es
mgtaboad@udc.es
suceve@fi.pri
luisher@fi.pri
mgtaboad@fi.pri
Objetivos docentes
Comprender, deducir y programar los métodos numéricos básicos para la aproximación
de la solución de algunos problemas matemáticos. Estudiar y comparar la convergencia
de los distintos algoritmos. Saber seleccionar los métodos más adecuados para cada tipo
de problema.
Bibliografía
Recomendada
Burden, R.L. y Faires, J.D. Análisis Numérico. ITP,1998.
Conde, C. y Winter, G. Métodos y Algoritmos básicos del Algebra Numérica. Reverté,
1990.
Gerald, C.F. y Wheatley, P.O. Applied Numerical Analysis. Addison-Wesley, 1990.
Kincaid, D. y Cheney, W. Análisis Numérico: las matemáticas del cálculo científico.
Addison-Wesley, 1994.
Viaño, J.M. Lecciones de Métodos Numéricos 2. Resolución de ecuaciones numéricas.
Tórculo, 1997.
Complementaria
Mathews, J.H y Fink, K.D. Métodos Numéricos en Matlab. Prentice-Hall, 2000.
Viaño, J.M. y Burguera, M. Lecciones de Métodos Numéricos 3. Interpolación.
Tórculo, 2000.
Ciarlet, P. Introducción á Análise Numérica Matricial e á Optimización. Seminario de
Publicacións da Universidade de Santiago, 1999.
Golub, G.H. y Van Loan, C.F. Matrix Computations. The Johns Hopkins U. P., 1996.
Infante, J.A. y Rey, J.M. Métodos Numéricos Teoría, problemas y prácticas con
29
Matlab. Pirámide, 1999.
Contenido
1. Resolución de ecuaciones en una variable.
- Separación de raíces.
- Métodos de dicotomía, regula falsi, iteración funcional, Newton.
- Convergencia, orden y aceleración.
2. Interpolación numérica.
- Problemas de Lagrange y Hermite.
- Diferencias divididas.
- Error de interpolación.
- Interpolación por splines.
3. Derivación numérica.
- El problema de derivación numérica.
- Fórmulas de tipo interpolatorio polinómico.
- Error.
- Aproximación de derivadas de orden superior.
4. Integración numérica.
- Fórmulas de tipo interpolatorio polinómico, fórmulas de Newton-Cotes.
- Error.
- Propiedades.
- Fórmulas compuestas de integración.
5. Resolución numérica de ecuaciones diferenciales ordinarias.
- Métodos de un paso.
- Métodos multipaso.
- Métodos predictor-corrector.
6. Resolución numérica de sistemas lineales de ecuaciones.
- Condicionamiento.
- Métodos directos (Gauss, factorizaciones LU, Cholesky y QR).
- Métodos iterativos clásicos (Jacobi, Gauss-Seidel, relajación).
- Resolución de sistemas no lineales.
7. Programación de métodos numéricos en Fortran90.
30
Estructuras y Sistemas
Contables
ITIG
Cuatrimestral, Troncal,4.5 Créditos (3T
+ 1.5P)
Descriptores
- Técnicas de administración y técnicas contables
Profesores
Ramón Miñones Crespo
ramonmi@udc.es
Objetivos docentes
Introducir al alumno en los conceptos básicos del subsistema de información contable
(función, componentes, métodos, procesos), así como sus relaciones con el resto de
componentes del Sistema de Información Empresarial.
Bibliografía
Recomendada
González Jiménez, L. Sistemas de Información Contable. Ediciones Civitas.
Rivero Romero, J. Contabilidad Financiera. Editorial Trivium.
Sáez Torrecilla, A. y Gómez Aparicio, J. M. Contabilidad Informatizada y sus
Documentos. McGraw-Hill.
Complementaria
Moscove, Stephen A. et al. Core Concepts of Accounting Information Systems. John
Wiley and Sons.
Page, J. y Hooper, P. Accounting and Information Systems. Prentice-Hall International.
31
Contenido
1. La Contabilidad en el Sistema de Información Empresarial.
2. Fundamentos de Contabilidad: Concepto y Técnica Contable.
3. Aspectos Organizativos del Sistema de Información Contable.
4. El Proceso General de Contabilidad.
5. El Proceso de Compras.
6. El Proceso de Ventas.
7. El Proceso de Inversión.
8. El Proceso de Financiación.
9. Otros subsistemas característicos.
10. El Proceso de Producción.
11. El Sistema Presupuestario.
12. Uso de la Información Contable.
32
Ingeniería del Software de
Gestión
ITIG
Cuatrimestral, Troncal,7.5 Créditos (4T
+ 3.5P)
Descriptores
- Diseño, propiedades y mantenimiento del software de gestión.
- Planificación y gestión de proyectos informáticos.
Profesores
Javier Andrade Garda
Juan Ares Casal
Rafael García Vázquez
Santiago Rodríguez Yáñez
jag@udc.es
juanar@udc.es
rafael@udc.es
santi@udc.es
andrade@fi.pri
rafael@fi.pri
santiago@fi.pri
Objetivos docentes
Se pretende que el alumno comprenda la forma en la que se debe abordar la resolución
de un problema software, tanto desde el punto de vista estructurado, como desde el
punto de vista objetual. Asimismo, el alumno verá como se contextualiza esta actividad
dentro de los diferentes ciclos de vida existentes. Finalmente se dará una pequeña
introducción a las herramientas existentes para el desarrollo software.
Bibliografía
Recomendada
Pressman, R.S.. Ingeniería del Software. Un enfoque práctico, 5ª ed. McGraw Hill,
1997.
Sommerville, I. Software Engineering, 6ª ed. Addison-Wesley, 1996.
Yourdon, E. Análisis Estructurado moderno. Prentice-Hall. 1989.
Yourdon, E. y L. Constantine, L. Structured Design. Fundamentals of a Discipline of
Computer Program and Systems Design. Yourdon Press Computing Series. 1979.
Complementaria
McConnell, S. Desarrollo y gestión de proyectos informáticos. McGraw Hill. 1996.
Kan, S.H. Metrics and Models in Software Quality Engineering. Addison-Wesley.
1995.
Booch, G., Rumbaugh, J. y Jacobson, I. El Lenguaje Unificado de Modelado. Addison
Wesley Iberoamericana. 1999.
UML Resource Center. [en línea] Rational Software [Consulta Noviembre 2002]
<http://www.rational.com/uml/>.
33
Contenido
TEORÍA:
1.
2.
3.
4.
Ciclos de vida.
Análisis estructurado.
Diseño estructurado.
Introducción a los patrones de diseño en orientación a objetos.
PRÁCTICA:
1. Práctica de Ciclos de Vida y Gestión de Proyectos.
2. Prácticas de análisis y diseño de sistemas reales con paradigma estructurado y
objetual.
3. Manejo de Herramienta CASE de análisis y diseño.
34
ITIG
Cuatrimestral, Obligatoria,7.5 Créditos
(4.5T + 3P)
Metodología de la
Programación
Descriptores
- Diseño de programas
- Métodos y técnicas de programación
- Plan y estrategias de pruebas
Profesores
Javier Andrade Garda
Juan Ares Casal
Esteban García Martín
Rafael García Vázquez
Santiago Rodríguez Yáñez
jag@udc.es
juanar@udc.es
esteban@udc.es
rafael@udc.es
santi@udc.es
andrade@fi.pri
esteban@fi.pri
rafael@fi.pri
santiago@fi.pri
Objetivos docentes
El objetivo de la asignatura es familiarizar al alumno con diferentes paradigmas de
programación, haciendo especial hincapié en la importancia de la documentación y las
pruebas en el conjunto del producto software.
Bibliografía
Recomendada
Roger S. Pressman. Ingeniería del Software. Un enfoque práctico. 5ª ed. McGraw Hill,
1997.
Sommerville, I. Software Engineering. 6ª ed. Addison-Wesley, 1996.
Standard Program Documentation. Documento de la Wichita State University
J. Myers, G. The art of Software Testing. John Wiley & Sons, Inc., 1979
Arnow, D.M. y Weiss, G. Introducción a la programación con JAVA. Un enfoque
orientado a objetos. Addison-Wesley, 2000.
Complementaria
López-Cortijo y de Amescua, A.. Ingeniería del Software. Aspectos de Gestión. IIIS.
1998. [en línea]. IIIS. [Consulta Diciembre 2002]. Disponible en Internet en
<http://www.iiis.es>.
Niemeyer, P. y Knudsen, J. Curso de JAVA. Anaya Multimedia, 2000
Braude, E.J. Software Engineering. An object-Oriented Perspective. John Wiley &
Sons, Inc., 2001.
Booch, G.; Rumbaugh, J. y Jacobson, I. El Lenguaje Unificado de Modelado. Addison
35
Wesley Iberoamericana, 1999.
Contenido
TEORÍA:
1.
2.
3.
4.
5.
6.
Introducción a la ingeniería del software.
Configuración de un producto software.
Características del diseño modular.
Programación estructurada.
Programación orientada a objetos.
Pruebas de unidad e integración.
PRÁCTICA:
1. Programación orientada a objetos empleando el lenguaje JAVA.
2. Pruebas de unidad y de funcionalidad
36
Programación
Declarativa
ITIG
Cuatrimestral, Obligatoria,6 Créditos (3T +
3P)
Descriptores
- Programación funcional.
- Programación lógica.
Profesores
Manuel Vilares Ferro
José María Molinelli Barba
vilares@fi.pri
molineli@fi.pri
Objetivos docentes
Introducción a la programación lógica y a la programación funcional.
Bibliografía
Recomendada
Sterling, L. y Shapiro, E. The Art of Prolog. Ed. MIT Press, 1986.
Wikström, Ä. Functional Programming Using Standard ML. Prentice Hall.
Complementaria
Vilares, M.; Alonso, M. y Valderruten, A. Programación lógica. Tórculo Edicións,
1994.
Weis, P. y Leroy, X. Le languaje Caml. InterEditions, 1993.
Leroy, X. y Weis, P. Manuel de référen du languaje Caml. InterEditions, 1993.
Paulson, L. C. ML for the Working Programmer. Cambridge University Press, 1991.
Cousineau, G. y Mauny, M. The Functional Approach to Programming. Cambridge
University Press, 1998.
37
Contenido
1. Programación lógica: lenguaje Prolog
- Programación lógica: conceptos fundamentales
- Programas lógicos, cláusulas y cuestiones
- Objetos en programación lógica. La variable lógica
- Concepto de unificación: substituciones e instancias
- Un intérprete lógico simple
- Semántica de un programa lógico: corrección y completud
- Concepto de resolución: árboles de búsqueda y demostración
- Programación lógica en Prolog
- Resolución SLD: corrección y completud
- El corte, estructura básica de control: cortes rojos y verdes
- La negación
- No determinismo en Prolog
- Programación recursiva
- Estructuras de datos incompletas
- Relación con el análisis sintáctico: DCGs
- Predicados del sistema
- Predicados metalógicos
- Predicados extralógicos
- Programas inteligentes en Prolog: asserta y retract
- Los operadores en Prolog
2. Programación funcional: lenguaje Caml
- Introducción a la programación funcional: características e historia de los
lenguajes funcionales
- Fundamentos del lenguaje Caml
- Valores, expresiones y definiciones
- Tipos de datos
- Definiciones locales
- Construcciones lógicas
- Definiciones múltiples y con patrones ("pattern matching")
- Funciones como valores: representación, definición y aplicación de
funciones
- Definiciones recursivas
- Polimorfismo
- Funciones de orden superior
- Listas
- Operaciones de entrada/salida
- Definición de tipos de datos: tipos suma y producto
- Manejo de excepciones
- Programación imperativa en Caml
- Programación modular en Caml
38
Sistemas Operativos I
ITIG
Cuatrimestral, Troncal,7.5 Créditos (4.5T + 3P)
Descriptores
- Organización, estructura y servicios de los sistemas operativos.
- Gestión y administración de memoria y de procesos.
- Gestión de entrada y salida.
- Sistemas de ficheros.
Profesores
Julio González Soto
David Lorenzo Blanco
soto@dc.fi.udc.es
david@dc.fi.udc.es
soto@fi.pri
david@fi.pri
Objetivos docentes
Enseñar las bases teóricas del funcionamiento de un S.O.
Bibliografía
Recomendada
Silberschatz A. y Baer P. Sistemas Operativos. Addison Wesley, 1999
Stallings, W. Sistemas Operativos. Prentice Hall, 2001.
Carretero Perez, J. Sistemas Operativos, una visión aplicada. Mc Graw Hill, 2001.
Complementaria
Tanenbaum, A. S. Sistemas Operativos Modernos. Prentice-Hall Hispanoamericana.
Morera Pascual, J. M. y Pérez-Campanero, J. A. Teoría y diseño de los S.O. Anaya
Multimedia.
Aranda J.; Canto, Mª A. y Cruz de la J., D. S. Sistemas Operativos. Sanz y Torres, 1996.
39
Contenido
1. Introducción
Definición de S.O.; historia de los S.O.; estructuración, objetivos y funciones de
los S.O. ;ejemplos de sistemas: unix, D.O.S.
2. Planificación de la CPU
Introducción; procesos; planificación de la cpu; algoritmos de planificación;
evaluación de los algoritmos.
3. Concurrencia y sincronización de procesos
Introducción; secciones críticas; soluciones software a la sección crítica;
soluciones hardware a la sección crítica; semaforos (implementación, soluciones
a los problemas clásicos); regiones críticas y regiones críticas condicionales;
monitores
4. Interbloqueo
Caracterización; prevención; evitación; recuperación; método combinado.
5. Memoria
Introducción; intercambios (swapping); particiones multiples, tamaño fijo (mft);
particiones multiples, tamaño variable (mvt); paginación; segmentación;
sistemas mixtos; paginación segmentada; segmentación paginada.
6. Memoria virtual
Introducción; paginación bajo demanda; reemplazo de páginas; asignación de
marcos; thrashing (hiperpaginación); segmentación bajo demanda; conclusiones.
7. Sistemas de ficheros
Ficheros: tipos de sistemas; métodos de acceso; métodos de organización;
estructura de directorios; protección.
8. Gestión de entrada y salida
Introducción; controladores; control por software; control por interrupciones;
gestión de e/s; planificación de discos y tambores (introducción, necesidades de
planificación, caracterización de una buena planificación, optimización de
búsqueda, optimización rotacional).
40
Tecnología de la
Programación
ITIG
Cuatrimestral, Troncal, 7.5 Créditos
(4.5T + 3P)
Descriptores
- Análisis de algoritmos.
- Técnicas de verificación y pruebas de programas.
Profesores
Manuel Cabarcos Traseira
Pedro Cabalar Fernández
cabarcos@dc.fi.udc.es
cabalar@dc.fi.udc.es
Objetivos docentes
Especificación de programas, verificación formal de programas.
Bibliografía
Recomendada
D. Gries,The Science of Programming, Springer.
J.L. Balcázar, Programación metódica, McGraw-Hill.
Arnold, K.El lenguaje de programación Java. Ed. Addison-Wesley.
Naughton, P. Manual de Java. Ed. Osborne McGraw-Hill.
Complementaria
D. Arnow, G. Weiss. Introducción a la programación con Java. Ed. Addison-Wesley.
R. Peña Marí, Diseño de programas. Formalismo y abstracción, Prentice-Hall.
K. Arnold, J. Gosling, D. Holmes. El lenguaje de programación Java. Ed. AddisonWesley.
41
Contenido
1. Introducción.
1.1. Proposiciones.
1.2. Predicados.
1.3.Sustitución textual.
1.4. Notación para arrays.
2. Uso de aserciones para documentar programas.
2.1. Especificación de programas.
2.2. Representación de valores iniciales y finales de variables.
2.3. Esquemas de prueba.
3. Semántica de programas.
3.1. El transformador de predicados wp.
3.2. Las órdenes skip, abort y composición.
3.3. La orden asignación.
3.4. La estructura alternativa.
3.5. La estructura iterativa.
3.6. Llamada a procedimientos.
4. Desarrollo de programas.
4.1. La programación como una actividad orientada a objetivo.
4.2. Desarrollo de bucles a partir de invariantes y funciones cota.
4.3. Desarrollo de invariantes.
4.4. Funciones cota.
4.5. Uso de iteración en lugar de recursión
42
3º Ingeniería Técnica en Informática de Gestión
ITIG
Investigación Operativa Cuatrimestral, Obligatoria,6 Créditos (3T + 3P)
Descriptores
- Programación lineal.
- Métodos de la investigación operativa.
Profesores
Mario Francisco Fernández
mariofr@udc.es
mariofr@fi.pri
Objetivos docentes
El alumno debe saber plantear y resolver problemas de programación lineal, utilizando
principalmente los métodos del simplex, simplex revisado y simplex dual. Se resolverán
algunos casos concretos de programación lineal como son el problema del transporte y
asignación.
Bibliografía
Recomendada
Ravindran, A., Phillips, D. y Solberg, J. Operations Research. Principles and Practice.
Wiley, 1987.
Hillier, F. y Lieberman, G. Introducción a la Investigación de Operaciones. McGrawHill, 1991.
Taha. H. Investigación de Operaciones. Alfaomega, 1991.
Complementaria
Bazaraa, M. y Jarvis, J. Programación lineal y flujo en redes. Ed. Limusa de Mexico
Mora, J.L. Investigación de Operaciones e Informática. Ed. Trillas de México, 1980.
Chang, Y. y Sullivan, R. QSB+. Quantitative Systems for Business Aplications Plus.
Prentice Hall, 1990.
Schrage, L. Linear, Integer, and Quadratic Programming with LINDO. The Scientific
Press de Palo Alto, California, 1984.
43
Contenido
1. Introducción.
2. Modelos de programación lineal y aplicaciones.
Formulación de modelos de programación lineal. Ejemplos.
Solución gráfica de problemas de programación lineal con dos variables.
Problemas de programación lineal en forma estándar.
Sistemas de ecuaciones lineales.
3. El método del Simplex.
4. Problemas especiales de programación lineal.
Problemas de transporte.
Problemas de asignación.
5. El método revisado del Simplex.
6. Teoría de la dualidad.
7. El método dual del Simplex.
8. Análisis de sensibilidad y programación paramétrica.
9. Programación lineal entera.
10. Programación lineal multiobjetivo.
44
Principios de Análisis
Informático
ITIG
Cuatrimestral, Obligatoria,7.5 Créditos
(4.5T + 3P)
Descriptores
- Análisis y definición de requisitos.
- Análisis de aplicaciones de gestión
Profesores
José María García-Tizón
Iglesias
tizon@dc.fi.udc.es
tizon@fi.pri
Objetivos docentes
Explicar a los alumnos los principios básicos del Análisis y Diseño de aplicaciones
informáticas. Se incluye un recordatorio del desarrollo estructurado, aunque el curso se
fundamenta en el desarrollo orientado a objetos.
Bibliografía
Recomendada
Gane, C. y Sarson, T. Análisis Estructurado de Sistemas. Ed. Ateneo.
Fowler, M. UML Distilled, Applying the Standard Object Modeling Lenguage.
Addison-Wesley.
Hans-Erik Erikson y Penker, M. UML Toolkit. Wiley Computer Publishing
Booch, G.; Rumbaugh, J. y Jacobson, I. El lenguaje Unificado de Modelado. Addison
Wesley.
Fowler, M. Analysis Patterns, Reusable Objects Models.
Addison Wesley .
Complementaria
Gamma, E. et al. Design, Patterns: Elements of Reusable
Addison Wesley.
Object-Oriented.
45
Contenido
1.
2.
3.
4.
Software, Ingeniería y Reingeniería del Software.
Diferentes visiones del modelo de negocio.
Diferentes aproximaciones al desarrollo del Software.
Planteamientos tradicionales del Desarrollo del Software. (Enfoque
estructurado)
5. Introducción a la Orientación a Objetos.
6. Objetos del negocio.
7. Introducción a UML.
8. Modelo Estructural.
9. Modelo de Comportamiento.
10. Arquitectura del Sistema.
11. Patrones de Arquitectura.
12. Patrones de Análisis.
13. Introducción a los patrones de Diseño.
14. Antipatrones.
15. Metodologías para la Ingeniería y Reingeniería de Aplicaciones
46
Redes de
Comunicaciones
ITIG
Cuatrimestral, Obligatoria,6 Créditos (3T +
3P)
Descriptores
- Arquitectura de redes.
- Comunicaciones
Profesores
Angel Viña Castiñeiras
Fidel Cacheda Seijas
avc@udc.es
fidel@udc.es
esanvina@fi.pri
fcacheda@fi.pri
Objetivos docentes
Se pretende introducir al alumno los principales conceptos de redes de interconexión,
centrándose especialmente en la arquitectura de red definida por TCP/IP. El objetivo
final es familiarizar al alumno con los fundamentos teóricos que sustentan las
arquitecturas de red, ejemplarizado en el caso concreto de TCP/IP. La componente
teórica de la asignatura se completa con la formación práctica a nivel de programación
en red de diferentes aplicaciones, lo que ofrece al alumno una visión global de la
comunicación mediante redes.
Bibliografía
Recomendada
Stevens, W.R. TCP/IP Illustrated. Addison Wesley, 1995.
Comer, Douglas E. Internetworking with TCP/IP. Volume I; Principles, Protocols and
Architecture. 2 ed. Prentice-Hall International Editions. 1991.
Tanenbaum, A.S. Computer Networks. 3 ed., Prentice Hall, 1996.
Stallings, W. Data and Computer Communications. 5 ed., Prentice Hall, 1997.
Complementaria
Stevens, W. Richard. UNIX Network Programming. Prentice Hall Software Series.
1990.
Hunt, Craig. Networking Personal Computers with TCP/IP. O'Reilly & Associates, Inc.
1995.
47
Contenido
Los contenidos de la asignatura se centran inicialmente en conceptos genéricos para la
introducción de las arquitecturas de red. A continuación, el enfoque se orienta
específicamente hacia la pila de protocolos de TCP/IP, considerando los siguientes
apartados como más relevantes:
1. El protocolo IP, con una descripción de los conceptos básicos de enrutamiento
en IP y subnetting.
2. Los protocolos ARP y RARP, para conversión de direcciones del nivel de enlace
con direcciones del nivel de red.
3. ICMP y los protocolos básicos de descubrimiento de rutas: ping y traceroute.
4. Descripción detallada del enrutamiento en IP, describiendo las tablas de
enrutamiento y la resolución de errores, introduciendo conceptos de los
protocolos dinámicos de enrutamiento y sus efectos.
5. Introducción del protocolo de la capa de transporte no orientado a conexión
UDP, y sus aplicaciones y consideraciones para broadcast y multicast.
Definición de la problemática del multicast e introducción a IGMP.
6. Descripción de la resolución de nombres en TCP/IP con DNS.
7. Introducción de dos protocolos sencillos, como TFTP y BOOTP, y sus
principales casos de uso.
8. Descripción y profundización en el protocolo de la capa de transporte orientado
a conexión, TCP. Consideraciones sobre aperturas y cierres de conexión,
diagrama de estados. Gestión de TCP de los flujos de datos interactivos (ACKs
retardados y algoritmo de Nagle) y no interactivos (control de flujo y control de
congestión). Temporizador de persistencia y temporizador de keepalive.
El contenido teórico se complementa con diversas prácticas de manejo de sockets en C
en UNIX, para considerar la aplicación directa de los conceptos teóricos descritos más
relevantes.
48
ITIG
Sistemas Operativos II Cuatrimestral, Obligatoria,6 Créditos (3T + 3P)
Descriptores
- Sistemas de ficheros en sistemas operativos actuales.
- Planificación de entrada/salida.
- Sincronización de procesos y programación concurrente.
- Memoria virtual.
- Sistemas operativos distribuidos.
Profesores
José Santos Reyes
santos@udc.es
santos@fi.pri
Objetivos docentes
La signatura SO II es una continuación de la asignatura SOI, profundizando en los
detalles de implementación de sistemas operativos particulares. Se da además una
especial relevancia al tema de sistema de ficheros, y las interrelaciones de éste con el
resto de funcionalidades que muestran los sistemas operativos.
Bibliografía
Recomendada
Bach, M.J. The design of the Unix Operating System. Prentice Hall.
Tanenbaum, A. Modern Operating Systems. Prentice-Hall
Tischer, M. y Jennrich, B. PC Interno. Ed. Marcombo, 1996.
Complementaria
McKusick et al. Design and Implementation of the 4.4 BSD Operating System. Ed.
Addison Wesley
Márquez. UNIX Programación Avanzada. Ed. Ra-ma
49
Contenido
1. Introducción al s.o. UNIX: Breve historia. BSD y System V. Standards.
2. Sistema de ficheros de UNIX: Implementación. Estructura física. Inodos. Buffer
cache: estructura y funcionamiento. Asignación y desasignación de espacio.
Llamadas al sistema para el sistema de ficheros. Sistema de ficheros BSD.
Grupos de cilindros. Bloqueos de archivos La interfaz vnode.
3. Sistema de ficheros de MS-DOS/WINDOWS: Tablas de particiones. Particiones
primarias y extendida. Partes del sistema de ficheros: sector boot, FAT,
directorio raíz, área de datos. Descripción del medio: bloque de parámetros del
BIOS. Asignación del espacio de disco mediante clusters. Uso de la FAT.
Entradas de directorio. Directorio raíz y subdirectorios. Servicios BIOS y del SO
de acceso al disco.
4. Sistemas de Ficheros Distribuidos: Servicios de ficheros y directorios.
Nominación y transparencia. Semánticas para la compartición de ficheros.
Implementación de sistemas de ficheros distribuidos. Servicios con estado y
servicios sin estado. Caching y consistencia. Replicación de ficheros.
5. Procesos en UNIX: Modo, espacio y contexto. Estructura de un proceso.
Ejecución en modo Kernel: Llamada al sistema, excepción e interrupción.
Planificación. Señales. Creación y terminación de procesos. Comunicación entre
procesos.
6. Memoria en UNIX: Introducción. Regiones. Espacio de direcciones de los
procesos. Organización de la memoria física. Robo de páginas e intercambio
50
1º Ingeniería Técnica en Informática de Sistemas
Álgebra
ITIS
Cuatrimestral, Troncal, 7.5 Créditos (4.5T + 3P)
Descriptores
- Estructuras algebraicas
- Álgebra lineal
Profesores
M. Felicidad Aguado Martín aguado@dc.fi.udc.es
Gilberto Pérez Vega
gilberto@dc.fi.udc.es
Concepción Vidal Martín
eicovima@udc.es
aguado@fi.pri
gilberto@fi.pri
macovima@fi.pri
Objetivos docentes
Proporcionar de manera concreta y precisa, una variedad de conceptos, resultados,
técnicas y aplicaciones del álgebra que son particularmente útiles para los estudiantes de
informática. Asimismo, se pretende desarrollar unos hábitos de abstracción y rigor
necesarios para estos estudiantes, e incidir en la aplicación de las técnicas estudiadas.
Bibliografía
Recomendada
Grossman, S. I. Álgebra Lineal. 5ª ed. McGraw-Hill Interamericana de México, 1996.
Hernández, E. Álgebra y Geometría. 2ª ed. Addison-Wesley
Iberoamericana/Universidad Autónoma de Madrid, Wilmington, 1994.
Merino, L. y Santos, E. Álgebra Lineal con Métodos Elementales. Editado por los
autores, 1997.
Nakos, G. y Joyner, D. Álgebra lineal con aplicaciones. Thomson, 1999.
Complementaria
Cohen, A. M., Cuypers, H. y Sterk, H. Algebra Interactive!. Springer, 1999.
Fernández-Ferreirós, A. y Sein-Echaluce, M. L. Álgebra Lineal. Prácticas con
Mathematica. Prensas Universitarias de Zaragoza, 1995.
51
Contenido
ESTRUCTURAS ALGEBRAICAS
1. Estructuras algebraicas: Operaciones binarias. Propiedades. Relaciones de
congruencia y estructuras cocientes. Morfismos.
2. Grupos: Definición y propiedades. Subgrupos. Relaciones de congruencia,
grupos cocientes y subgrupos normales. Morfismos de grupos, propiedades.
Núcleo e imagen de un morfismo.
3. Anillos y Cuerpos: Definición y propiedades. Divisores de cero y unidades.
Subanillos. Relaciones de congruencia, anillos cocientes e ideales. Anillos
(Zm,+,.). Morfismos de anillos. Propiedades. Núcleo e imagen de un morfismo.
Definición de cuerpo. Condiciones equivalentes. Característica de un cuerpo.
Anillo de polinomios con coeficientes en un cuerpo.
ÁLGEBRA LINEAL
4. Sistemas de Ecuaciones Lineales y Matrices: Sistemas de ecuaciones lineales.
Equivalencia por operaciones elementales. Eliminación Gaussiana. Matrices.
Operaciones con matrices. Matriz inversible. Matriz de coeficientes de un
sistema, reducción de forma escalonada, soluciones. Cálculo de la matriz inversa
por operaciones elementales en las filas.
5. Determinantes: Determinante de una matriz cuadrada, propiedades. Métodos de
cálculo de un determinante. Determinante e inversa de una matriz. Regla de
Cramer.
6. Espacios Vectoriales: Definición y propiedades. Dependencia e independencia
lineal. Bases y coordenadas. Dimensión. Subespacios. Rango de un conjunto de
vectores y rango de una matriz. Cálculo del rango. Teorema de RouchéFrobenius.
7. Aplicaciones Lineales: Aplicaciones lineales, propiedades. Núcleo e imagen de
una aplicación lineal. Rango de un morfismo. El espacio vectorial de las
aplicaciones lineales. Anillo de endomorfismos. Matriz asociada a una
aplicación lineal. Cambio de base. Equivalencia y semejanza de matrices.
8. Introducción a la diagonalización de endomorfismos y matrices:
Autovalores y autovectores. Polinomio característico. Multiplicidad algebraica y
geométrica de un autovalor. Endomorfismos y matrices diagonalizables.
52
Cálculo
ITIS
Cuatrimestral, Troncal, 7.5 Créditos (4.5T + 3P)
Descriptores
- Análisis matemático.
- Cálculo diferencial e integral de una y dos variables.
- Series.
- Métodos numéricos.
Profesores
Luis Hervella Nieto
Teresa Iglesias Otero
Íñigo Arregui Álvarez
luisher@udc.es
totero@udc.es
arregui@udc.es
luisher@fi.pri
totero@fi.pri
arregui@fi.pri
Objetivos docentes
Comprender los fundamentos del Cálculo Infinitesimal: límite, continuidad, derivación
e integración en una variable. Extenderlos a funciones de varias variables. Introducir
nuevos conceptos: series y ecuaciones diferenciales con sus aplicaciones a la
modelización de problemas.
Bibliografía
Recomendada
García, A. et al. Cálculo I y Cálculo II. CLAGSA.
Smith, T., Minton. Cálculo. McGraw-Hill.
Valderrama. Métodos matemáticos aplicados a las Ciencias Experimentales. Pirámide.
Bradley, Smith. Cálculo de una variable y Cálculo de varias variables. Prentice Hall.
Amillo, J. et al. Cálculo. McGraw-Hill.
Complementaria
Larson, Hostetler, Edwards. Cálculo y Geometría Analítica. McGraw-Hill.
Mardsen, Tromba. Cálculo vectorial. Addison-Wesley.
Waner, Costenoble. Cálculo Aplicado. Thomson Learning.
53
Contenido
1. Nociones básicas.
o Conjuntos numéricos. Propiedades.
o Límite de una función en un punto.
o Funciones continuas. Teorema de Bolzano.
o Funciones derivables. Regla de la cadena. Regla de L'Hôpital.
Derivación implícita. Aplicaciones.
o Fórmula de Taylor.
o Integral de Riemann. Propiedades. Primitiva de una función.
Aplicaciones de la integral.
2. Ecuaciones diferenciales.
o Introducción a las ecuaciones diferenciales. Conceptos básicos.
o Ecuaciones diferenciales de primer orden. Tipos. Existencia.
o Ecuaciones diferenciales de orden n con coeficientes constantes. Método
de coeficientes indeterminados.
3. Funciones de dos variables.
o Función escalar y vectorial. Curvas y superficies de nivel.
o Límite de una función escalar. Continuidad.
o Derivadas parciales y direccionales. Gradiente. Propiedades.
o Matriz jacobiana. Regla de la cadena. Derivadas de orden superior.
o Extremos relativos. Extremos condicionados: multiplicadores de
Lagrange.
4. Series numéricas y funcionales.
o Sucesión de números. Serie de números. Operaciones.
o Convergencia de una serie. Propiedades.
o Criterios de convergencia. Series geométricas.
o Series alternadas. Criterio de Leibnitz.
o Series de potencias.
5. Cálculo con Maple
o Conceptos generales. Cálculo diferencial e integral.
o Ecuaciones diferenciales.
54
Estructura de Datos y de la
Información
ITIS
Cuatrimestral, Troncal, 6 Créditos
(4.5T + 1.5P)
Descriptores
- Tipos de datos abstractos.
- Estructura de datos y algoritmos de manipulación.
Profesores
Oscar García Trinidad
Miguel Rodríguez Penabad
oscar@dc.fi.udc.es
penabad@dc.fi.udc.es
oscar@fi.pri
penabad@fi.pri
Objetivos docentes
Que el alumno entienda la importancia de los tipos abstractos de datos en el diseño del
software y se familiarice con las principales estructuras de datos, sus características,
aplicaciones y algoritmos asociados.
Bibliografía
Recomendada
Luis Joyanes Aguilar; Ignacio Zahonero Martínez. Estructura de datos: algoritmos,
abstracción y objetos. McGraw-Hill. Madrid, 1998.
Dale y Lilly. Pascal y estructuras de datos. Ed. McGraw Hill, 1989.
Wirth, Niklaus. Algoritmos + estructuras de datos = programas. Ed. Castillo Madrid,
1980 (reimp. 1999)
Complementaria
A.V. Aho y J. Hopcraft. Estructuras de datos y algoritmos. Ed. Addison Wesley, 1983.
S. Lipschutz. Estructuras de Datos. Ed. McGraw Hill, 1987.
M. Azmoodeh. Abstract Data Types and Algorithms. Ed. McMillan. Education LTD,
1988.
55
Contenido
1. Tipos abstractos de datos
o Evolución de los lenguajes de programación.
o Definición de tipos abstractos de datos.
o Estructuras de datos dinámicas.
2. Listas enlazadas
o Especificación formal del TAD lista enlazada.
o Listas doblemente enlazadas.
o Listar ordenadas.
o Listas circulares.
o Listas con cabecera.
3. Pilas
o Especificación formal del TAD pila.
o Pilas y paso de parámetros.
o Pilas y expresiones aritméticas.
4. Colas
o Especificación formal del TAD cola.
o Colas con listas circulares.
o Bicolas.
o Colas de prioridades.
5. Recursividad
o Definición de recursividad.
o Eliminación de la recursividad.
o Algoritmos divide y vencerás.
o Algoritmos de ordenación recursivos.
o Algoritmos de vuelta atrás.
6. Árboles
o Defición de árbol y terminología.
o Árboles binarios.
o Árboles de expresión.
o Recorridos de árboles y evaluación de expresiones.
o Árboles binarios de búsqueda.
7. Árboles AVL y árboles B
o Árboles AVL.
o Montículos (ordenación heapsort).
o Árboles B.
o Árboles en memoria externa.
8. Otras estructuras.
o Tablas Hash.
o Grafos.
56
ITIS
Estadística I
Cuatrimestrall, Troncal, 7.5 Créditos (4.5T + 3P)
Descriptores
- Estadística descriptiva.
- Probabilidades.
- Inferencia estadística.
Profesores
Germán Aneiros Pérez
ganeiros@udc.es
Mª Luisa Carpente Rodríguez luisacar@udc.es
Alejandro Quintela del Río
Objetivos docentes
Se pretende dotar al alumno de herramientas y conocimientos estadísticos básicos
encaminados al análisis de datos, tanto desde un punto de vista descriptivo como
inferencial. Una herramienta fundamental será la proporcionada por la Probabilidad.
Además se pretende introducir al alumno en el manejo de un paquete estadístico.
Bibliografía
Recomendada
Cao, R. et al. Introducción a la Estadística y sus aplicaciones. Pirámide, 2001.
Devore, J.L. Probabilidad y Estadística para Ingeniería y Ciencias. Thomson-Learning,
2001.
Montgomery, D.C. y Runger, G. Probabilidad y Estadística aplicadas a la Ingeniería.
McGraw Hill, 1996.
Complementaria
Canavos, G.C. Probabilidad y Estadística: Aplicaciones y Métodos. McGraw Hill,
1989.
De la Horra, J. Estadística Aplicada. Díaz de Santos, 1995.
Peña, D. Estadística. Modelos y Métodos I: Fundamentos. Alianza Universidad, 1991.
57
Contenido
Primera Parte: Estadística Descriptiva.
1. Descripción estadística de una variable.
2. Descripción estadística conjunta de varias variables.
Segunda Parte: Probabilidad.
3. Fundamentos de la Teoría de la Probabilidad.
4. Variables aleatorias unidimensionales.
Tercera Parte: Inferencia Estadística.
5.
6.
7.
8.
Introducción a la Inferencia Estadística.
Estimación puntual.
Estimación por intervalos de confianza.
Contraste de hipótesis.
58
Física de las máquinas
computacionales
ITIS
Cuatrimestral, Troncal, 7.5 Créditos
(4.5T + 3P)
Descriptores
-
Electromagnetismo
Estado sólido
Circuitos
Profesores
José Juan Lamas Seco
Manuel Paradela López
Adriana Dapena Janeiro
Luis Castedo Ribas
lamas@udc.es
paradela@udc.es
adriana@udc.es
luis@udc.es
lamas@fi.pri
adriana@fi.pri
luis@fi.pri
Objetivos docentes
Que el alumno adquiera conocimientos básicos de electromagnetismo y teoría de
circuitos.
Bibliografía
Recomendada
Gettys, W.E., Keller, F.J. y Skove, M.J. Física clásica y moderna. McGraw Hill.
Serrano, V., García, G. y Gutiérrez, C. Electricidad y magnetismo. Estrategias para la
resolución de problemas y aplicaciones. Pearson Educación.
Scott, D.E. Introducción al análisis de circuitos. Un enfoque sistémico. McGraw Hill.
Complementaria
Tipler, P.A. Física. Volumen 2. Reverté.
Serway, R.A. Física. Volumen 2. McGraw Hill.
Spiegel, M.R. Análisis vectorial. Schaum. McGraw Hill.
Edminister, J.A. Circuitos eléctricos. Schaum. McGraw Hill.
López, V. y Montoya, M. Física para la Informática. C.E. Ramón Areces.
59
Contenido
Capitulo I. Conceptos de física vectorial
1. Análisis vectorial.
Capítulo II. Electrostática. Campo eléctrico.
2.
3.
4.
5.
Campo eléctrico.
Ley de Gauss.
El potencial eléctrico.
Capacidad y energía eléctrica.
Capítulo III. Electrocinética. Corriente eléctrica.
6. Corriente y resistencia eléctricas. Circuitos eléctricos.
Capítulo IV. Campo magnético. Inducción.
7. Campo magnético.
8. Fuentes de campo magnético.
9. Inducción electromagnética y energía.
Capítulo V. Sistemas.
10. Régimen transitorio en sistemas lineales.
11. Régimen sinusoidal permanente.
12. Comportamiento en frecuencia.
13. Series de Fourier.
Capítulo VI. Física de los semiconductores.
14. Física cuántica.
15. Electrones en sólidos.
60
Matemática Discreta
ITIS
Cuatrimestral, Troncal, 7.5 Créditos (4.5T + 3P)
Descriptores
- Lógica
- Combinatoria
- Funciones generatrices
- Grafos y Árboles
Profesores
Felicidad Aguado Martín
Gilberto Pérez Vega
Concepción Vidal Martín
aguado@dc.fi.udc.es
gilberto@dc.fi.udc.es
eicovima@udc.es
aguado@fi.pri
gilberto@fi.pri
macovima@fi.pri
Objetivos docentes
Proporcionar de manera concreta y precisa, una variedad de conceptos, resultados,
técnicas y aplicaciones de la matemática discreta que son particularmente útiles para los
estudiantes de informática. Asimismo, se pretende desarrollar unos hábitos de
abstracción y rigor necesarios para estos estudiantes, e incidir en la aplicación de las
técnicas estudiadas.
Bibliografía
Recomendada
Biggs, N.L. Matemática Discreta.Vicens Vives,1994.
Bujalance, E. Elementos de Matemáticas Discretas. Sanz y Torres, 1993.
Bujalance, E. Problemas de Matemáticas Discretas. Sanz y Torres, 1993.
García, C.; López, J. Mª. y Puigjaner. D. Matemática Discreta. Problemas y ejercicios
resueltos. Prentice Hall. 2002.
Grimaldi, R.P. Matemáticas discreta y combinatoria. Addison-Wesley Iberoamericana,
1997.
Scheinerman, E (2001). Matemáticas Discretas. Thomson.
Complementaria
Torrecilla Jover, B. Fermat El mago de los números. Nivola, 1999
61
Contenido
1. Introducción a la Lógica. Proposiciones. Operaciones lógicas. Tablas de verdad
y tablas semánticas. Cuantificadores. Implicaciones y teoremas.
Demostraciones.
2. Conjuntos y aplicaciones. Noción intuitiva de conjunto, subconjuntos y
complementario, unión e intersección de conjuntos, producto cartesiano.
Definición de aplicación, tipos de aplicaciones, composición de aplicaciones,
inversa de una aplicación.
3. Relaciones y grafos. Relaciones binarias, relaciones de equivalencia, conjunto
cociente. Relaciones de orden, conjuntos ordenados, elementos especiales de un
conjunto ordenado y diagrama de Hasse. Conceptos básicos y terminología de
grafos. Conexión de grafos. Grafos eulerianos y hamiltonianos. Grafos planos.
Árboles. Grafos dirigidos.
4. Teoría elemental de números. Principio de Inducción.Divisibilidad en Z.
Allgoritmo de Euclides. Números primos. Teorema fundamental de la
aritmética. Ecuaciones Diofánticas. Congruencias: teorema chino de los restos,
criterios de divisibilidad, sistemas de numeración. Introducción a la
criptografía.
5. Combinatoria y recurrencia. Principio de inclusión exclusión. Permutaciones
con y sin repetición. Combinaciones con y sin repetición. Fórmulas
combinatorias, teorema binomial. Sucesiones definidas por recurrencia.
Relaciones de recurrencia lineales homogéneas con coeficientes constantes.
Relaciones de recurrencia no lineales. Funciones definidas de forma recursiva.
62
Programación
ITIS
Cuatrimestral, Troncal, 7.5 Créditos (4.5T + 3P)
Descriptores
- Diseño de algoritmos.
- Lenguajes de programación.
- Diseño de programas: descomposición modular y documentación.
- Algoritmos de ordenación y búsqueda (ventajas e inconvenientes).
- Recursividad.
- Estructuras dinámicas.
Profesores
Esteban García Martín
Alfonso Ruipérez Puente
Juan José Romero Cardalda
Joaquín Hernández Almaraz
Nieves Pedreira Souto
esteban@udc.es
arpc@udc.es>
jj@udc.es
joaquin@udc.es
nieves@udc.es
Objetivos docentes
Bibliografía
Recomendada
Dale, N y Weems, C. Pascal. McGraw Hill.
Lesstma, S y Nyhoff, L. Programación en Pascal. Prentice Hall.
Complementaria
Alcalde E. Metodología de la programación. McGraw Hill
Alonso Amo F. Técnicas de programación. Paraninfo 1988.
Anasagasti. Fundamentos de Computadores. Paraninfo
Arnow D. Introducción a la programación con java. Pearson educación. (A. W)
Fernandez, F. y Sáez Vacas, F. Fundamentos de Informática. Anaya Franch, G.X.
Joyanes, L. Fundamentos de Programación. McGraw Hill
Stroustrup, B. El lenguaje de Programación C++. Pearson educación. (A. W.)
Wirth, N. Algoritmos + estructuras de datos = programas. Ediciones del castillo.
63
Contenido
ALGORITMOS, PROGRAMAS Y LENGUAJES
-
Descripción de un computador
Algoritmos
Programas
Lenguajes de programación
Traductores
PASCAL ESTÁNDAR: INTRODUCCIÓN
-
Introducción
Objetos de programa: introducción
Estructura de un programa en Pascal Estándar
Variable: Declaración e inicialización
Salida - Entrada
Tipos de datos: Concepto
Operadores
Sentencias de control
MODULACIÓN Y ESTRUCTURACIÓN
-
Tipos de programación: clasica, modular y estructurada
Procedimientos
Variables globales y locales: Alcance
Efectos laterales
Declaración FORWARD
La directiva {$I Archivo}: bibliotecas
Funciones
Compilación separada de archivos fuente
ARRAYS, REGISTROS Y CONJUNTOS
-
Presentación
Estructuras estáticas
Arrays
Registros
Conjuntos
CLASIFICACIÓN Y BÚSQUEDA
-
Introducción al concepto de Complejidad de un algoritmo
Búsqueda
Ordenación o Clasificación
FICHEROS
-
Concepto de archivo
Tipos de archivos: secuenciales y directos
64
-
Organización de archivos: concepto y tipos
Métodos de acceso
Operaciones sobre archivos
Búsqueda de ficheros: Secuencial, binaria, dispersión
Ordenación
Construcción de índices
EL TIPO PUNTERO
-
Concepto de puntero
Operaciones con punteros
Compatibilidad de tipos puntero
Punteros y procedimientos
El valor nulo de un puntero
La recolección de basura
METODOLOGÍA DE LA PROGRAMACIÓN
-
Introducción
Personajes
El cliclo de vida del software
Errores: tipos
Documentación
Perspectiva General
ENTORNO DE TRABAJO:
Se va a trabajar con el PASCAL ESTANDAR AMPLIADO, norma ISO 10206, en un
entorno GNU Pascal aplicable tanto a entornos 'WINDOWS' como a entornos 'UNIX LINUX'
65
Tecnología de
Computadores
ITIS
Cuatrimestral, Troncal, 9 Créditos (4.5T +
4.5P)
Descriptores
- Sistemas digitales.
- Unidades funcionales: memoria, procesador, perifericos, lenguajes máquina y
ensamblador, esquema de funcionamiento.
Profesores
María José Martín Santamaría
Xoán Carlos Pardo Martinez
Jesús Salceda Sánchez
José Rodrigo Sanjurjo Amado
Basilio Fraguela
mariam@udc.es
pardo@des.fi.udc.es
jsalceda@des.fi.udc.es
josesan@udc.es
basilio@udc.es
mariam@fi.pri
juanca@fi.pri
josesan@fi.pri
Objetivos docentes
Estudio de los sistemas digitales desde un punto de vista funcional y como elemento de
circuito.
Bibliografía
Recomendada
Floyd, T.L. Fundamentos de Sistemas Digitales. Prentice Hall, 2000.
Hayes, J. Introducción al Diseño lógico digital. Addison-Wesley Iberoamericana, 1996.
Baena, C. et al. Problemas de Circuitos Digitales. McGraw-Hill, 1997.
Angulo Usategui, J.M. y García Zubía, J. Sistemas Digitales y tecnología de
computadoras, Paraninfo, 2002.
Complementaria
Ercegovac, M.D. ; Lang, T. ; Moreno, J.H. Introduction to Digital Systems. John Wiley
& Sons, 1999
Fletcher, W. An engineering approach to digital design. Prentice Hall, 1908.
Hill, F.; Peterson,G. Teoría de conmutación y diseño lógico. Limusa, 1980.
Mira Mira, J. Electrónica Digital. Sanz y Torres, 1993
Lloris Ruiz, A. ; Prieto Espinosa, A. Diseño Lógico. McGraw-Hill, 1996.
Morris Mano, I. Diseño Digital. Prentice Hall, 1987.
66
Contenido
Sistemas Digitales Combinacionales
1.
2.
3.
4.
Introducción a la tecnología de computadores
Representación y tratamiento de los sistemas digitales
Funciones aritméticas y lógicas
Funciones de rutas de datos
Sistemas Digitales Secuenciales
5. Biestables
6. Introducción a la teoría de autómatas
7. Contadores y registros
8. Circuitos de tiempo
9. Memorias
10. Lógica programable
Descripción Algorítmica de Sistemas Secuenciales
11. Especificación algorítmica de sistemas secuenciales
67
Tecnología
Electrónica
ITIS
Cuatrimestral, Obligatoria, 7.5 Créditos (4.5T +
3P)
Descriptores
- Electrónica.
- Periféricos
Profesores
Manuel Paradela López
José Juan Lamas Seco
Joaquín Míguez Arenas
Daniel Ismael Iglesia Iglesias
Patricia González Gómez
paradela@udc,es
lamas@udc.es
miguez@udc.es
daniel@udc.es
patricia@udc.es
lamas@fi.pri
daniel@fi.pri
patricia@fi.pri
Objetivos docentes
Conocimientos básicos de semiconductores. Características y aplicaciones prácticas de
dispositivos de estado sólido, y de circuitos integrados analógicos y digitales.
Bibliografía
Recomendada
Jacob Millman. Microelectrónica. Circuitos y sistemas analógicos y digitales. Hispano
Europea.
Norbert R. Malik. Circuitos electrónicos. Análisis, simulación y diseño. Prentice Hall.
Allan R. Hambley. Electrónica.Pearson Educación.
Circuitos electrónicos. Volúmenes 1, 2, 3, 4. ETS de Ingenieros de Telecomunicación
de Madrid.
Complementaria
Donald L; Schilling-Charles Belove. Circuitos electrónicos. Discretos e integrados.
McGraw Hill.
A. P. Malvino. Principios de electrónica. McGraw Hill.
Robert L. Boylestad; Louis Nashelsky. Electrónica: Teoría de circuitos. Prentice Hall
Hispanoamericana.
Jasprit Singh. Dispositivos Semiconductores. McGraw Hill.
Mark N. Horenstein. Microelectrónica. Circuitos y Dispositivos. Prentice Hall.
Savant; Roden; Carpenter. Diseño Electrónico. Circuitos y Sistemas. Addison-Wesley
Iberoamericana.
68
Contenido
Teoría
1. Introducción
o Introducción
2. Dispositivos semiconductores
o Semiconductores
o Diodo de unión p-n
o Circuitos con diodos
o El transistor bipolar
o Transistores unipolares
3. Circuitos digitales
o Circuitos de conmutación
o Familias lógicas
o Amplificadores
o El amplificador operacional
4. Convertidores de datos
o Convertidores A/D y D/A
5. Fuentes de alimentación
o Fuentes de alimentación continua
o Sistemas de alimentación ininterrumpida (SAI)
Prácticas laboratorio
1. Manejo de la instrumentación del laboratorio: Polímetro, Fuente de alimentación
y Generador de Funciones.
2. Manejo de la instrumentación del laboratorio: El Osciloscopio.
3. Obtención de curvas características de diodos.
4. Circuitos rectificadores.
5. El transistor en conmutación.
6. El amplificador operacional: Amplificador inversor y no inversor.
7. El amplificador operacional: Comparadores.
8. Conversión A/D.
9. Sistema de adquisición de datos.
10. Fuente de alimentación regulada lineal.
69
2º Ingeniería Técnica en Informática de Sistemas
Bases de Datos I
ITIS
Cuatrimestral, Troncal, 7.5Créditos (4.5T + 3P)
Descriptores
- Estructura de la información: ficheros, bases de datos.
Profesores
José Ramón Paramá Gabía
parama@dc.fi.udc.es
parama@fi.pri
Objetivos docentes
Familiarizarse con los diferentes algoritmos de manejo de ficheros. Entender los
fundamentos del modelo de bases de datos relacional. Desarrollar habilidades para el
diseño conceptual y lógico de bases de datos. Conocer a la perfección el lenguaje SQL.
Entender el funcionamiento de un sistema de gestión de bases de datos relacional.
Bibliografía
Recomendada
Silberschatz, A., Korth, H.F. y Sudarshan. Fundamentos de Bases de Datos. Mc Graw
Hill.
Connolly y Begg. Database Systems. Addison Wesley.
Elamasri y Navathe. Sistemas de Bases de Datos. Addison Wesley.
Castaño, A.M. y Velthuis, M.P. Fundamentos y modelos de bases de datos. Ra-ma.
Complementaria
Date. Introducción a los sistemas de Bases de Datos. Prentice Hall.
Rivero, F. et al. Introducción al SQL para usuarios y programadores. 2ª Edición,
Thomson.
Contenido
1.
2.
3.
4.
5.
6.
Revisión de los sistemas de ficheros.
Introducción a las Bases de Datos.
Modelado Conceptual: el modelo E-R.
El modelo Relacional.
Diseño lógico de Bases de Datos Relacionales.
Otras características de los SGBD relacionales.
70
Computación
Numérica
ITIS
Cuatrimestral, Obligatoria,7.5 Créditos (4.5T +
3P)
Descriptores
- Algoritmos numéricos
- Métodos finitos
- FORTRAN
Profesores
Iñigo Arregui Alvarez
María González Taboada
arregui@udc.es
mgtaboad@udc.es
arregui@fi.pri
mgtaboad@fi.pri
Objetivos docentes
Comprender, deducir y programar los métodos numéricos básicos para la aproximación
de la solución de algunos problemas matemáticos. Estudiar y comparar la convergencia
de los distintos algoritmos. Saber seleccionar los métodos más adecuados para cada tipo
de problema.
Bibliografía
Recomendada
Burden, R.L. y Faires, J.D. Análisis Numérico. ITP,1998.
Conde, C. y Winter, G. Métodos y Algoritmos básicos del Algebra Numérica. Reverté,
1990.
Gerald, C.F. y Wheatley, P.O. Applied Numerical Analysis. Addison-Wesley, 1990.
Kincaid, D. y Cheney, W. Análisis Numérico: las matemáticas del cálculo científico.
Addison-Wesley, 1994.
Viaño, J.M. Lecciones de Métodos Numéricos 2. Resolución de ecuaciones numéricas.
Tórculo, 1997.
Complementaria
Mathews, J.H y Fink, K.D. Métodos Numéricos en Matlab. Prentice-Hall, 2000.
Viaño, J.M. y Burguera, M. Lecciones de Métodos Numéricos 3. Interpolación.
Tórculo, 2000.
Ciarlet, P. Introducción á Análise Numérica Matricial e á Optimización. Seminario de
Publicacións da Universidade de Santiago, 1999.
Golub, G.H. y Van Loan, C.F. Matrix Computations. The Johns Hopkins U. P., 1996.
Infante, J.A. y Rey, J.M. Métodos Numéricos Teoría, problemas y prácticas con
Matlab. Pirámide, 1999.
71
Contenido
1. Resolución de ecuaciones en una variable.
- Separación de raíces.
- Métodos de dicotomía, regula falsi, iteración funcional, Newton.
- Convergencia, orden y aceleración.
2. Interpolación numérica.
- Problemas de Lagrange y Hermite.
- Diferencias divididas.
- Error de interpolación.
- Interpolación por splines.
3. Derivación numérica.
- El problema de derivación numérica.
- Fórmulas de tipo interpolatorio polinómico.
- Error.
- Aproximación de derivadas de orden superior.
4. Integración numérica.
- Fórmulas de tipo interpolatorio polinómico, fórmulas de Newton-Cotes.
- Error.
- Propiedades.
- Fórmulas compuestas de integración.
5. Resolución numérica de ecuaciones diferenciales ordinarias.
- Métodos de un paso.
- Métodos multipaso.
- Métodos predictor-corrector.
6. Resolución numérica de sistemas lineales de ecuaciones.
- Condicionamiento.
- Métodos directos (Gauss, factorizaciones LU, Cholesky y QR).
- Métodos iterativos clásicos (Jacobi, Gauss-Seidel, relajación).
- Resolución de sistemas no lineales.
7. Programación de métodos numéricos en Fortran90.
72
Estructura de
Computadores I
ITIS
Cuatrimestral, Obligatoria, 7.5 Créditos
(6T + 1.5P)
Descriptores
-
Unidades funcionales.
Memoria, procesador, periferia, lenguajes máquina y ensamblador,
esquema de funcionamiento
Aritmética de computadores.
Profesores
Margarita Amor López
Patricia González Gómez
margaaml@udc.es
margamor@fi.pri
patricia@fi.pri
Objetivos docentes
El objetivo de esta asignatura es el estudio de la arquitectura, organización, función y
diseño del subsistema procesador de un computador.
Bibliografía
Recomendada
Patterson, D.A. y Hennessy, J.L. Estructura y diseño de computadores: interficie
circuteria/programación. Editorial Reverté, 2000.
Hennesy, J.L. y Patterson, D.A. Computer Architecture. A Quantitative Approach, 3ª
ed. Morgan Kaufmann Publishers, 2003.
Stallings, W. Organización y Arquitectura de Computadores. Prentice-Hall, 2000.
Complementaria
Tanenbaum, A S. Organización de computadores. Un enfoque estructurado, 4ª ed.
Prentice-Hall, 2000.
Hayes, J.P. Computer Architecture and Organization, 3ª ed. McGraw-Hill, 1996.
Sima, D., Fountain, T. y Kacsuk, P. Advanced computer architecture. A design space
approach. Addison-Wesley, 1997.
73
Contenido
1. Introducción a los computadores
o Introducción
o Perspectiva histórica
o Rendimiento
2. El repertorio de instrucciones
o Introducción
o Representación de las instrucciones
o Diseño del repertorio de instrucciones
o Operaciones del repertorio de instrucciones
o Repertorio de instrucciones del MIPS
o Casos reales: PowerPC y Pentium
o Jerarquía de traduciones
3. Formatos de datos y aritmética de los computadores
o Introducción
o Representación de enteros. Aritmética entera
o Números en punto flotante. Aritmética en punto flotante
o El punto flotante en el MIPS
o Precisión aritmética
4. El procesador: camino de datos y unidad de control
o Estructura básica de un procesador. El ciclo de instrucción
o El camino de datos
o Técnicas de control
o Interrupciones y excepciones
5. Introducción a los procesadores segmentados
o Diseño básico de un procesador segmentado
o Riesgos en la segmentación
o Tratamiento de operaciones multiciclo
o Tratamiento de las excepciones
6. Segmentación avanzada
o Planificación de instrucciones
o Procesamiento de instrucciones de salto
o Introducción a los procesadores con emisión múltiple de instrucciones:
superescalares y VLIW.
PRÁCTICAS:
Parte I: XSPIM
Parte II: DLX
74
ITIS
Cuatrimestral, Obligatoria,7.5 Créditos
(4.5T + 3P)
Metodología de la
Programación
Descriptores
- Diseño de programas
- Métodos y técnicas de programación
- Plan y estrategias de pruebas
Profesores
Javier Andrade Garda
Juan Ares Casal
Esteban García Martín
Rafael García Vázquez
Santiago Rodríguez Yáñez
jag@udc.es
juanar@udc.es
esteban@udc.es
rafael@udc.es
santi@udc.es
andrade@fi.pri
esteban@fi.pri
rafael@fi.pri
santiago@fi.pri
Objetivos docentes
El objetivo de la asignatura es familiarizar al alumno con diferentes paradigmas de
programación, haciendo especial hincapié en la importancia de la documentación y las
pruebas en el conjunto del producto software.
Bibliografía
Recomendada
Roger S. Pressman. Ingeniería del Software. Un enfoque práctico. 5ª ed. McGraw Hill,
1997.
Sommerville, I. Software Engineering. 6ª ed. Addison-Wesley, 1996.
Standard Program Documentation. Documento de la Wichita State University
J. Myers, G. The art of Software Testing. John Wiley & Sons, Inc., 1979
Arnow, D.M. y Weiss, G. Introducción a la programación con JAVA. Un enfoque
orientado a objetos. Addison-Wesley, 2000.
Complementaria
López-Cortijo y de Amescua, A.. Ingeniería del Software. Aspectos de Gestión. IIIS.
1998. [en línea]. IIIS. [Consulta Diciembre 2002]. Disponible en Internet en
<http://www.iiis.es>.
Niemeyer, P. y Knudsen, J. Curso de JAVA. Anaya Multimedia, 2000
Braude, E.J. Software Engineering. An object-Oriented Perspective. John Wiley &
Sons, Inc., 2001.
Booch, G.; Rumbaugh, J. y Jacobson, I. El Lenguaje Unificado de Modelado. Addison
75
Wesley Iberoamericana, 1999.
Contenido
TEORÍA:
1.
2.
3.
4.
5.
6.
Introducción a la ingeniería del software.
Configuración de un producto software.
Características del diseño modular.
Programación estructurada.
Programación orientada a objetos.
Pruebas de unidad e integración.
PRÁCTICA:
1. Programación orientada a objetos empleando el lenguaje JAVA.
2. Pruebas de unidad y de funcionalidad
76
Sistemas Conexionistas
ITIS
Cuatrimestral, Troncal, 4.5 Créditos (3T + 1.5P)
Descriptores
-
Fundamentos biológicos.
Representación del conocimiento.
Aprendizaje.
Modelos.
Profesores
Manuel González Penedo
cipenedo@udc.es cipenedo@fi.pri
Objetivos docentes
Bibliografía
Recomendada
No disponible
Complementaria
No disponible
77
Contenido
1. Conceptos Básicos
1.1. Introducción
1.2. Elemento General de Procesamiento
1.3. Arquitecturas
2. Aprendizaje y Entrenamiento
2.1. Aprendizaje Automático
2.2. Tipos y Modos de Aprendizaje. Aprendizaje Supervisado. Aprendizaje Sin
Supervisado
3. Adaline y Perceptron
3.1. Adaline. Cálculo de Pesos: Regla Delta. Aplicaciones
3.2. Perceptron
4. Perceptron Multicapa
4.1. Estructura y Aprendizaje
4.2. Consideraciones Prácticas. Funciones de Transferencia. Control de Convergencia
4.3. Incremento de la Velocidad de Aprendizaje
4.4. Aplicaciones
5. Redes Autoorganizativas
5.1. Introducció
5.2. Regla de Hebb
5.3. Estructuras Competitivas. Características
5.4. Mapas Topológicos Autoorganizativos (SOM). Mecanismos que favorecen la
autoorganización. Consideraciones al trabajar con los SOM. Propiedades de los SOMs.
Ejemplos de Actuación de los SOMs. Clasificador de Mapa de Características. LVQ
5.5. Crecimiento de Redes. Crecimiento de Estructuras de Células. Gas Neuronal
Creciente
6. Redes Autoorganizativas II
6.1. Red de Contrapropagación. Entrenamiento de la CNP
6.2. Teoría de la Resonancia Adaptiva. ART1. ART2
7.Red de Hopfield
7.1. Función de Energía
78
Sistemas Operativos I
ITIS
Cuatrimestral, Troncal,7.5 Créditos (4.5T + 3P)
Descriptores
- Organización, estructura y servicios de los sistemas operativos.
- Gestión y administración de memoria y de procesos.
- Gestión de entrada y salida.
- Sistemas de ficheros.
Profesores
José Santos Reyes
santos@udc.es
santos@fi.pri
Objetivos docentes
Se estudia una visión global de todas las funcionalidades que debe presentar cualquier
sistema operativo, centrándose en la gestión de todos los recursos en un sistema con
multiprogramación.
Bibliografía
Recomendada
Silberschatz A. y Baer P. Sistemas Operativos. Addison Wesley, 1999
Stallings, W. Sistemas Operativos. Prentice Hall, 2001.
Carretero Perez, J. Sistemas Operativos, una visión aplicada. Mc Graw Hill, 2001.
Complementaria
Stallings, W. Operating Systems. Prentice-Hal.
79
Contenido
1. Introducción a los sistemas operativos.
o Breve historia
o Servicios de los sistemas operativos
o Protección
o Disponibilidad de los servicios de los S.O.
2. Multiprogramación.
o Procesos
o Planificación de la CPU
o Algoritmos de planificación
3. Concurrencia
o Sección crítica
o Soluciones hardware y software al problema de la sección crítica
o Semáforos: implementación, soluciones a los problemas clásicos
o Regiones críticas y regiones críticas condicionales
o Monitores
4. Entrada/salida
o Hardware y software de e/s
o Estructura en capas
o Planificación de discos
5. Sistemas de ficheros
o Tipos de sistemas
o Métodos de acceso
o Métodos de asignación
o Estructura en directorios
6. Interbloqueo
o Caracterización
o Prevención.
o Evitación
o Recuperación
o Método Combinado
7. Memoria
o Intercambios
o Paginación
o Segmentación
o Sistemas mixtos
8. Memoria virtual
o Paginación bajo demanda
o Reemplazo de páginas
o Asignación de marcos
o Hiperpaginación
o Segmentación bajo demanda
80
Tecnología de la
Programación
ITIS
Cuatrimestral, Troncal, 7.5 Créditos
(4.5T + 3P)
Descriptores
- Análisis de algoritmos.
- Técnicas de verificación y pruebas de programas.
Profesores
Manuel Cabarcos Traseira
Pedro Cabalar Fernández
cabarcos@dc.fi.udc.es
cabalar@dc.fi.udc.es
Objetivos docentes
-
Análisis de algoritmos.
-
Técnicas de verificación y pruebas de programas.
Bibliografía
Recomendada
D. Gries,The Science of Programming, Springer.
J.L. Balcázar, Programación metódica, McGraw-Hill.
Arnold, K.El lenguaje de programación Java. Ed. Addison-Wesley.
Naughton, P. Manual de Java. Ed. Osborne McGraw-Hill.
Complementaria
Peña Marí, R. Diseño de programas. Formalismo y abstracción. Prentice-Hall.
Arnold, K.; Gosling, J.; Holmes, D. El lenguaje de programación Java. Ed. AddisonWesley.
81
Contenido
1. Introducción.
o Proposiciones.
- Evaluación de proposiciones.
- Proposiciones como conjuntos de estados.
- Leyes de equivalencia.
o Predicados.
- Extensión del rango de estado.
- Cuantificadores.
- Identificadores libres y ligados.
o Sustitución textual.
o Notación para arrays.
2. Uso de aserciones para documentar programas.
o Especificación de programas.
o Representación de valores iniciales y finales de variables.
o Esquemas de prueba.
3. Semántica de programas.
o El transformador de predicados wp.
o Las órdenes skip, abort y composición.
o La orden asignación.
o La estructura alternativa.
o La estructura iterativa.
o Llamada a procedimientos.
4. Desarrollo de programas.
o La programación como una actividad orientada a objetivo.
o Desarrollo de bucles a partir de invariantes y funciones cota.
o Desarrollo de invariantes.
o Funciones cota.
o Uso de iteración en lugar de recursión.
82
3º Ingeniería Técnica en Informática de Sistemas
ITIS
Cuatrimestral, Obligatoria, 7.5 Créditos
(4.5T + 3P)
Estructura de
Computadores II
Descriptores
-
Segmentación y anticipación.
Arquitecturas vectoriales
Profesores
Margarita Amor López
Basilio B. Fraguela
Rodríguez
margaaml@udc.es
margamor@fi.pri
basilio@udc.es
basilio@fi.pri
Objetivos docentes
El objetivo de esta asignatura es el estudio de la arquitectura, organización, función y
diseño de los subsistemas de memoria, buses y E/S de un computador.
Bibliografía
Recomendada
Patterson, D.A. y Hennesy, J.L. Computer Architecture. A Quantitative Approach, 3ª
ed. Morgan Kaufmann Publishers, 2003.
Hennesy, J.L. y Patterson, D.A. Estructura y diseño de computadores: interficie
circuteria/programación. Editorial Reverté, 2000.
Stallings, W. Organización y Arquitectura de Computadores. Prentice Hall, 2000.
Complementaria
Shanley, T. y Anderson, D. ISA System Architecture. Addison-Wesley, 1995.
Shanley, T. y Anderson, D. PCI System Architecture. Addison-Wesley, 1995.
Tanenbaum, A.S. Organización de Computadoras. Un Enfoque Estructurado. Prentice
Hall, 2000.
Schmidt, F. The SCSI bus and IDE interface: protocls, applications and programming,
2ª ed. Addison-Wesley, 1998.
83
Contenido
Parte I: Jerarquía de Memoria
1. Memoria Principal
2. Memoria Caché
3. Memoria Virtual
Parte II: Interfaz entre Procesadores y Periféricos
1. Entrada/Salida
o Medidas de Rendimiento
o Tipos de dispositivo de E/S: Discos duros y hardware gráfico
o Módulos de E/S
o Técnicas para las operaciones de E/S. Interfaz E/S Interna
- E/S programada
- E/S mediante interrupciones
- Acceso directo a memoria (DMA)
- Canales y procesadores de E/S
2. Interconexión con buses
o Elementos de diseño de un bus
o Ejemplos de buses:
- El bus ISA
- El bus PCI
o Interfaz E/S externa
- SCSI
Prácticas:
Parte I:
1. Dinero III: Simulación de un sistema de memoria caché
2. Técnicas de optimización software del rendimiento caché
Parte II:
1. Programación de interrupciones de E/S
84
Medios de Transmisión
ITIS
Cuatrimestral, Obligatoria, 6 Créditos (3T + 3P)
Descriptores
- Tipos de señal.
- Procesado de la señal.
- Medios de transmisión y modulación.
Profesores
Adriana Dapena Janeiro
Daniel Iglesia Iglesias
adriana@udc.es
daniel@udc.es
adriana@fi.pri
daniel@fi.pri
Objetivos docentes
Estudio de las herramientas básicas para el análisis de señales y sistemas continuos
tanto en el dominio del tiempo como en el dominio de la frecuencia. Estudio de los
principios fundamentales del funcionamiento de los sistemas de transmsión digital con
especial énfasis en el efecto que el ancho de banda y el ruido tienen sobre la velocidad
de transmisión.
Bibliografía
Recomendada
Oppenheim, A. V. et al. Señales y Sistemas. 2ª ed.. Englewood Cliffs, Prentice-Hall,
1997.
Couch, L. W. Digital and Analog Communication Systems. Sixth Ed. Prentice-Hall,
2001.
Complementaria
Lathi, B.P. Linear Systems and Signals. Berkley-Cambrige. 1992
85
Contenido
1.
2.
3.
4.
5.
6.
7.
8.
9.
Introducción.
Conceptos Fundamentales de Señales y Sistemas.
Sistemas Lineales e Invariantes en el Tiempo.
Análisis de Fourier de Señales y Sistemas Continuos.
Representación Digital de Señales Continuas.
Transmisión Digital Banda Base por canales con Ancho de banda limitado.
Introducción a los procesos estocásticos.
Transmisión Digital Banda Base por canales con ruido.
Transmisión Digital Paso Banda.
86
Redes de
Comunicaciones
ITIS
Cuatrimestral, Obligatoria,6 Créditos (3T +
3P)
Descriptores
- Arquitectura de redes.
- Comunicaciones
Profesores
Angel Viña Castiñeiras
Fidel Cacheda Seijas
avc@udc.es
fidel@udc.es
esanvina@fi.pri
fcacheda@fi.pri
Objetivos docentes
Se pretende introducir al alumno los principales conceptos de redes de interconexión,
centrándose especialmente en la arquitectura de red definida por TCP/IP. El objetivo
final es familiarizar al alumno con los fundamentos teóricos que sustentan las
arquitecturas de red, ejemplarizado en el caso concreto de TCP/IP. La componente
teórica de la asignatura se completa con la formación práctica a nivel de programación
en red de diferentes aplicaciones, lo que ofrece al alumno una visión global de la
comunicación mediante redes.
Bibliografía
Recomendada
Stevens, W.R. TCP/IP Illustrated. Addison Wesley, 1995.
Comer, Douglas E. Internetworking with TCP/IP. Volume I; Principles, Protocols and
Architecture. 2 ed. Prentice-Hall International Editions. 1991.
Tanenbaum, A.S. Computer Networks. 3 ed., Prentice Hall, 1996.
Stallings, W. Data and Computer Communications. 5 ed., Prentice Hall, 1997.
Complementaria
Stevens, W. Richard. UNIX Network Programming. Prentice Hall Software Series.
1990.
Hunt, Craig. Networking Personal Computers with TCP/IP. O'Reilly & Associates, Inc.
1995.
87
Contenido
1. Contenido teórico
o El protocolo IP, con una descripción de los conceptos básicos de
enrutamiento en IP y subnetting.
o Los protocolos ARP y RARP, para conversión de direcciones del nivel
de enlace con direcciones del nivel de red.
o ICMP y los protocolos básicos de descubrimiento de rutas: ping y
traceroute.
o Descripción detallada del enrutamiento en IP, describiendo las tablas de
enrutamiento y la resolución de errores, introduciendo conceptos de los
protocolos dinámicos de enrutamiento y sus efectos.
o Introducción del protocolo de la capa de transporte no orientado a
conexión UDP, y sus aplicaciones y consideraciones para broadcast y
multicast. Definición de la problemática del multicast e introducción a
IGMP.
o Descripción de la resolución de nombres en TCP/IP con DNS.
o Introducción de dos protocolos sencillos, como TFTP y BOOTP, y sus
principales casos de uso.
o Descripción y profundización en el protocolo de la capa de transporte
orientado a conexión, TCP. Consideraciones sobre aperturas y cierres de
conexión, diagrama de estados. Gestión de TCP de los flujos de datos
interactivos (ACKs retardados y algoritmo de Nagle) y no interactivos
(control de flujo y control de congestión). Temporizador de persistencia
y temporizador de keepalive.
2. Contenido práctico
Manejo de sockets en C en Unix.
88
ITIS
Sistemas Operativos II Cuatrimestral, Obligatoria,6 Créditos (3T + 3P)
Descriptores
- Sistemas de ficheros en sistemas operativos actuales.
- Planificación de entrada/salida.
- Sincronización de procesos y programación concurrente.
- Memoria virtual.
- Sistemas operativos distribuidos.
Profesores
Antonio Yañez Izquierdo
afyanez@dc.fi.udc.es
afyanez@fi.pri
Objetivos docentes
Bibliografía
Recomendada
Bach, M. J. The design of the Unix Operating System. Prentice Hall.
McKusick, et al. Design and implementation of the 4.4 BSD operating system. Addison
Wesley.
Vahalia. UNIX Internals. Prentice Hall.
Complementaria
Goodheart, et al. Magic Garden Explained. Prentice Hall.
Márquez. UNIX Programación Avanzada. Ra-ma.
89
Contenido
1. Introducción al s.o. UNIX.
o Breve historia
o BSD y System V
o Standards
2. Procesos en UNIX.
o Modo, espacio y contexto
o Estructura de un proceso
o Ejecución en modo Kernel: Llamada al sistema, excepción e interrupción
o Planificación
o Señales
o Creación y terminación de procesos
o Comunicación entre procesos
3. Sistema de ficheros de UNIX.
o Implementación. Estructura física. Inodos
o Buffer cache: estructura y funcionamiento
o Asignación y desasignación de espacio
o Llamadas al sistema para el sistema de ficheros
o Sistema de ficheros ffs. Grupos de cilindros. Bloqueos de archivos
o La interfaz vnode
4. Memoria en UNIX.
o Introducción. Regiones
o Espacio de direcciones de los procesos
o Organización de la memoria física
o Robo de páginas e intercambio
90
Teoría de Autómatas y
Lenguajes Formales
ITIS
Cuatrimestral, Troncal, 9 Créditos
(6T + 3P)
Descriptores
- Teoría de autómatas y lenguajes formales.
- Máquinas de secuenciales y autómatas finitos.
- Máquinas de Turing.
- Funciones recursivas.
Profesores
AntonioBlanco Ferro
Jorge Graña Gil
blanco@dc.fi.udc.es
grana@dc.fi.udc.es
blanco@fi.pri
grana@fi.pri
Objetivos docentes
Teoría de autómatas y lenguajes formales. Máquinas secuenciales y autómatas finitos.
Máquinas de Turing. Funciones recursivas.
Bibliografía
Recomendada
Kelley, D. Teoría de autómatas y lenguajes formales. Prentice-Hall, 1995.
Sudkamp, T. A. Languages and machines. Addison-Wesley, 1988.
Hopcroft, J. E., Motwani, R. y Ullman, J.D. Introducción a la teoría de autómatas,
lenguajes y computación. Addison-Weley, 2002.
Complementaria
Hopcroft, J. E. et al. Introduction to automata theory, languages, and computation.
Addison-Wesley, 1979.
Brookshear, G. Teoría de la computación. Addison-Wesley Iberoamericana, 1993
91
Contenido
1. Alfabetos y Lenguajes
o Alfabetos, palabras y lenguajes.
o Operaciones con cadenas.
o Operaciones con lenguajes.
2. Lenguajes Regulares
o Lenguajes sobre alfabetos.
o Lenguajes y expresiones regulares.
o Autómatas finitos deterministas.
o Autómatas finitos deterministas y lenguajes.
o Autómatas finitos no deterministas.
o Equivalencia entre AFD y AFN.
o l-transiciones.
o Autómatas finitos y expresiones regulares.
o Propiedades de los lenguajes regulares.
3. Lenguajes Independientes del Contexto
o Gramáticas y lenguajes regulares.
o Gramáticas independientes del contexto.
o Arboles de derivación
o Simplificación de gramáticas independientes del contexto.
o Forma normal de Chomsky
o Propiedades de los lenguajes independientes del contexto.
o Autómatas de pila.
o Autómatas de pila y lenguajes independientes del contexto.
o Forma normal de Greibach.
4. Máquinas de Turing
o Definición de máquina de Turing.
o Máquinas de Turing como aceptadoras de lenguajes.
o Construcción de máquinas de Turing.
o Modificaciones de las máquinas de Turing.
o Máquina de Turing Universal.
5. Máquinas de Turing y Lenguajes
o Lenguajes aceptados por máquinas de Turing.
o Lenguajes recursivos y lenguajes recursivamente enumerables.
o Gramáticas no restringidas y lenguajes recursivamente enumerables.
o Lenguajes sensibles al contexto y la jerarquía de Chomsky.
6. Resolubilidad
o El problema de la parada.
o El problema de correspondencia de Post.
o Irresolubilidad en lenguajes independientes del contexto.
7. Funciones mi - recursivas
o Funciones recursivas primitivas.
o Funciones división.
o Funciones parciales computables.
o Funciones mi – recursivas
o La tésis de Church-Turing.
92
1º Ingeniería Informática
Álgebra
II (Ciclo 1)
Cuatrimestral, Troncal, 7.5 Créditos (4.5T + 3P)
Descriptores
- Estructuras algebraicas
- Álgebra lineal
Profesores
M. Felicidad Aguado Martín aguado@dc.fi.udc.es
Gilberto Pérez Vega
gilberto@dc.fi.udc.es
Concepción Vidal Martín
eicovima@udc.es
aguado@fi.pri
gilberto@fi.pri
macovima@fi.pri
Objetivos docentes
Proporcionar de manera concreta y precisa, una variedad de conceptos, resultados,
técnicas y aplicaciones del álgebra que son particularmente útiles para los estudiantes de
informática. Asimismo, se pretende desarrollar unos hábitos de abstracción y rigor
necesarios para estos estudiantes, e incidir en la aplicación de las técnicas estudiadas.
Bibliografía
Recomendada
Grossman, S. I. Álgebra Lineal. 5ª ed. McGraw-Hill Interamericana de México, 1996.
Hernández, E. Álgebra y Geometría. 2ª ed. Addison-Wesley
Iberoamericana/Universidad Autónoma de Madrid, Wilmington, 1994.
Merino, L. y Santos, E. Álgebra Lineal con Métodos Elementales. Editado por los
autores, 1997.
Nakos, G. y Joyner, D. Álgebra lineal con aplicaciones. Thomson, 1999.
Complementaria
Cohen, A. M., Cuypers, H. y Sterk, H. Algebra Interactive!. Springer, 1999.
Fernández-Ferreirós, A. y Sein-Echaluce, M. L. Álgebra Lineal. Prácticas con
Mathematica. Prensas Universitarias de Zaragoza, 1995.
93
Contenido
ESTRUCTURAS ALGEBRAICAS
1. Estructuras algebraicas: Operaciones binarias. Propiedades. Relaciones de
congruencia y estructuras cocientes. Morfismos.
2. Grupos: Definición y propiedades. Subgrupos. Relaciones de congruencia,
grupos cocientes y subgrupos normales. Morfismos de grupos, propiedades.
Núcleo e imagen de un morfismo.
3. Anillos y Cuerpos: Definición y propiedades. Divisores de cero y unidades.
Subanillos. Relaciones de congruencia, anillos cocientes e ideales. Anillos
(Zm,+,.). Morfismos de anillos. Propiedades. Núcleo e imagen de un morfismo.
Definición de cuerpo. Condiciones equivalentes. Característica de un cuerpo.
Anillo de polinomios con coeficientes en un cuerpo.
ÁLGEBRA LINEAL
4. Sistemas de Ecuaciones Lineales y Matrices: Sistemas de ecuaciones lineales.
Equivalencia por operaciones elementales. Eliminación Gaussiana. Matrices.
Operaciones con matrices. Matriz inversible. Matriz de coeficientes de un
sistema, reducción de forma escalonada, soluciones. Cálculo de la matriz inversa
por operaciones elementales en las filas.
5. Determinantes: Determinante de una matriz cuadrada, propiedades. Métodos de
cálculo de un determinante. Determinante e inversa de una matriz. Regla de
Cramer.
6. Espacios Vectoriales: Definición y propiedades. Dependencia e independencia
lineal. Bases y coordenadas. Dimensión. Subespacios. Rango de un conjunto de
vectores y rango de una matriz. Cálculo del rango. Teorema de RouchéFrobenius.
7. Aplicaciones Lineales: Aplicaciones lineales, propiedades. Núcleo e imagen de
una aplicación lineal. Rango de un morfismo. El espacio vectorial de las
aplicaciones lineales. Anillo de endomorfismos. Matriz asociada a una
aplicación lineal. Cambio de base. Equivalencia y semejanza de matrices.
8. Introducción a la diagonalización de endomorfismos y matrices:
Autovalores y autovectores. Polinomio característico. Multiplicidad algebraica y
geométrica de un autovalor. Endomorfismos y matrices diagonalizables.
94
Cálculo
II (Ciclo 1)
Cuatrimestral, Troncal, 7.5 Créditos (4.5T + 3P)
Descriptores
- Análisis matemático.
- Cálculo diferencial e integral de una y dos variables.
- Series.
- Métodos numéricos.
Profesores
J. Jesús Cendán Verdes
Marta García Abel
Luis Hervella Nieto
suceve@udc.es
martagab@udc.es
luisher@udc.es
suceve@fi.pri
martagab@fi.pri
luisher@fi.pri
Objetivos docentes
Comprender los fundamentos del Cálculo Infinitesimal: límite, continuidad, derivación
e integración en una variable. Extenderlos a funciones de varias variables. Introducir
nuevos conceptos: series y ecuaciones diferenciales con sus aplicaciones a la
modelización de problemas.
Bibliografía
Recomendada
García, A. et al. Cálculo I y Cálculo II. CLAGSA.
Smith, T., Minton. Cálculo. McGraw-Hill.
Valderrama. Métodos matemáticos aplicados a las Ciencias Experimentales. Pirámide.
Bradley, Smith. Cálculo de una variable y Cálculo de varias variables. Prentice Hall.
Amillo, J. et al. Cálculo. McGraw-Hill.
Complementaria
Larson, Hostetler, Edwards. Cálculo y Geometría Analítica. McGraw-Hill.
Mardsen, Tromba. Cálculo vectorial. Addison-Wesley.
Waner, Costenoble. Cálculo Aplicado. Thomson Learning.
95
Contenido
1. Nociones básicas.
o Conjuntos numéricos. Propiedades.
o Límite de una función en un punto.
o Funciones continuas. Teorema de Bolzano.
o Funciones derivables. Regla de la cadena. Regla de L'Hôpital.
Derivación implícita. Aplicaciones.
o Fórmula de Taylor.
o Integral de Riemann. Propiedades. Primitiva de una función.
Aplicaciones de la integral.
2. Ecuaciones diferenciales.
o Introducción a las ecuaciones diferenciales. Conceptos básicos.
o Ecuaciones diferenciales de primer orden. Tipos. Existencia.
o Ecuaciones diferenciales de orden n con coeficientes constantes. Método
de coeficientes indeterminados.
3. Funciones de dos variables.
o Función escalar y vectorial. Curvas y superficies de nivel.
o Límite de una función escalar. Continuidad.
o Derivadas parciales y direccionales. Gradiente. Propiedades.
o Matriz jacobiana. Regla de la cadena. Derivadas de orden superior.
o Extremos relativos. Extremos condicionados: multiplicadores de
Lagrange.
4. Series numéricas y funcionales.
o Sucesión de números. Serie de números. Operaciones.
o Convergencia de una serie. Propiedades.
o Criterios de convergencia. Series geométricas.
o Series alternadas. Criterio de Leibnitz.
o Series de potencias.
5. Cálculo con Maple
o Conceptos generales. Cálculo diferencial e integral.
o Ecuaciones diferenciales.
96
Estructura de Datos y de la
Información
II (Ciclo 1)
Cuatrimestral, Troncal, 6 Créditos
(4.5T + 1.5P)
Descriptores
- Tipos de datos abstractos.
- Estructura de datos y algoritmos de manipulación.
Profesores
Miguel Ángel Alonso Pardo
Ramón Paz García
alonso@dc.fi.udc.es
alonso@fi.pri
Objetivos docentes
Enseñanza, aprendizaje y dominio de los conceptos de estructuras de datos y sus
algoritmos de manipulación. Para ello se introducen y describen en profundidad las
estructuras de datos clásicas, utilizando la noción de tipos abstractos de datos (TAD)
como elemento de diseño.
Bibliografía
Recomendada
Hernández, R. et al. Estructuras de Datos y Algoritmos. Madrid, Prentice-Hall, 2000.
Joyanes Aguilar, L. y Zahonero Martínez, Ignacio. Estructura de Datos. Algoritmos,
abstracción y objetos. Madrid, McGraw-Hill, 1998.
Aho, A.V., Hopcroft, J.E. y Ullman, J.D. Estructuras de datos y algoritmos.
Wilmington, Addison-Wesley Iberoamericana, 1988.
Weiss, M.A. Estructuras de datos y algoritmos. Wilmington, Addison-Wesley
Iberoamericana, 1995.
Complementaria
No Disponible
97
Contenido
1. Introducción a los tipos abstractos de datos
2. Listas enlazadas
o Listas ordenadas
o Listas circulares
o Listas con cabecera
3. Pilas
o Pilas y paso de parámetros
o Pilas y expresiones aritméticas
4. Colas
o Colas con listas circulares
o Bicolas
o Colas de prioridades
5. Recursividad
o Definición de recursividad
o Algoritmos divide y vencerás
o Algoritmos de ordenación recursivos
o Algoritmos de vuelta atrás
6. Árboles
o Árboles binarios
o Árboles de expresión
o Recorridos de árboles y evaluación de expresiones
o Árboles en montículos (ordenación heapsort)
7. Árboles de búsqueda
o Árboles binarios de búsqueda
o Árboles AVL
o Árboles B
o Árboles en memoria externa
8. Otras estructuras:
o Tablas hash
o Grafos
98
II (Ciclo 1)
Estadística I
Cuatrimestrall, Troncal, 7.5 Créditos (4.5T + 3P)
Descriptores
- Estadística descriptiva.
- Probabilidades.
- Inferencia estadística.
Profesores
Mario Francisco Fernández mariofr@udc.es
José Antonio Vilar Fernández eijoseba@udc.es
joseba@fi.pri
Objetivos docentes
Se pretende que el alumno se familiarice con el análisis de datos aplicando técnicas
estadísticas básicas. Dado el enfoque práctico de la asignatura, se aprenderá el manejo
de un paquete estadístico.
Bibliografía
Recomendada
Canavos, G. C. Probabilidad y Estadística. Aplicaciones y métodos. MacGraw-Hill,
1989.
Cao, R. et al. Introducción a la Estadística y sus aplicaciones. Pirámide, 2001.
Mendenhall, W. y Sincich, T. Probabilidad y Estadística para Ingeniería y Ciencias, 4ª
ed. Prentice Hall, 1997.
Complementaria
Dougherty, K.R. Probabilidad y Estadística para la Ingeniería, la Informática y la
Física. Reverté, 1995.
García, A. et al. Estadística I. ITIS UNED, 1995.
Mendenhall, W., Scheaffer, R.L. y Wackerly, D.D. Estadística matemática con
aplicaciones. Grupo Editorial Iberoamericana, 1986.
Peña, D. Estadística. Modelos y métodos. 1. Fundamentos. Alianza Universidad, 2000.
99
Contenido
1. Descripción estadística de una variable. Conceptos generales. Distribuciones de
frecuencias. Representaciones gráficas. Medidas características.
2. Descripción estadística de varias variables. Vectores estadísticos. Regresión
lineal. Correlación.
3. Probabilidad. Conceptos generales. Definición axiomática de Kolmogorov.
Asignación de probabilidades: regla de Laplace.
4. Probabilidad condicionada. Definición de probabilidad condicionada.
Independencia de sucesos. Teoremas del producto, de la probabilidad total y de
Bayes.
5. Variables aleatorias unidimensionales. Concepto de variable aleatoria
unidimensional. Variables aleatorias discretas y continuas. Transformación de
variables aleatorias. Medidas características de una variable aleatoria.
Desigualdad de Tchebychev.
6. Variables aleatorias multidimensionales. Concepto de vector aleatorio.
7. Distribuciones notables discretas.
8. Distribuciones notables continuas.
9. Introducción a la inferencia estadística. Conceptos generales. Muestreo.
Generación de variables aleatorias.
10. Estimación puntual. Propiedades de los estimadores. Métodos de obtención de
estimadores.
11. Estimación por intervalos de confianza. Concepto de intervalo de confianza.
12. Contraste de hipótesis. Conceptos generales. Procedimiento general de contraste
de hipótesis.
13. Contraste de hipótesis paramétricas.
14. Contraste de hipótesis no paramétricas.
100
Física de las máquinas
computacionales
II (Ciclo 1)
Cuatrimestral, Troncal, 7.5 Créditos
(4.5T + 3P)
Descriptores
-
Electromagnetismo
Estado sólido
Circuitos
Profesores
José Juan Lamas Seco
Manuel Paradela López
Adriana Dapena Janeiro
Luis Castedo Ribas
lamas@udc.es
paradela@udc.es
adriana@udc.es
luis@udc.es
lamas@fi.pri
adriana@fi.pri
luis@fi.pri
Objetivos docentes
Que el alumno adquiera conocimientos básicos de electromagnetismo y teoría de
circuitos.
Bibliografía
Recomendada
Gettys, W.E., Keller, F.J. y Skove, M.J. Física clásica y moderna. McGraw Hill.
Serrano, V., García, G. y Gutiérrez, C. Electricidad y magnetismo. Estrategias para la
resolución de problemas y aplicaciones. Pearson Educación.
Scott, D.E. Introducción al análisis de circuitos. Un enfoque sistémico. McGraw Hill.
Complementaria
Tipler, P.A. Física. Volumen 2. Reverté.
Serway, R.A. Física. Volumen 2. McGraw Hill.
Spiegel, M.R. Análisis vectorial. Schaum. McGraw Hill.
Edminister, J.A. Circuitos eléctricos. Schaum. McGraw Hill.
López, V. y Montoya, M. Física para la Informática. C.E. Ramón Areces.
101
Contenido
1. Conceptos de física vectorial
o Análisis vectorial
2. Electrostática. Campo eléctrico
o Campo eléctrico
o Ley de Gauss
o El potencial eléctrico
o Capacidad y energía eléctrica
3. Electrocinética. Corriente eléctrica
o Corriente y resistencia eléctricas. Circuitos eléctricos
4. Campo magnético. Inducción
o Campo magnético
o Fuentes de campo magnético
o Inducción electromagnética y energía
5. Sistemas
o Régimen transitorio en sistemas lineales
o Régimen sinusoidal permanente
o Comportamiento en frecuencia
o Series de Fourier
6. Física de los semiconductores
o Física cuántica
o Electrones en sólidos
102
Matemática Discreta
II (Ciclo 1)
Cuatrimestral, Troncal, 7.5 Créditos (4.5T + 3P)
Descriptores
- Lógica
- Combinatoria
- Funciones generatrices
- Grafos y Árboles
Profesores
Felicidad Aguado Martín
José María Barja Pérez
Gilberto Pérez Vega
Concepción Vidal Martín
aguado@dc.fi.udc.es
jmbarja@dc.fi.udc.es
gilberto@dc.fi.udc.es
eicovima@udc.es
aguado@fi.pri
jmbarja@fi.pri
gilberto@fi.pri
macovima@fi.pri
Objetivos docentes
Proporcionar de manera concreta y precisa, una variedad de conceptos, resultados,
técnicas y aplicaciones de la matemática discreta que son particularmente útiles para los
estudiantes de informática. Asimismo, se pretende desarrollar unos hábitos de
abstracción y rigor necesarios para estos estudiantes, e incidir en la aplicación de las
técnicas estudiadas.
Bibliografía
Recomendada
Biggs, N.L. Matemática Discreta.Vicens Vives,1994.
Bujalance, E. Elementos de Matemáticas Discretas. Sanz y Torres, 1993.
Bujalance, E. Problemas de Matemáticas Discretas. Sanz y Torres, 1993.
García, C.; López, J. Mª. y Puigjaner. D. Matemática Discreta. Problemas y ejercicios
resueltos. Prentice Hall. 2002.
Grimaldi, R.P. Matemáticas discreta y combinatoria. Addison-Wesley Iberoamericana,
1997.
Scheinerman, E (2001). Matemáticas Discretas. Thomson.
Complementaria
Torrecilla Jover, B. Fermat El mago de los números. Nivola, 1999
103
Contenido
1. Introducción a la Lógica. Proposiciones. Operaciones lógicas. Tablas de verdad
y tablas semánticas. Cuantificadores. Implicaciones y teoremas.
Demostraciones.
2. Conjuntos y aplicaciones. Noción intuitiva de conjunto, subconjuntos y
complementario, unión e intersección de conjuntos, producto cartesiano.
Definición de aplicación, tipos de aplicaciones, composición de aplicaciones,
inversa de una aplicación.
3. Relaciones y grafos. Relaciones binarias, relaciones de equivalencia, conjunto
cociente. Relaciones de orden, conjuntos ordenados, elementos especiales de un
conjunto ordenado y diagrama de Hasse. Conceptos básicos y terminología de
grafos. Conexión de grafos. Grafos eulerianos y hamiltonianos. Grafos planos.
Árboles. Grafos dirigidos.
4. Teoría elemental de números. Principio de Inducción.Divisibilidad en Z.
Allgoritmo de Euclides. Números primos. Teorema fundamental de la
aritmética. Ecuaciones Diofánticas. Congruencias: teorema chino de los restos,
criterios de divisibilidad, sistemas de numeración. Introducción a la
criptografía.
5. Combinatoria y recurrencia. Principio de inclusión exclusión. Permutaciones
con y sin repetición. Combinaciones con y sin repetición. Fórmulas
combinatorias, teorema binomial. Sucesiones definidas por recurrencia.
Relaciones de recurrencia lineales homogéneas con coeficientes constantes.
Relaciones de recurrencia no lineales. Funciones definidas de forma recursiva.
104
Programación
II (Ciclo 1)
Cuatrimestral, Troncal, 7.5 Créditos (4.5T + 3P)
Descriptores
- Diseño de algoritmos.
- Lenguajes de programación.
- Diseño de programas: descomposición modular y documentación.
- Algoritmos de ordenación y búsqueda (ventajas e inconvenientes).
- Recursividad.
- Estructuras dinámicas.
Profesores
Esteban García Martín
Alfonso Ruipérez Puente
Juan José Romero Cardalda
Joaquín Hernández Almaraz
Nieves Pedreira Souto
esteban@udc.es
arpc@udc.es>
jj@udc.es
joaquin@udc.es
nieves@udc.es
Objetivos docentes
Bibliografía
Recomendada
Dale, N y Weems, C. Pascal. McGraw Hill.
Lesstma, S y Nyhoff, L. Programación en Pascal. Prentice Hall.
Complementaria
Alcalde E. Metodología de la programación. McGraw Hill
Alonso Amo F. Técnicas de programación. Paraninfo 1988.
Anasagasti. Fundamentos de Computadores. Paraninfo
Arnow D. Introducción a la programación con java. Pearson educación. (A. W)
Fernandez, F. y Sáez Vacas, F. Fundamentos de Informática. Anaya Franch, G.X.
Joyanes, L. Fundamentos de Programación. McGraw Hill
Stroustrup, B. El lenguaje de Programación C++. Pearson educación. (A. W.)
Wirth, N. Algoritmos + estructuras de datos = programas. Ediciones del castillo.
105
Contenido
ALGORITMOS, PROGRAMAS Y LENGUAJES
-
Descripción de un computador
Algoritmos
Programas
Lenguajes de programación
Traductores
PASCAL ESTÁNDAR: INTRODUCCIÓN
-
Introducción
Objetos de programa: introducción
Estructura de un programa en Pascal Estándar
Variable: Declaración e inicialización
Salida - Entrada
Tipos de datos: Concepto
Operadores
Sentencias de control
MODULACIÓN Y ESTRUCTURACIÓN
-
Tipos de programación: clasica, modular y estructurada
Procedimientos
Variables globales y locales: Alcance
Efectos laterales
Declaración FORWARD
La directiva {$I Archivo}: bibliotecas
Funciones
Compilación separada de archivos fuente
ARRAYS, REGISTROS Y CONJUNTOS
-
Presentación
Estructuras estáticas
Arrays
Registros
Conjuntos
CLASIFICACIÓN Y BÚSQUEDA
-
Introducción al concepto de Complejidad de un algoritmo
Búsqueda
Ordenación o Clasificación
FICHEROS
-
Concepto de archivo
Tipos de archivos: secuenciales y directos
106
-
Organización de archivos: concepto y tipos
Métodos de acceso
Operaciones sobre archivos
Búsqueda de ficheros: Secuencial, binaria, dispersión
Ordenación
Construcción de índices
EL TIPO PUNTERO
-
Concepto de puntero
Operaciones con punteros
Compatibilidad de tipos puntero
Punteros y procedimientos
El valor nulo de un puntero
La recolección de basura
METODOLOGÍA DE LA PROGRAMACIÓN
-
Introducción
Personajes
El cliclo de vida del software
Errores: tipos
Documentación
Perspectiva General
ENTORNO DE TRABAJO:
Se va a trabajar con el PASCAL ESTANDAR AMPLIADO, norma ISO 10206, en un
entorno GNU Pascal aplicable tanto a entornos 'WINDOWS' como a entornos 'UNIX LINUX'
107
Tecnología de
Computadores
II (Ciclo 1)
Cuatrimestral, Troncal, 9 Créditos (4.5T +
4.5P)
Descriptores
- Sistemas digitales.
- Unidades funcionales: memoria, procesador, perifericos, lenguajes máquina y
ensamblador, esquema de funcionamiento.
Profesores
María José Martín Santamaría
Xoán Carlos Pardo Martinez
Jesús Salceda Sánchez
José Rodrigo Sanjurjo Amado
Basilio Fraguela Rodríguez
mariam@udc.es
pardo@des.fi.udc.es
jsalceda@des.fi.udc.es
josesan@udc.es
basilio@udc.es
mariam@fi.pri
juanca@fi.pri
josesan@fi.pri
Objetivos docentes
Estudio de los sistemas digitales desde un punto de vista funcional y como elemento de
circuito.
Bibliografía
Recomendada
Floyd, T.L. Fundamentos de Sistemas Digitales. Prentice Hall, 2000.
Hayes, J. Introducción al Diseño lógico digital. Addison-Wesley Iberoamericana, 1996.
Baena, C. et al. Problemas de Circuitos Digitales. McGraw-Hill, 1997.
Angulo Usategui, J.M. y García Zubía, J. Sistemas Digitales y tecnología de
computadoras, Paraninfo, 2002.
Complementaria
Ercegovac, M.D. ; Lang, T. ; Moreno, J.H. Introduction to Digital Systems. John Wiley
& Sons, 1999
Fletcher, W. An engineering approach to digital design. Prentice Hall, 1908.
Hill, F.; Peterson,G. Teoría de conmutación y diseño lógico. Limusa, 1980.
Mira Mira, J. Electrónica Digital. Sanz y Torres, 1993
Lloris Ruiz, A. ; Prieto Espinosa, A. Diseño Lógico. McGraw-Hill, 1996.
Morris Mano, I. Diseño Digital. Prentice Hall, 1987.
108
Contenido
1. Sistemas Digitales Combinacionales
o Introducción a la tecnología de computadores
o Representación y tratamiento de los sistemas digitales
o Funciones aritméticas y lógicas
o Funciones de rutas de datos
2. Sistemas Digitales Secuenciales
o Biestables
o Introducción a la teoría de autómatas
o Contadores y registros
o Circuitos de tiempo
o Memorias
o Lógica programable
3. Descripción Algorítmica de Sistemas Secuenciales
4. Especificación algorítmica de sistemas secuenciales.
109
Tecnología
Electrónica
II (Ciclo 1)
Cuatrimestral, Obligatoria, 7.5 Créditos (4.5T +
3P)
Descriptores
- Electrónica.
- Periféricos
Profesores
José Juan Lamas Seco
José María Domínguez
Legaspi
Manuel Paradela López
lamas@udc.es
lamas@fi.pri
domig@udc.es
doming@fi.pri
paradela@udc,es
Objetivos docentes
Conocimientos básicos de semiconductores. Características y aplicaciones prácticas de
dispositivos de estado sólido, y de circuitos integrados analógicos y digitales.
Bibliografía
Recomendada
Jacob Millman. Microelectrónica. Circuitos y sistemas analógicos y digitales. Hispano
Europea.
Norbert R. Malik. Circuitos electrónicos. Análisis, simulación y diseño. Prentice Hall.
Allan R. Hambley. Electrónica.Pearson Educación.
Circuitos electrónicos. Volúmenes 1, 2, 3, 4. ETS de Ingenieros de Telecomunicación
de Madrid.
Complementaria
Donald L; Schilling-Charles Belove. Circuitos electrónicos. Discretos e integrados.
McGraw Hill.
A. P. Malvino. Principios de electrónica. McGraw Hill.
Robert L. Boylestad; Louis Nashelsky. Electrónica: Teoría de circuitos. Prentice Hall
Hispanoamericana.
Jasprit Singh. Dispositivos Semiconductores. McGraw Hill.
Mark N. Horenstein. Microelectrónica. Circuitos y Dispositivos. Prentice Hall.
Savant; Roden; Carpenter. Diseño Electrónico. Circuitos y Sistemas. Addison-Wesley
110
Iberoamericana.
Contenido
Teoría
1. Introducción
o Introducción
2. Dispositivos semiconductores
o Semiconductores
o Diodo de unión p-n
o Circuitos con diodos
o El transistor bipolar
o Transistores unipolares
3. Circuitos digitales
o Circuitos de conmutación
o Familias lógicas
o Amplificadores
o El amplificador operacional
4. Convertidores de datos
o Convertidores A/D y D/A
5. Fuentes de alimentación
o Fuentes de alimentación continua
o Sistemas de alimentación ininterrumpida (SAI)
Prácticas laboratorio
1. Manejo de la instrumentación del laboratorio: Polímetro, Fuente de alimentación
y Generador de Funciones.
2. Manejo de la instrumentación del laboratorio: El Osciloscopio.
3. Obtención de curvas características de diodos.
4. Circuitos rectificadores.
5. El transistor en conmutación.
6. El amplificador operacional: Amplificador inversor y no inversor.
7. El amplificador operacional: Comparadores.
8. Conversión A/D.
9. Sistema de adquisición de datos.
10. Fuente de alimentación regulada lineal.
111
2º Ingeniería Informática
Algoritmos
II (Ciclo 1)
Cuatrimestral, Obligatoria, 6 Créditos (3T + 3P)
Descriptores
- Inducción
- Eficiencia
- Algoritmos de grafos
- Algoritmos geométricos
- NP-completitud
- Algoritmos paralelos
Profesores
Alberto Valderruten Vidal
Jose Santiago Jorge Castro
valderruten@dc.fi.udc.es valderru@fi.pri
sjorge@dc.fi.udc.es
sjorge@fi.pri
Objetivos docentes
El objetivo de la asignatura es utilizar las técnicas de análisis de la complejidad de los
algoritmos para estudiar desde el punto de vista de la eficiencia las técnicas de diseño
con las que han sido desarrollados. Se evalúan alternativas para encontrar
implementaciones eficientes con estructuras de datos adaptadas a los algoritmos
estudiados. Se introducen elementos de estudio sobre la complejidad computacional.
Bibliografía
Recomendada
Brassard, G. y Bratley, P. Fundamentos de Algoritmia. Prentice Hall, 1997.
Manber, U. Introduction to Algorithms - A Creative Approach. Addison Wesley, 1989.
Weiss, M.A. Estructuras de Datos en Java. Addison Wesley, 1998.
Complementaria
Sedgewick, R. Algorithms. Addison Wesley, 1988.
Arnold, K., Gosling, J y Holmes, D. El Lenguaje de Programación Java, 3ª ed.
Addison-Wesley, 2000.
Cormen, T.H., Leiserson, C.E. y Rivest, R.L. Introduction to Algorithms. MIT Press,
1990.
Weiss, M.A. Estructuras de Datos y Algoritmos. Addison Wesley, 1995.
Brassard, G. y Bratley, P. Fundamentals of Algorithmics. Prentice Hall, 1996.
Peña Marí, R. Diseño de Programas, Formalismo y Abstracción. Prentice Hall, 1998.
112
Heileman, G.L. Estructuras de Datos, Algoritmos, y Programación Orientada aObjetos.
McGraw-Hill, 1998.
Contenido
1. Análisis de Algoritmos
- Análisis de la eficiencia de los algoritmos. Notaciones asintóticas,
Modelo de computación, Verificación empírica del análisis
- Cálculo de los tiempos de ejecución. Análisis de los casos peor y medio,
Cálculo de O, Resolución de recurrencias.
2. Estructuras de datos
- Pilas, colas, listas.
- Árboles, montículos.
- Dispersión (hashing).
- Conjuntos disjuntos.
- Grafos (representación).
3. Algoritmos sobre secuencias y conjuntos de datos
- Algoritmos de búsqueda.
- Algoritmos de ordenación: Inserción, Shell, Montículos (heapsort),
Fusión (mergesort), Ordenación Rápida (quicksort).
- Algoritmos aleatorios.
4. Algoritmos voraces
- Algoritmos de grafos: Árbol de recubrimiento mínimo, Caminos
mínimos.
- Problema de la mochila.
- Problemas de planificación de sistemas informáticos.
5. Diseño de algoritmos por inducción
- Divide y Vencerás.
- Programación dinámica: Principio de optimalidad, Problema de la
mochila.
6. Exploración de grafos
- Juegos de estrategia, Recorridos, Algoritmos con retroceso.
7. Algoritmos paralelos
- Modelos de computación paralela.
- Algoritmos para sistemas de memoria compartida, Algoritmos para redes
de interconexión.
8. Complejidad Computacional
- NP-Completitud, Problemas NP-completos.
Más información en http://www.lfcia.org/alg
113
Bases de Datos I
II (Ciclo 1)
Cuatrimestral, Troncal, 7.5Créditos (4.5T + 3P)
Descriptores
- Estructura de la información: ficheros, bases de datos.
Profesores
Nieves Rodríguez Brisaboa
brisaboa@udc.es
nieves@fi.pri
Objetivos docentes
Familiarizarse con los diferentes algoritmos de manejo de ficheros. Entender los
fundamentos del modelo de bases de datos relacional. Desarrollar habilidades para el
diseño conceptual y lógico de bases de datos. Conocer a la perfección el lenguaje SQL.
Entender el funcionamiento de un sistema de gestión de bases de datos relacional.
Bibliografía
Recomendada
Silberschatz, A., Korth, H.F. y Sudarshan. Fundamentos de Bases de Datos. Mc Graw
Hill.
Connolly y Begg. Database Systems. Addison Wesley.
Elamasri y Navathe. Sistemas de Bases de Datos. Addison Wesley.
Castaño, A.M. y Velthuis, M.P. Fundamentos y modelos de bases de datos. Ra-ma.
Complementaria
Date. Introducción a los sistemas de Bases de Datos. Prentice Hall.
Rivero, F. et al. Introducción al SQL para usuarios y programadores. 2ª Edición,
Thomson.
Contenido
1.
2.
3.
4.
5.
6.
Revisión de los sistemas de ficheros.
Introducción a las Bases de Datos
Modelado Conceptual: el modelo E-R.
El modelo Relacional.
Diseño lógico de Bases de Datos Relacionales.
Otras características de los SGBD relacionales.
114
Computación
Numérica
II
Cuatrimestral, Obligatoria,7.5 Créditos (4.5T +
3P)
Descriptores
- Algoritmos numéricos
- Métodos finitos
- FORTRAN
Profesores
Carlos Vázquez Cendón
Luis M. Hervella Nieto
J. Jesús Cendán Verdes
carlosv@udc.es
luisher@udc.es
suceve@udc.es
carlosv@fi.pri
luisher@fi.pri
suceve@fi.pri
Objetivos docentes
Comprender, deducir y programar los métodos numéricos básicos para la aproximación
de la solución de algunos problemas matemáticos. Estudiar y comparar la convergencia
de los distintos algoritmos. Saber seleccionar los métodos más adecuados para cada tipo
de problema.
Bibliografía
Recomendada
Burden, R.L. y Faires, J.D. Análisis Numérico. ITP,1998.
Conde, C. y Winter, G. Métodos y Algoritmos básicos del Algebra Numérica. Reverté,
1990.
Gerald, C.F. y Wheatley, P.O. Applied Numerical Analysis. Addison-Wesley, 1990.
Kincaid, D. y Cheney, W. Análisis Numérico: las matemáticas del cálculo científico.
Addison-Wesley, 1994.
Viaño, J.M. Lecciones de Métodos Numéricos 2. Resolución de ecuaciones numéricas.
Tórculo, 1997.
Complementaria
Mathews, J.H y Fink, K.D. Métodos Numéricos en Matlab. Prentice-Hall, 2000.
Viaño, J.M. y Burguera, M. Lecciones de Métodos Numéricos 3. Interpolación.
Tórculo, 2000.
Ciarlet, P. Introducción á Análise Numérica Matricial e á Optimización. Seminario de
Publicacións da Universidade de Santiago, 1999.
Golub, G.H. y Van Loan, C.F. Matrix Computations. The Johns Hopkins U. P., 1996.
Infante, J.A. y Rey, J.M. Métodos Numéricos Teoría, problemas y prácticas con
115
Matlab. Pirámide, 1999.
Contenido
1. Resolución de ecuaciones en una variable.
- Separación de raíces.
- Métodos de dicotomía, regula falsi, iteración funcional, Newton.
- Convergencia, orden y aceleración.
2. Interpolación numérica.
- Problemas de Lagrange y Hermite.
- Diferencias divididas.
- Error de interpolación.
- Interpolación por splines.
3. Derivación numérica.
- El problema de derivación numérica.
- Fórmulas de tipo interpolatorio polinómico.
- Error.
- Aproximación de derivadas de orden superior.
4. Integración numérica.
- Fórmulas de tipo interpolatorio polinómico, fórmulas de Newton-Cotes.
- Error.
- Propiedades.
- Fórmulas compuestas de integración.
5. Resolución numérica de ecuaciones diferenciales ordinarias.
- Métodos de un paso.
- Métodos multipaso.
- Métodos predictor-corrector.
6. Resolución numérica de sistemas lineales de ecuaciones.
- Condicionamiento.
- Métodos directos (Gauss, factorizaciones LU, Cholesky y QR).
- Métodos iterativos clásicos (Jacobi, Gauss-Seidel, relajación).
- Resolución de sistemas no lineales.
7. Programación de métodos numéricos en Fortran90.
116
Estructura de
Computadores I
II (Ciclo 1)
Cuatrimestral, Obligatoria, 7.5 Créditos
(6T + 1.5P)
Descriptores
-
Unidades funcionales.
Memoria, procesador, periferia, lenguajes máquina y ensamblador,
esquema de funcionamiento
Aritmética de computadores.
Profesores
Margarita Amor López
Patricia González Gómez
margaaml@udc.es
patricia@des.fi.udc.es
margamor@fi.pri
patricia@fi.pri
Objetivos docentes
El objetivo de esta asignatura es el estudio de la arquitectura, organización, función y
diseño del subsistema procesador de un computador.
Bibliografía
Recomendada
Patterson, D.A. y Hennessy, J.L. Estructura y diseño de computadores: interficie
circuteria/programación. Editorial Reverté, 2000.
Hennesy, J.L. y Patterson, D.A. Computer Architecture. A Quantitative Approach, 3ª
ed. Morgan Kaufmann Publishers, 2003.
Stallings, W. Organización y Arquitectura de Computadores. Prentice-Hall, 2000.
Complementaria
Tanenbaum, A S. Organización de computadores. Un enfoque estructurado, 4ª ed.
Prentice-Hall, 2000.
Hayes, J.P. Computer Architecture and Organization, 3ª ed. McGraw-Hill, 1996.
Sima, D., Fountain, T. y Kacsuk, P. Advanced computer architecture. A design space
approach. Addison-Wesley, 1997.
117
Contenido
1. Introducción a los computadores
o Introducción
o Perspectiva histórica
o Rendimiento
2. El repertorio de instrucciones
o Introducción
o Representación de las instrucciones
o Diseño del repertorio de instrucciones
o Operaciones del repertorio de instrucciones
o Repertorio de instrucciones del MIPS
o Casos reales: PowerPC y Pentium
o Jerarquía de traduciones
3. Formatos de datos y aritmética de los computadores
o Introducción
o Representación de enteros. Aritmética entera
o Números en punto flotante. Aritmética en punto flotante
o El punto flotante en el MIPS
o Precisión aritmética
4. El procesador: camino de datos y unidad de control
o Estructura básica de un procesador. El ciclo de instrucción
o El camino de datos
o Técnicas de control
o Interrupciones y excepciones
5. Introducción a los procesadores segmentados
o Diseño básico de un procesador segmentado
o Riesgos en la segmentación
o Tratamiento de operaciones multiciclo
o Tratamiento de las excepciones
6. Segmentación avanzada
o Planificación de instrucciones
o Procesamiento de instrucciones de salto
o Introducción a los procesadores con emisión múltiple de instrucciones:
superescalares y VLIW.
PRÁCTICAS:
Parte I: XSPIM
Parte II: DLX
118
II (Ciclo 1)
Cuatrimestral, Obligatoria,7.5 Créditos
(4.5T + 3P)
Metodología de la
Programación
Descriptores
- Diseño de programas
- Métodos y técnicas de programación
- Plan y estrategias de pruebas
Profesores
Javier Andrade Garda
Juan Ares Casal
Esteban García Martín
Rafael García Vázquez
Santiago Rodríguez Yáñez
jag@udc.es
juanar@udc.es
esteban@udc.es
rafael@udc.es
santi@udc.es
andrade@fi.pri
esteban@fi.pri
rafael@fi.pri
santiago@fi.pri
Objetivos docentes
El objetivo de la asignatura es familiarizar al alumno con diferentes paradigmas de
programación, haciendo especial hincapié en la importancia de la documentación y las
pruebas en el conjunto del producto software.
Bibliografía
Recomendada
Roger S. Pressman. Ingeniería del Software. Un enfoque práctico. 5ª ed. McGraw Hill,
1997.
Sommerville, I. Software Engineering. 6ª ed. Addison-Wesley, 1996.
Standard Program Documentation. Documento de la Wichita State University
J. Myers, G. The art of Software Testing. John Wiley & Sons, Inc., 1979
Arnow, D.M. y Weiss, G. Introducción a la programación con JAVA. Un enfoque
orientado a objetos. Addison-Wesley, 2000.
Complementaria
López-Cortijo y de Amescua, A.. Ingeniería del Software. Aspectos de Gestión. IIIS.
1998. [en línea]. IIIS. [Consulta Diciembre 2002]. Disponible en Internet en
<http://www.iiis.es>.
Niemeyer, P. y Knudsen, J. Curso de JAVA. Anaya Multimedia, 2000
Braude, E.J. Software Engineering. An object-Oriented Perspective. John Wiley &
Sons, Inc., 2001.
Booch, G.; Rumbaugh, J. y Jacobson, I. El Lenguaje Unificado de Modelado. Addison
119
Wesley Iberoamericana, 1999.
Contenido
TEORÍA:
1.
2.
3.
4.
5.
6.
Introducción a la ingeniería del software.
Configuración de un producto software.
Características del diseño modular.
Programación estructurada.
Programación orientada a objetos.
Pruebas de unidad e integración.
PRÁCTICA:
1. Programación orientada a objetos empleando el lenguaje JAVA.
2. Pruebas de unidad y de funcionalidad
120
Programación
Declarativa
II (Ciclo 1)
Cuatrimestral, Obligatoria,6 Créditos (3T +
3P)
Descriptores
- Programación funcional.
- Programación lógica.
Profesores
Manuel Vilares Ferro
José María Molinelli Barba
vilares@fi.pri
molineli@fi.pri
Objetivos docentes
Introducción a la programación lógica y a la programación funcional.
Bibliografía
Recomendada
Sterling, L. y Shapiro, E. The Art of Prolog. Ed. MIT Press, 1986.
Wikström, Ä. Functional Programming Using Standard ML. Prentice Hall.
Complementaria
Vilares, M.; Alonso, M. y Valderruten, A. Programación lógica. Tórculo Edicións,
1994.
Weis, P. y Leroy, X. Le languaje Caml. InterEditions, 1993.
Leroy, X. y Weis, P. Manuel de référen du languaje Caml. InterEditions, 1993.
Paulson, L. C. ML for the Working Programmer. Cambridge University Press, 1991.
Cousineau, G. y Mauny, M. The Functional Approach to Programming. Cambridge
University Press, 1998.
121
Contenido
1. Programación lógica: lenguaje Prolog
- Programación lógica: conceptos fundamentales
- Programas lógicos, cláusulas y cuestiones
- Objetos en programación lógica. La variable lógica
- Concepto de unificación: substituciones e instancias
- Un intérprete lógico simple
- Semántica de un programa lógico: corrección y completud
- Concepto de resolución: árboles de búsqueda y demostración
- Programación lógica en Prolog
- Resolución SLD: corrección y completud
- El corte, estructura básica de control: cortes rojos y verdes
- La negación
- No determinismo en Prolog
- Programación recursiva
- Estructuras de datos incompletas
- Relación con el análisis sintáctico: DCGs
- Predicados del sistema
- Predicados metalógicos
- Predicados extralógicos
- Programas inteligentes en Prolog: asserta y retract
- Los operadores en Prolog
2. Programación funcional: lenguaje Caml
- Introducción a la programación funcional: características e historia de los
lenguajes funcionales
- Fundamentos del lenguaje Caml
- Valores, expresiones y definiciones
- Tipos de datos
- Definiciones locales
- Construcciones lógicas
- Definiciones múltiples y con patrones ("pattern matching")
- Funciones como valores: representación, definición y aplicación de
funciones
- Definiciones recursivas
- Polimorfismo
- Funciones de orden superior
- Listas
- Operaciones de entrada/salida
- Definición de tipos de datos: tipos suma y producto
- Manejo de excepciones
- Programación imperativa en Caml
- Programación modular en Caml
122
Sistemas Conexionistas
II (Ciclo 1)
Cuatrimestral, Troncal, 4.5 Créditos (3T + 1.5P)
Descriptores
-
Fundamentos biológicos.
Representación del conocimiento.
Aprendizaje.
Modelos.
Profesores
Manuel González Penedo
cipenedo@udc.es cipenedo@fi.pri
Objetivos docentes
Bibliografía
Recomendada
No disponible
Complementaria
No disponible
123
Contenido
1. Conceptos Básicos
1.1. Introducción
1.2. Elemento General de Procesamiento
1.3. Arquitecturas
2. Aprendizaje y Entrenamiento
2.1. Aprendizaje Automático
2.2. Tipos y Modos de Aprendizaje. Aprendizaje Supervisado. Aprendizaje Sin
Supervisado
3. Adaline y Perceptron
3.1. Adaline. Cálculo de Pesos: Regla Delta. Aplicaciones
3.2. Perceptron
4. Perceptron Multicapa
4.1. Estructura y Aprendizaje
4.2. Consideraciones Prácticas. Funciones de Transferencia. Control de Convergencia
4.3. Incremento de la Velocidad de Aprendizaje
4.4. Aplicaciones
5. Redes Autoorganizativas
5.1. Introducció
5.2. Regla de Hebb
5.3. Estructuras Competitivas. Características
5.4. Mapas Topológicos Autoorganizativos (SOM). Mecanismos que favorecen la
autoorganización. Consideraciones al trabajar con los SOM. Propiedades de los SOMs.
Ejemplos de Actuación de los SOMs. Clasificador de Mapa de Características. LVQ
5.5. Crecimiento de Redes. Crecimiento de Estructuras de Células. Gas Neuronal
Creciente
6. Redes Autoorganizativas II
6.1. Red de Contrapropagación. Entrenamiento de la CNP
6.2. Teoría de la Resonancia Adaptiva. ART1. ART2
7. Red de Hopfield
7.1. Función de Energía
124
Sistemas Operativos I
II (Ciclo 1)
Cuatrimestral, Troncal,7.5 Créditos (4.5T + 3P)
Descriptores
- Organización, estructura y servicios de los sistemas operativos.
- Gestión y administración de memoria y de procesos.
- Gestión de entrada y salida.
- Sistemas de ficheros.
Profesores
Antonio Yáñez Izquierdo
David Lorenzo Blanco
afyanez@dc.fi.udc.es
david@dc.fi.udc.es
afyanez@fi.pri
david@fi.pri
Objetivos docentes
Organización, estructura y servicios de los sistemas operativos. Gestión y
administración de memoria y de procesos. Sistemas de Ficheros. Gestión de entrada y
salida.
Bibliografía
Recomendada
Silverschatz, Peterson y Galvin. Operating System Concepts. Addison-Wesley
Nutt, Gary. Operating Systems, A modern Perspective. Addison Wesley
Deitel. Introduction To Operating Systems. Addison -Wesley
Carretero J. et al. Sistemas Operativos, una vision aplicada. Mc Graw Hill
Complementaria
Tanenbaum A. Operating Systems: Designa and Implementation. Prentice-Hall
Tanenbaum A. Modern Operating Systems. Prentice-Hall
Stallings W. Operating Systems. Prentice-Hall
125
Contenido
1. Introducción a los sistemas operativos.
o Breve historia
o Servicios de los sistemas operativos
o Protección
o Disponibilidad de los servicios de los S.O.
2. Multiprogramación.
o Procesos
o Planificación de la CPU
o Algoritmos de planificación
3. Concurrencia
o Sección crítica
o Soluciones hardware y software al problema de la sección crítica
o Semáforos: implementación, soluciones a los problemas clásicos
o Regiones críticas y regiones críticas condicionales
o Monitores
4. Entrada/salida
o Hardware y software de e/s
o Estructura en capas
o Planificación de discos
5. Sistemas de ficheros
o Tipos de sistemas
o Métodos de acceso
o Métodos de asignación
o Estructura en directorios
6. Interbloqueo
o Caracterización
o Prevención.
o Evitación
o Recuperación
o Método Combinado
7. Memoria
o Intercambios
o Paginación
o Segmentación
o Sistemas mixtos
8. Memoria virtual
o Paginación bajo demanda
o Reemplazo de páginas
o Asignación de marcos
o Hiperpaginación
o Segmentación bajo demanda
126
Tecnología de la
Programación
II (Ciclo 1)
Cuatrimestral, Troncal, 7.5 Créditos
(4.5T + 3P)
Descriptores
- Análisis de algoritmos.
- Técnicas de verificación y pruebas de programas.
Profesores
José Luis Freire Nistal
Juan José Quintela Carreira
freire@fi.udc.es
freire@lfcia.org
quintela@dc.fi.udc.es
Objetivos docentes
El objetivo principal es introducir al alumno en la verficación de programas imperativos
reales mediante extensiones prácticas del método Floyd-Hoare.
Bibliografía
Recomendada
[en línea]. lfcia. [Consulta Diciembre 2001]. Disponible en Internet en
<www.lfcia.org/staff/freire/tp-99
Complementaria
No disponible
Contenido
1. Cálculo de Proposiciones
2. Cálculo de Predicados
3. Sintaxis de un lenguaje imperativo con arrays;
4. Semántica asercional. Corrección total. Corrección parcial
5. Pruebas de programas
6. Semántica operacional de un pequeño lenguaje. El transformador WP
7. Semántica denotacional
8. Semántica de Java
9. Corrección de programas Java
10. Programación bajo contrato.
127
3º Ingeniería Informática
II (Ciclo 1)
Cuatrimestral, Obligatoria, 7.5 Créditos
(4.5T + 3P)
Estructura de
Computadores II
Descriptores
-
Segmentación y anticipación.
Arquitecturas vectoriales
Profesores
Margarita Amor López
Basilio B. Fraguela
Rodríguez
margaaml@udc.es
margamor@fi.pri
basilio@udc.es
basilio@fi.pri
Objetivos docentes
El objetivo de esta asignatura es el estudio de la arquitectura, organización, función y
diseño de los subsistemas de memoria, buses y E/S de un computador.
Bibliografía
Recomendada
Patterson, D.A. y Hennesy, J.L. Computer Architecture. A Quantitative Approach, 3ª
ed. Morgan Kaufmann Publishers, 2003.
Hennesy, J.L. y Patterson, D.A. Estructura y diseño de computadores: interficie
circuteria/programación. Editorial Reverté, 2000.
Stallings, W. Organización y Arquitectura de Computadores. Prentice Hall, 2000.
Complementaria
Shanley, T. y Anderson, D. ISA System Architecture. Addison-Wesley, 1995.
Shanley, T. y Anderson, D. PCI System Architecture. Addison-Wesley, 1995.
Tanenbaum, A.S. Organización de Computadoras. Un Enfoque Estructurado. Prentice
Hall, 2000.
Schmidt, F. The SCSI bus and IDE interface: protocls, applications and programming,
2ª ed. Addison-Wesley, 1998.
128
Contenido
Parte I: Jerarquía de Memoria
1. Memoria Principal
2. Memoria Caché
3. Memoria Virtual
Parte II: Interfaz entre Procesadores y Periféricos
3. Entrada/Salida
o Medidas de Rendimiento
o Tipos de dispositivo de E/S: Discos duros y hardware gráfico
o Módulos de E/S
o Técnicas para las operaciones de E/S. Interfaz E/S Interna
- E/S programada
- E/S mediante interrupciones
- Acceso directo a memoria (DMA)
- Canales y procesadores de E/S
4. Interconexión con buses
o Elementos de diseño de un bus
o Ejemplos de buses:
- El bus ISA
- El bus PCI
o Interfaz E/S externa
- SCSI
Prácticas:
Parte I:
1. Dinero III: Simulación de un sistema de memoria caché
2. Técnicas de optimización software del rendimiento caché
Parte II:
1. Programación de interrupciones de E/S
129
II (Ciclo 1)
Investigación Operativa Cuatrimestral, Obligatoria,6 Créditos (3T + 3P)
Descriptores
- Programación lineal.
- Métodos de la investigación operativa.
Profesores
Mª Luisa Carpente
luisacar@udc.es
Objetivos docentes
El alumno debe saber plantear y resolver problemas de programación lineal, utilizando
principalmente los métodos del simplex, simplex revisado y simplex dual. Se resolverán
algunos casos concretos de programación lineal como son el problema del transporte y
asignación.
Bibliografía
Recomendada
Ravindran, A., Phillips, D. y Solberg, J. Operations Research. Principles and Practice.
Wiley, 1987.
Hillier, F. y Lieberman, G. Introducción a la Investigación de Operaciones. McGrawHill, 1991.
Taha. H. Investigación de Operaciones. Alfaomega, 1991.
Complementaria
Bazaraa, M. y Jarvis, J. Programación lineal y flujo en redes. Ed. Limusa de Mexico
Mora, J.L. Investigación de Operaciones e Informática. Ed. Trillas de México, 1980.
Chang, Y. y Sullivan, R. QSB+. Quantitative Systems for Business Aplications Plus.
Prentice Hall, 1990.
Schrage, L. Linear, Integer, and Quadratic Programming with LINDO. The Scientific
Press de Palo Alto, California, 1984.
130
Contenido
1. Introducción.
2. Modelos de programación lineal y aplicaciones.
Formulación de modelos de programación lineal. Ejemplos.
Solución gráfica de problemas de programación lineal con dos variables.
Problemas de programación lineal en forma estándar.
Sistemas de ecuaciones lineales.
3. El método del Simplex.
4. Problemas especiales de programación lineal.
Problemas de transporte.
Problemas de asignación.
5. El método revisado del Simplex.
6. Teoría de la dualidad.
7. El método dual del Simplex.
8. Análisis de sensibilidad y programación paramétrica.
9. Programación lineal entera.
10. Programación lineal multiobjetivo.
131
Medios de Transmisión
II (Ciclo 1)
Cuatrimestral, Obligatoria, 6 Créditos (3T + 3P)
Descriptores
- Tipos de señal.
- Procesado de la señal.
- Medios de transmisión y modulación.
Profesores
Luis Castedo Ribas
Daniel Iglesias Iglesias
luis@udc.es
daniel@udc.es
luis@fi.pri
daniel@fi.pri
Objetivos docentes
Estudio de las herramientas básicas para el análisis de señales y sistemas continuos
tanto en el dominio del tiempo como en el dominio de la frecuencia. Estudio de los
principios fundamentales del funcionamiento de los sistemas de transmsión digital con
especial énfasis en el efecto que el ancho de banda y el ruido tienen sobre la velocidad
de transmisión.
Bibliografía
Recomendada
Oppenheim, A. V. et al. Señales y Sistemas. 2ª ed.. Englewood Cliffs, Prentice-Hall,
1997.
Couch, L. W. Digital and Analog Communication Systems. Sixth Ed. Prentice-Hall,
2001.
Complementaria
No disponible
132
Contenido
1.
2.
3.
4.
5.
6.
7.
8.
9.
Introducción.
Conceptos Fundamentales de Señales y Sistemas.
Sistemas Lineales e Invariantes en el Tiempo.
Análisis de Fourier de Señales y Sistemas Continuos.
Representación Digital de Señales Continuas.
Transmisión Digital Banda Base por canales con Ancho de banda limitado.
Introducción a los procesos estocásticos.
Transmisión Digital Banda Base por canales con ruido.
Transmisión Digital Paso Banda.
Más información en http://venus.des.fi.udc.es/~luis/mt/mt.htm
133
Redes de
Comunicaciones
II
Cuatrimestral, Obligatoria,6 Créditos (3T +
3P)
Descriptores
- Arquitectura de redes.
- Comunicaciones
Profesores
Angel Viña Castiñeiras
Fidel Cacheda Seijas
avc@udc.es
fidel@udc.es
esanvina@fi.pri
fcacheda@fi.pri
Objetivos docentes
Se pretende introducir al alumno los principales conceptos de redes de interconexión,
centrándose especialmente en la arquitectura de red definida por TCP/IP. El objetivo
final es familiarizar al alumno con los fundamentos teóricos que sustentan las
arquitecturas de red, ejemplarizado en el caso concreto de TCP/IP. La componente
teórica de la asignatura se completa con la formación práctica a nivel de programación
en red de diferentes aplicaciones, lo que ofrece al alumno una visión global de la
comunicación mediante redes.
Bibliografía
Recomendada
Stevens, W.R. TCP/IP Illustrated. Addison Wesley, 1995.
Comer, Douglas E. Internetworking with TCP/IP. Volume I; Principles, Protocols and
Architecture. 2 ed. Prentice-Hall International Editions. 1991.
Tanenbaum, A.S. Computer Networks. 3 ed., Prentice Hall, 1996.
Stallings, W. Data and Computer Communications. 5 ed., Prentice Hall, 1997.
Complementaria
Stevens, W. Richard. UNIX Network Programming. Prentice Hall Software Series.
1990.
Hunt, Craig. Networking Personal Computers with TCP/IP. O'Reilly & Associates, Inc.
1995.
134
Contenido
Los contenidos de la asignatura se centran inicialmente en conceptos genéricos para la
introducción de las arquitecturas de red. A continuación, el enfoque se orienta
específicamente hacia la pila de protocolos de TCP/IP, considerando los siguientes
apartados como más relevantes:
1. El protocolo IP, con una descripción de los conceptos básicos de enrutamiento
en IP y subnetting.
2. Los protocolos ARP y RARP, para conversión de direcciones del nivel de enlace
con direcciones del nivel de red.
3. ICMP y los protocolos básicos de descubrimiento de rutas: ping y traceroute.
4. Descripción detallada del enrutamiento en IP, describiendo las tablas de
enrutamiento y la resolución de errores, introduciendo conceptos de los
protocolos dinámicos de enrutamiento y sus efectos.
5. Introducción del protocolo de la capa de transporte no orientado a conexión
UDP, y sus aplicaciones y consideraciones para broadcast y multicast.
Definición de la problemática del multicast e introducción a IGMP.
6. Descripción de la resolución de nombres en TCP/IP con DNS.
7. Introducción de dos protocolos sencillos, como TFTP y BOOTP, y sus
principales casos de uso.
8. Descripción y profundización en el protocolo de la capa de transporte orientado
a conexión, TCP. Consideraciones sobre aperturas y cierres de conexión,
diagrama de estados. Gestión de TCP de los flujos de datos interactivos (ACKs
retardados y algoritmo de Nagle) y no interactivos (control de flujo y control de
congestión). Temporizador de persistencia y temporizador de keepalive.
El contenido teórico se complementa con diversas prácticas de manejo de
sockets en C en UNIX, para considerar la aplicación directa de los conceptos
teóricos descritos más relevantes.
135
II (Ciclo 1)
Sistemas Operativos II Cuatrimestral, Obligatoria,6 Créditos (3T + 3P)
Descriptores
- Sistemas de ficheros en sistemas operativos actuales.
- Planificación de entrada/salida.
- Sincronización de procesos y programación concurrente.
- Memoria virtual.
- Sistemas operativos distribuidos.
Profesores
Antonio Yañez Izquierdo
afyanez@dc.fi.udc.es
afyanez@fi.pri
Objetivos docentes
Bibliografía
Recomendada
Bach, M. J. The design of the Unix Operating System. Prentice Hall.
McKusick, et al. Design and implementation of the 4.4 BSD operating system. Addison
Wesley.
Vahalia. UNIX Internals. Prentice Hall.
Complementaria
Goodheart, et al. Magic Garden Explained. Prentice Hall.
Márquez. UNIX Programación Avanzada. Ra-ma.
136
Contenido
1. Introducción al s.o. UNIX.
o Breve historia
o BSD y System V
o Standards
2. Procesos en UNIX.
o Modo, espacio y contexto
o Estructura de un proceso
o Ejecución en modo Kernel: Llamada al sistema, excepción e interrupción
o Planificación
o Señales
o Creación y terminación de procesos
o Comunicación entre procesos
3. Sistema de ficheros de UNIX.
o Implementación. Estructura física. Inodos
o Buffer cache: estructura y funcionamiento
o Asignación y desasignación de espacio
o Llamadas al sistema para el sistema de ficheros
o Sistema de ficheros ffs. Grupos de cilindros. Bloqueos de archivos
o La interfaz vnode
4. Memoria en UNIX.
o Introducción. Regiones
o Espacio de direcciones de los procesos
o Organización de la memoria física
o Robo de páginas e intercambio
137
Teoría de Autómatas y
Lenguajes Formales
II (Ciclo 1)
Cuatrimestral, Troncal, 9 Créditos
(6T + 3P)
Descriptores
- Teoría de autómatas y lenguajes formales.
- Máquinas de secuenciales y autómatas finitos.
- Máquinas de Turing.
- Funciones recursivas.
Profesores
AntonioBlanco Ferro
Jorge Graña Gil
blanco@dc.fi.udc.es
grana@dc.fi.udc.es
blanco@fi.pri
grana@fi.pri
Objetivos docentes
Teoría de autómatas y lenguajes formales. Máquinas secuenciales y autómatas finitos.
Máquinas de Turing. Funciones recursivas.
Bibliografía
Recomendada
Kelley, D. Teoría de autómatas y lenguajes formales. Prentice-Hall, 1995.
Sudkamp, T. A. Languages and machines. Addison-Wesley, 1988.
Hopcroft, J. E., Motwani, R. y Ullman, J.D. Introducción a la teoría de autómatas,
lenguajes y computación. Addison-Weley, 2002.
Complementaria
Hopcroft, J. E. et al. Introduction to automata theory, languages, and computation.
Addison-Wesley, 1979.
Brookshear, G. Teoría de la computación. Addison-Wesley Iberoamericana, 1993
138
Contenido
1. Alfabetos y Lenguajes
o Alfabetos, palabras y lenguajes.
o Operaciones con cadenas.
o Operaciones con lenguajes.
2. Lenguajes Regulares
o Lenguajes sobre alfabetos.
o Lenguajes y expresiones regulares.
o Autómatas finitos deterministas.
o Autómatas finitos deterministas y lenguajes.
o Autómatas finitos no deterministas.
o Equivalencia entre AFD y AFN.
o l-transiciones.
o Autómatas finitos y expresiones regulares.
o Propiedades de los lenguajes regulares.
3. Lenguajes Independientes del Contexto
o Gramáticas y lenguajes regulares.
o Gramáticas independientes del contexto.
o Arboles de derivación
o Simplificación de gramáticas independientes del contexto.
o Forma normal de Chomsky
o Propiedades de los lenguajes independientes del contexto.
o Autómatas de pila.
o Autómatas de pila y lenguajes independientes del contexto.
o Forma normal de Greibach.
4. Máquinas de Turing
o Definición de máquina de Turing.
o Máquinas de Turing como aceptadoras de lenguajes.
o Construcción de máquinas de Turing.
o Modificaciones de las máquinas de Turing.
o Máquina de Turing Universal.
5. Máquinas de Turing y Lenguajes
o Lenguajes aceptados por máquinas de Turing.
o Lenguajes recursivos y lenguajes recursivamente enumerables.
o Gramáticas no restringidas y lenguajes recursivamente enumerables.
o Lenguajes sensibles al contexto y la jerarquía de Chomsky.
6. Resolubilidad
o El problema de la parada.
o El problema de correspondencia de Post.
o Irresolubilidad en lenguajes independientes del contexto.
7. Funciones mi - recursivas
o Funciones recursivas primitivas.
o Funciones división.
o Funciones parciales computables.
o Funciones mi – recursivas
o La tésis de Church-Turing.
139
II
Anual, Troncal, 10.5 Créditos
(6T + 4.5P)
Arquitectura e Ingeniería de
Computadores
Descriptores
- Introducción al procesamiento paralelo.
- Arquitecturas microprocesador basadas en ILP.
- Arquitecturas vectoriales.
- Arquitecturas SIMD.
- Arquitecturas multiprocesador
Profesores
Ramón Doallo Biempica
Juan Touriño Domínguez
doallo@udc.es
juan@udc.es
Objetivos docentes
Bibliografía
Recomendada
J. L. Hennessy, D. A. Patterson. Computer Architecture: A Quantitative Approach.
Morgan Kaufmann, 1996
D. A. Patterson, J. L. Hennessy. Estructura y Diseño de Computadores. Reverté, 2000
Complementaria
D. Sima, T. Fountain, P. Kacsuk. Advanced Computer Architecture. Addison-Wesley,
1997
K. Hwang, Z. Xu. Scalable Parallel Computing. McGraw-Hill, 1998
D. E. Culler, J. P. Singh. Parallel Computer Architecture: a Hardware/Software
Approach. Morgan Kaufmann Pub., 1999
A. S. Tannebaum. Structured Computer Organization. Prentice Hall, 1999
140
Contenido
1.
2.
3.
4.
5.
6.
7.
Introducción al procesamiento paralelo
Paralelismo a nivel de instrucción
Procesamiento vectorial
Paradigmas de programación paralela
Multiprocesadores de memoria compartida
Multiprocesadores de memoria físicamente distribuida
Redes de interconexión para sistemas multiprocesador
141
Análisis de Sistemas
Informáticos
II
Cuatrimestral, Troncal, 7.5 Créditos (6T
+ 1.5P)
Descriptores
- Análisis y definición de requisitos.
- Análisis de aplicaciones
Profesores
Miguel Rodríguez Rubio
mrr@dc.fi.udc.es
Objetivos docentes
Iniciar a los alumnos en la aplicación de métodos de ingeniería para el desarrollo de
proyectos. Explicación y discusión de diversas técnicas de análisis, diseño y modelado,
basadas en el paradigma de la Orientación a Objetos, como conocimiento
imprescindible para el ejercicio de la Ingeniería Informática, y con el fin de que el
alumno sea capaz de concebir especificaciones superiores en función de los objetivos y
necesidades de los usuarios, y del entendimiento del contexto, construyendo de esta
manera soluciones técnica y conceptualmente eficientes. Profundizar en el empleo de
UML como lenguaje de modelado
Bibliografía
Recomendada
Rumbaugh. Object-Oriented Modeling and design. Ed. Prentice Hall, 1991.
Booch, Jacobson y Rumbaugh. The Unified Modeling Language. UML. Vol.
Introduction.Volumen User guide. Ed. Addison Wesley, 1998.
Braude E. Software Enginneering. An Object-Oriented Perspective. Ed. John Wiley and
Sons Inc, 2001.
Larman C. Applying UML and Patterns. Ed. Prentice Hall, 1998.
Erik Erikson H. Business Modeling with UML (Business paterns at work). John Wiley
and Sons Inc.
Complementaria
Developing Businnes Objects.Managing Object Technology Series. Ed. Cambridge
University Press.
Álvarez López et al. Problemas de Programación y Control de Proyectos en Ingeniería.
Escuela Politécnica Superior de Lugo. Ed. Universisdad de Santiago de Compostela .
De Cos Castillo. Teoría General del Proyecto. Vol 1, Ed. Síntesis, 1995.
142
Contenido
1. Introducción.
o El método de Ingeniería.
o Arquitecturas de Integración de Sistemas.
o Arquitecturas de la Información empresarial.
o Planificación de proyectos empleando grafos de actividades.
2. Análisis y Diseño Orientados a objetos.
o Conceptos Fundamentales de la Orientación a Objetos: Objetos.
Identidad. Clasificación. Encapsulación. Polimorfismo. Herencia.
o Limitaciones semi-formales y algunos conceptos avanzados.
3. Resumen de Conceptos OMT.
o Modelo de Objetos.
o Modelo Dinámico.
4. Visión general de la metodología O.M.T.
o Análisis.
o Diseño del Sistema.
o Diseño de Objetos.
5. El Lenguaje de Modelado Unificado (UML).
o Generalidades sobre UML. Vistas y construcciones de extensión.
o La vista estática.
o La vista de los Casos de Uso.
o La vista de la Máquina de Estados.
o La vista de las actividades.
o La vista de interacción.
o Las vistas físicas.
o La vista de Gestión del Modelo.
o Mecanismos de extensión.
o Resumen de la notación discusión de la semántica de algunos términos, y
ejemplos.
6. Comentarios sobre el Modelado en UML.
o Modelado estructural (básico y avanzado).
o Modelado de Comportamientos (básico y avanzado)
o Modelado de la Arquitectura.
7. Introducción a los patrones de análisis.
PRÁCTICAS:
1.
2.
3.
4.
5.
Memoria y planteamiento de proyectos.
Planificación de un proyecto de sistemas.
Determinación de clases y asociaciones.
Integración de aplicaciones legacy en un contexto de trabajo cooperativo.
Modelado de un sistema de gestión económica
143
II
Anual, Troncal, 9 Créditos (6T + 3P)
Bases de Datos II
Descriptores
- Modelo Entidad/Relación.
- Modelo relacional.
- Modelo en red.
- Técnicas avanzadas de gestión.
Profesores
Luis A. González Ares
lgares@udc.es
lgares@fi.pri
Objetivos docentes
Comprensión del proceso de diseño de una base de datos, con un profundo
conocimiento del modelo entidad relación extendido, incluyendo el tratamiento del
tiempo en la modelización conceptual, y la conversión de los esquemas conceptuales al
modelo relacional. Analizar los elementos implicados en la administración de un SGBD
y sus aplicaciones: integridad, optimización, catálogo, vistas, técnicas de recuperación y
ejecución concurrente de transacciones, mecanismos de seguridad. Estar capacitado
para diseñar, implementar y explotar un Data Warehouse. Explorar las capacidades de
un SGBD determinado y del SQL, relativas a todo lo anterior.
Bibliografía
Recomendada
Elmasri, R y Navathe, S.B. Fundamentals of Database Systems (3rd edition). AddisonWesley, 2000. (Traducción: Fundamentos de Sistemas de Bases de Datos. AddisonWesley, 2002).
Date, C.J. An Introduction to Database Systems (7th edition). Addison-Wesley, 2000.
(Traducción: Introducción a los Sistemas de Bases de Datos. Prentice Hall, 2001).
Silberschatz, A., Korth, H. y Sudarshan, S. Database System Concepts (4th edition).
McGraw-Hill, 2002. (Traducción: Fundamentos de Bases de Datos. McGraw-Hill,
2002).
Complementaria
Connolly, T. Database Systems. A practical approach to design, implementation and
management (3rd edition). Addison-Wesley, 2002.
Ramakrishnan, R. y Gehrke, J. Database Management Systems (2nd edition). McGrawHill, 2000.
Ullman, J. y Widom, J. A first course in Database Systems. Prentice Hall, 1997.
(Traducción: Introducción a los Sistemas de Bases de Datos. Prentice Hall, 1999).
144
Melton, J. y Simon, A. SQL:1999 - Understanding Relational Language Components.
Morgan Kaufmann, 2001.
Teorey, T. Database Modeling & Design (3rd edition). Morgan Kaufmann, 1999.
Contenido
Revisión de conceptos.
Diseño conceptual.
Conversión a modelo lógico.
Modelización y representación de datos temporales.
Catálogo.
Restricciones de integridad.
Vistas.
Procesamiento y optimización de consultas.
Proceso transaccional y recuperación.
Concurrencia.
Seguridad.
Bases de Datos informacionales.
PRÁCTICAS:
Se desarrollarán habilidades, además de sobre los temas anteriores, acerca de las
posibilidades del lenguaje SQL sobre uno o varios SGBD.
Más información en http://www.dc.fi.udc.es/~lgares/
145
4º Ingeniería Informática
Compiladores
II
Anual, Troncal, 10.5 Créditos (6T + 4.5P)
Descriptores
- Compiladores.
- Traductores e Intérpretes.
- Fases de compilación.
- Optimización de código.
- Macroprocesadores.
Profesores
Bernardino Arcay Varela
Carlos Dafonte Vázquez
cibarcay@udc.es
dafonte@udc.es
cibarcay@fi.pri
Objetivos docentes
El objetivo es familiarizar al alumno con el funcionamiento de los compiladores, el
entorno en que trabajan así como algunas herramientas software para la construcción de
los mismos. Para ello, se estudian las diferentes fases del compilador: análisis (léxico,
sintáctico y semántico) y síntesis (generación de código intermedio, optimización de
código y generación de código objeto).
Bibliografía
Recomendada
Aho, A.V.; Sethi, R.; Ullman, J.D. Compiler: Principles, Techniques, and Tools,
Addison-Wesley, Reading, Massachusetts. 1991, (traducido al español por la misma
editorial)
Sanchis . J.; Galan , C. Compiladores: Teoría y construcción. Ed. Paraninfo, 1987
Complementaria
Hopcroff, J.E. ; Ullman, J. D. Introduction to Automata Theory, Languages and
Computation, Addison-Wesley, Reading, Massachusets. 1979
Sudkamp, T.A. Languages and Machines. Addison-Wesley, Reading, Massachusets,
1988
Hopcroff, J.E. ; Ullman, J. D. Introduction to Automata Theory, Languages and
Computation, Addison-Wesley, Reading, Massachusets. 1979
146
Contenido
MÓDULO I – Conceptos básicos
1. Introducción.
2. Lenguajes y gramáticas.
MÓDULO II - Análisis
3. Análisis léxico.
4. Análisis sintáctico.
5. Acciones semánticas. Evaluación de tipos.
MÓDULO III - Síntesis
6. Generación de código.
7. Optimización de código.
MÓDULO IV - Entorno
8. Tabla de símbolos.
9. Representación de la información. Gestión de la memoria.
MÓDULO V – Complementos
10. Intérpretes.
11. Traductores incrementales.
12. Montadores y cargadores.
147
Diseño de Sistemas de
Información
EI
Cuatrimestral, Troncal, 7.5 Créditos
(4.5T + 3P)
Descriptores
-Análisis y definición de requerimientos.
-Propiedades y mantenimiento del software.
-Diseño de sistemas de entrada/salida.
Profesores
Víctor M. Gulías
Alberto Valderruten
David Cabrero Souto
gulias@dc.fi.udc.es
gulias@fi.pri
valderruten@dc.fi.udc.es valderru@fi.pri
cabrero@udc.es
Objetivos docentes
Comprensión de la necesidad de abordar el desarrollo de sistemas de información
utilizando los conceptos propios de la Ingeniería del Software. Conocimiento de
técnicas y herramientas para el diseño y construcción de aplicaciones. Valoración de la
utilidad de un diseño para la construcción y modificación de aplicaciones. Valoración
de las ventajas que aporta el uso de un lenguaje de modelado unificado. Identificación
de problemas típicos de diseño y soluciones fruto de la experiencia que los abordan
satisfactoriamente.
Bibliografía
Recomendada
Gamma, E.; Helm, R.; Johnson, R. y Vlissides J. Design Patterns: Elements of Reusable
Object-oriented Software. Addison Wesley, 1996.
Booch J.; Rumbaugh J. y Jacobson I. The Unified Modeling Language User Guide.
Addison Wesley, 1999.
Rumbaugh, J.; Jacobson, I. y Booch, J. The Unified Modeling Language Reference
Manual. Addison Wesley, 1999.
Arnold K. y Gosling J. The Java Programming Language. Addison Wesley, 1996.
Complementaria
Cooper J. Java Design Patterns: A Tutorial. Addison Wesley, 2000.
Grand M. Patterns in Java.Vol. I, John Wiley & Sons, 1998.
Larman C. Applying UML and Patterns. Prentice Hall PTR, 1998.
Page-Jones, M. The Practical Guide to Structured Systems Design, 2 ed., Yourdon
Press, 1988.
148
Stevens, P. y Pooley, R. Using UML. Software Engineering with Objects and
Components. Addison Wesley, 1999.
Contenido
1. Introducción
o Definición y objetivos
o El diseño como fase en el proceso de desarrollo
o Principios básicos de diseño
o Introducción a las arquitecturas del software
2. Diseño estructurado
o Conceptos fundamentales
o Diseño estructurado orientado a procesos
o Diseño estructurado orientado a datos
o Artefactos característicos
3. Diseño orientado a objetos
o Conceptos fundamentales
o Diferencias respecto al diseño clásico
o El lenguaje de modelado unificado UML
4. Diseño en base a patrones
o Concepto de patrón de diseño
o Composicionalidad (Composición)
o Asignación de responsabilidades (Proxy, Decorador)
o Delegación (Decorador, Cadena de Responsabilidad)
o Bajo acoplamiento e instanciación (Prototipo, Negociador, Instancia
Única)
o Alta cohesión y división en subsistemas (Fachada)
o Modelado de comportamiento dinámico (Estado)
o Reutilización (Estrategia, Iterador)
o Dependencias entre objetos (Observador)
o Refactorización del diseño (Método de Fabricación, Método Plantilla)
o Preparación para el cambio (Visitante)
o Encapsulación y abstracción (Comando, Recuerdo)
o Adaptación de interfaces (Adaptador, Puente, Fábrica abstracta)
o Manejo de la complejidad (Mediador)
5. Diseño por contrato
o Necesidad de formalismo en el modelado
o Noción de contrato
o Precondiciones, postcondiciones e invariantes
o Contratos y UML: OCL, Object Constraint Languaje
Más información en http://www.lfcia.org/dsi/
149
Inteligencia Artificial
II
Anual, Troncal, 10.5 Créditos (7.5T + 3P)
Descriptores
- Heurística.
- Sistemas basados en el conocimiento.
- Aprendizaje.
- Percepción.
- Razonamiento.
Profesores
Vicente Moret Bonillo
Amparo Alonso Betanzos
Bertha Guijarro Berdiñas
Mariano Cabrero Canosa
Eduardo Mosqueira Rey
civmoret@udc.es
ciamparo@udc.es
cibertha@udc.es
cicanosa@udc.es
eduardo@udc.es
vicente@fi.pri
amparo@fi.pri
bertha@fi.pri
mariano@fi.pri
eduardo@fi.pri
Objetivos docentes
- Introducir formalmente los conceptos básicos de la inteligencia artificial.
- Definir el marco de trabajo como un espacio de estados.
- Plantear la búsqueda heurística como un procedimiento para resolver problemas
- Desarrollar y discutir diversos formalismos para la representación del conocimiento.
- Desarrollar y discutir diversos modelos de razonamiento, categórico y con
incertidumbre.
- Aprender los fundamentos de diseño, construcción y validación de sistemas basados
en conocimiento.
Bibliografía
Recomendada
Russel, S. y Norvig, P. Inteligencia Artificial. Un enfoque moderno. Prentice-Hall,
1996.
Rich, E. Inteligencia Artificial. Ed. G. Gili eds, 1988.
Rich y Knight. Inteligencia Artificial. McGraw-Hill, 1994.
Moret, V. et al. Fundamentos de Inteligencia Artificial. Servicio Publicaciones UDC,
2000.
Nilsson, N.J. Inteligencia Artificial: Una nueva síntesis. McGraw Hill, 2000.
Complementaria
Borrajo, J. y Martínez y Pazos. Inteligencia Artificial: Métodos y Técnicas. Centro de
Estudios Ramón Areces eds., 1993.
150
Nilsson. Principios de Inteligencia Artificial. Díaz de Santos, 1987.
Rolston. Principios de Inteligencia Artificial y Sistemas Expertos. McGraw-Hill, 1990.
Waterman. A guide to expert systems. Addison-Wesley, 1986.
Winston. Inteligencia Artificial. Addison-Wesley, 1992.
Contenido
1. Introducción
2. Resolución de problemas
3. Representaciones formales del conocimiento
4. Métodos estructurados de representación del conocimiento
5. Representación del conocimiento temporal
6. Sistemas de producción
7. Razonamiento categórico y corrección bayesiana
8. Razonamiento probabilístico
9. Factores de certidumbre
10. Teoría evidencial
11. Conjuntos difusos
12. Introducción a la Ingeniería de Conocimiento
13. Sistemas de pizarras
14. Sistemas inteligentes híbridos
15. Verificación y validación de sistemas inteligentes
151
Matemática Discreta
2
II (Ciclo 2)
Cuatrimestral, Obligatoria, 6 Créditos (4.5T +
1.5P)
Descriptores
- Números especiales
- Funciones generatrices
- Convolución
- Procesos infinitos
Profesores
José Luis Freire Nistal
José Luis Doncel Juárez
freire@fi.udc.es
doncel@dc.fi.udc.es
freire@lfcia.org
Objetivos docentes
El objetivo principal es introducir al alumno en las herramientas formales para verificar
sistemas informáticos. En la actualidad, cubre también un complemento de
combinatoria que aún no ha encontrado cabida en las asignaturas del primer ciclo.
Bibliografía
Recomendada
Grimaldi, R. P., Matemáticas discreta y combinatoria, 3ª edición, Ed. Addison-Wesley
Iberoamericana.
Mott, J.L., Kandel, A. y Baker, T.P., Discrete Mathematics for computers scientists &
mathematicians, Ed. Prentice Hall
Graham, R.L., Knuth, D.E. y Patashnik, O., Concrete Mathematics, a foundation for
computer science, Ed. Addison-Wesley.
Liu, C.L., Elementos de Matemáticas Discretas, 2ª edición, Ed. McGraw-Hill
Mitchell, John C., Foundations for programming Languages, MIT Press
Complementaria
No disponible
152
Contenido
Combinatoria y Recursión
1. Principios fundamentales del conteo.
Las reglas de la suma y el producto. Tipos de distribuciones: Variaciones,
permutaciones, y combinaciones con y sin repetición. Principio de inclusión
exclución.
2. Funciones generatrices.
Función generatriz de una sucesión. Operaciones con funciones generatrices.
Aplicación de las funciones generatrices a los problemas de conteo. El operador
suma. Función generatriz exponencial y su aplicación.
3. Relaciones de recurrencia lineales.
Definción de los distintos tipos de relación de recurrencia. Relaciones de
recurrencia no homgéneas. Cálculo de la solución de una relación de recurrencia
por métodos directos y utilizando funciones generatrices. Algoritmo divide y
vencerás.
Sistemas de Tipos
-
Sistemas de tipos.
Razonamiento automático.
Manejo de pruebas.
Generación de código.
Más información en < http://www.lfcia.org/staff/freire/md2-01>
153
II
Cuatrimestral, Obligatoria, 4.5 Créditos (3T
+ 1.5P)
Ingeniería del
Conocimiento
Descriptores
- Sistemas basados en el conocimiento
- Aprendizaje
- Heurística
Profesores
Amparo Alonso Betanzos
Bertha Guijarro Berdiñas
ciamparo@udc.es
cibertha@udc.es
amparo@fi.pri
bertha@fi.pri
Objetivos docentes
Adquirir el concepto de Ingeniería de Conocimiento, su ubicación dentro de la
Inteligencia Artificial y su relación con la Ingeniería del Software. Utilizar
metodologías de modelado de conocimiento, conocer y aplicar técnicas de adquisición
de conocimiento, manejar entornos específicos de desarrollo de sistemas basados en
conocimiento, establecer los principios básicos de diseño e implementación de los
sistemas basados en conocimiento, establecer los problemas asociados con la evaluación
de estos sistemas.
Bibliografía
Recomendada
Schreiber, G. et al. Knowledge engineering and management. The CommonKads
Methodology. MIT Press, 2000.
Guida, G. y Tasso, C. Design and development of knowledge-based systems. John Wiley
and Sons, 1994.
González, A.J. y Dankel, D. The engineering of knowledge-based systems. PrenticeHall, 1993.
Stefik, M. Introduction to knowledge systems. Morgan Kaufmann, 1995.
Gómez, J. y Montes y Pazos. Ingeniería del conocimiento. Ramón Areces, 1997.
Complementaria
Jackson, P. Introduction to expert systems. Addison-Wesley, 1999.
Russel, S. y Norvig, P. Inteligencia Artificial. Un enfoque moderno. Prentice-Hall,
1996.
154
Contenido
TEORÍA:
1. La Ingeniería de Conocimiento y los Sistemas basados en conocimiento.
Análisis de viabilidad y especificación de requisitos y diseño.
2. Metodologías para la construcción de sistemas basados en conocimiento, con
especial énfasis en las aproximaciones de modelado de conocimiento, y en
particular centrándonos en la CommonKads.
3. El modelado del conocimiento en la metodología CommonKads. Construcción
de los modelos y plantillas de modelos. Elementos reutilizables.
4. Técnicas para la adquisición del conocimiento. Entrevistas, análisis de
protocolos, técnicas de escalamiento psicológico, técnica de constructos
personalizados y emparrillado, etc. Técnicas de adquisición a partir de un grupo
de expertos.
5. Aprendizaje máquina. Técnicas de adquisición automática de conocimiento.
6. Diseño e Implementación de sistemas basados en conocimiento usando
Commonkads.
7. Evaluación de los sistemas basados en el conocimeinto. Sistemas de verificación
automática. Métodos de validación cualitativos y cuantitativos. Usabilidad y
utilidad de los sistemas basados en conocimiento.
PRÁCTICAS
Diseño e implementación de un sistema basado en conocimiento usando CommonKads
como metodología y en el entorno de desarrollo Nexpert Object.
155
5º Ingeniería Informática
II
Ingeniería del Software Cuatrimestral, Troncal, 7.5 Créditos (4.5T + 3P)
Descriptores
1. Calidad en Ingeniería del Software.
2. Planificación y Gestión de proyectos informáticos.
3. Gestión de configuraciones.
Profesores
Javier Andrade Garda
Juan Ares Casal
Rafael García Vázquez
Santiago Rodríguez Yáñez
jag@udc.es
juanar@udc.es
rafael@udc.es
santi@udc.es
andrade@fi.pri
rafael@fi.pri
santiago@fi.pri
Objetivos docentes
Se pretende introducir la noción de calidad y su aplicación al desarrollo de software.
Para ello se dará una pequeña introducción a los patrones de calidad más importantes y
una visión de su aplicación en las empresas de desarrollo de software. A continuación se
tratarán los temas más destacados en los primeros pasos de mejora de un proceso
software para lograr una adecuada gestión de la calidad.
Bibliografía
Recomendada
Pressman, R.S. Ingeniería del Software. Un enfoque práctico, 5ª ed. McGraw Hill,
1997.
Kehoe, R. y Jarvis, A. ISO 9000-3. A Tool for Software Product and Process
Improvement. Springer, 1995.
López-Cortijo de Amescua. Ingeniería del Software. Aspectos de Gestión. IIIS
(www.iiis.es), 1998.
McConnell, S. Desarrollo y gestión de proyectos informáticos. McGraw Hill, 1996.
IEEE Standard for Software Configuration Management Plans, Estándar IEEE 8281990.
Complementaria
Liebowitz, J. y Beckman, T. Knowledge Organizations. What Every Manager Should
Know. CRC Press, 1998.
IEEE Guide to Software Configuration Management. Estándar IEEE 1042-1987.
156
IEEE Guide to Software Requirements Specification. Estándar IEEE 830-1984.
IEEE Recommended Practice for Software Requirements Specifications. Estándar IEEE
830-1998.
Normas de la familia ISO 9000.
Contenido
TEORÍA:
1.
2.
3.
4.
5.
6.
Introducción a la gestión de la calidad en el desarrollo del SW.
Ciclos de vida.
Gestión de proyectos.
Gestión de riesgos.
Gestión de la configuración.
Gestión del conocimiento.
PRÁCTICA:
1. Sistemas de calidad en empresas.
2. Práctica de Ciclos de Vida y Gestión de Proyectos.
3. Prácticas de Gestión de Proyectos sobre MS-Project.
157
Redes
II (Ciclo 2)
Anual, Troncal, 10.5 Créditos (6T + 4.5P)
Descriptores
- Arquitectura de redes.
- Comunicaciones.
- Sistemas distribuidos
Profesores
Victor Manuel Carneiro Díaz viccar@udc.es
Carmen Guerrero López
clopez@udc.es
viccar@fi.pri
clopez@fi.pri
Objetivos docentes
Formar a los futuros ingenieros informáticos en los aspectos básicos de las actuales
tecnologías de redes de comunicaciones. En un primer cuatrimestre se abordarán los
principales aspectos de las tecnologías de redes más usadas en la actualidad, como
Frame Relay, ATM, ADSL, RDSI, Redes HFC, Redes LAN, etc...
En el segundo cuatrimestre se parte de un conocimiento básico de la arquitectura de
protocolos de TCP/IP para centrarse en la evolución de dicha arquitectura para dar
solución a los problemas de diseño de las actuales redes que se están materializando,
tanto en extensiones o nuevas versiones de los protocolos originales (por ejemplo,
IPv6), como en la aparición de nuevos protocolos (IPSec, MPLS, RSVP).
Bibliografía
Recomendada
Stallings. Comunicaciones y Redes de Computadores. 6 ed. Prentice Hall, 2000.
Stallings. Local and Metropolitan Area Networks. Prentice Hall, 2000.
Doraswamy, Naganand; Harkins, Dan. Ipsec. The New Security Standard for the
Internet, Intranets and Virtual Private Networks. Prentice Hall, 1999.
Metz, Christopher Y. IP Switching. Protocols and Architectures. McGraw-Hill
Computer Communications Series, 1998.
Zheng Wang; Kaufmann, Morgan. Internet QoS. Architectures and Mechanisms for
Quality of Service. 2001.
Keshav, S. An Engineering Approach in Computer Networking. Addison-Wesley
Professional Computing Series, 1997.
158
Complementaria
Tanenbaum. Redes de Computadores. 3 ed., Prentice Hall, 1997
Starr. Undestanding Digital Subscriber Line Technology. 1999.
Griffiths. ISDN Explained. Worldwide Network an Applications Technology. 1998.
Stevens, W. TCP/IP Illustrated. Vol 1, Addison-Wesley Professional Computing Series,
1994.
Loshin,Peter; Kaufmann, Morgan. IPv6 clearly explained. 1999.
Perkins, Charles E. Mobile IP Design Principles and Practices. Addison-Wesley, 1998.
Pullen, J Mark. Understanding Internet Protocols. Wiley, 2000
Minoli, Daniel; Schmidt, Andrew. Internet Architectures. Wiley, 1999.
Contenido
PRIMER CUATRIMESTRE:
Parte I
Introducción
Tema 1: Aspectos Generales de las Redes de Comunicaciones
Parte II
Tecnologías LAN
Tema 2: Redes de área Local
Tema 3: Interconexión de Redes
Parte III
Tecnologías WAN
Tema 4: Conmutación (X.25, Frame Relay)
Tema 5: Red Digital de Servicios Integrados (RDSI)
Tema 6: Redes de Acceso Residencial (xDSL, HFC)
Tema 7: ATM
SEGUNDO CUATRIMESTRE:
1. Introduccción
1. Contexto
2. Objetivos
159
2.
3.
4.
5.
6.
3. Ingeniería de protocolos
4. Arquitectura TCP/IP
IPv6
1. Introducción
2. Mapa de direcciones
3. Autoconfiguración
4. Enrutamiento
Conmutación IP
1. Introducción
2. Tag Switching
3. IP Switching
4. MPLS (Multiprotocol Label Switching)
Calidad de Servicio
1. Introducción
2. Enfoque tradicional best effort
3. IntServ (Integración de Servicios)
4. DiffServ (Difereciación de Servicios)
5. RSVP (Resource Reservation Protocol)
IP Móvil
1. Introducción
2. Acceso al medio, WCDMA
3. Arquitectura de nodo móvil
4. Protocolo de Descubrimiento de Routers
Seguridad
1. Introducción
2. A nivel de protocolo, IPSec
3. A nivel de aplicación, Cortafuegos
160
Optativas
Arquitectura Cliente
Servidor
II (Ciclo 2) - ITIG
Cuatrimestral, Optativa, 6 Créditos (4T +
2P)
Descriptores
- Comunicación avanzada programa a programa.
- Programas de interfaces de comunicaciones.
- Casework services.
- Procesos y arquitecturas cliente/servidor.
- Proceso cooperativo.
- Interfaces gráficas de usuario.
- Unidad lógica de trabajo (LUW).
- Transacciones y mensajes.
- Protocolos de comunicaciones.
Profesores
Sebastián Bamonde
Rodríguez
sebas@udc.es
cisbrsbr@fi.pri
Objetivos docentes
Conocer el paradigma del modelo cliente/servidor, explorando los elementos de base
que lo sustentan y las diferentes tecnologías que se apoyan en este modelo.
Bibliografía
Recomendada
Orfaly, R., Harkey, D. y Edwards, S. Essential Client/Server Survival Guide. Jon Wiley
& Sons, 1999.
Comer, D. y Stevens, D. Internetworking with TCP/IP Vol III : Client/Server
Programming and Applications. Prentice Hall, 1996.
Complementaria
Boar, B.H.. Cost-Effective Strategies for Client/Server Systems. Wiley.
Koelmel, R.L.. Implementing Application Solutions in a Client/Server Environment.
Wiley.
161
Contenido
1. Descripción del modelo
2. Componentes: Clientes y Servidores
3. Conceptos de Middleware
4. Servidores de Base de Datos
5. Servidores Transaccionales
6. Servidores de Trabajo en Grupo
7. Cliente/Servidor en arquitectura de Objetos Distribuidos
8. Cliente/Servidor e Internet
162
Análisis y Diseño Orientado a
Objetos
II (Ciclo 2)
Cuatrimestral, Optativa, 6 Créditos
(3T + 3P)
Descriptores
- Análisis y diseño con el paradigma objetual
Profesores
Fernando Bellas Permuy
fbellas@udc.es
Objetivos docentes
Esta asignatura se centra en el diseño e implementación con tecnologías orientadas a
objetos para la integración de aplicaciones heterogéneas: CORBA y los Servicios Web.
CORBA es un framework estándar ampliamente usado en el mundo de la industria, del
que existen numerosas implementaciones comerciales y gratuitas, para la construcción
de aplicaciones distribuidas heterogéneas con el paradigma de la orientación a objetos.
CORBA permite construir aplicaciones distribuidas (principalmente en intranets)
mediante la invocación de métodos de objetos remotos, sin que importe el lenguaje en el
que estén escritos el llamador y el llamado, ni las plataformas (s.o. y hw.) y redes de
comunicación intermedias. Existen implementaciones de CORBA para casi todos los
sistemas operativos y los lenguajes más usuales. CORBA es por tanto, una tecnología
ideal (en intranets) para integrar aplicaciones escritas en distintos lenguajes. Los
Servicios Web constituyen la tecnología de integración de aplicaciones heterogénas más
reciente, que usa XML sobre HTTP como formato de intercambio de información entre
aplicaciones heterogéneas, y ha sido adoptada rápidamente por la industria, dado que
complementa muy bien aquellos dominios en los que CORBA no se ha podido usar de
manera satisfactoria (integración de aplicaciones heterogéneas sobre Internet). Ambas
tecnologías son, por tanto, complementarias. De hecho, los principales fabricantes de la
tecnología de Servicios Web son también los de CORBA.
Bibliografía
Recomendada
M. Henning, S. Vinoski, Advanced CORBA Programming with C++, Addison-Wesley,
1999
G. Brose, A. Vogel, K. Duddy, Java Programming with CORBA: Advanced Techniques
for Building Distributed Applications, 3rd edition, OMG Press, John Wiley and Sons,
2001
E. R. Harold, W. S. Means, XML in a nutshell: A Desktop Quick Reference, O. Reilly ,
2001
B. McLaughlin, Java and XML, 2nd edition, O. Reilly, 2001
163
Complementaria
E. Gamma, R. Helm, R. Johnson, J. Vlissides, Design Patterns: Elements of Reusable
Object-Oriented Software, Addisson-Wesley, 1994
K. Arnold, J. Gosling, D. Holmes, The Java Programming Language, Addison-Wesley,
2000
G. Booch, I. Jacobson, J. Rumbaugh, Unified Modeling Language User Guide,
Addison-Wesley, 1998
I. Jacobson, G. Booch, J. Rumbaugh, The Unified Software Development Process,
Addison-Wesley, 1999
Contenido
Tema 1. Introducción a las tecnologías de integración de aplicaciones
Tema 2. Introducción a CORBA
Tema 3. Diseño e implementación con CORBA. Caso de estudio: Java
Tema 4. Introducción a XML
Tema 5. Diseño e implementación con Servicios Web. Caso de estudio: Java
Más información en http://www.tic.udc.es/~fbellas/teaching/adoo
164
Auditoría Informática
II (Ciclo 1) / ITIG
Cuatrimestral, Optativa, 6 Créditos (4T + 2P)
Descriptores
- Aproximación a la psicología de la organización.
- Aproximación analítica.
- Técnicas de entrevistas y cuestionarios.
Profesores
Serafín Caridad Simón
scaridad@dc.fi.udc.es
ciserafi@fi.pri
Objetivos docentes
Bibliografía
Recomendada
DeMarco, T. Controlling Software Projects. 1982.
Davis, Gordon B., Donald Adams and Carol A. Schaller. Auditing an EDP. Institute of
Certified Public Accountants. 1981.
Parker, Donn B. Crime by Computer. N.Y. 1976.
Toigo, J.W. Disaster Recovery Planning. Managing Risk and Catastrophe in
Information Systems. Prentice Hall. 1989.
Weber, R.. EDP Auditing: Conceptual Foundations and Practice. McGraw-Hill Series
in Management Information Systems. 1982.
Complementaria
Caridad, S. La Importancia de Control de Calidad en la Gestión de Proyectos
Informáticos (separata de El Reto de la Informática en la Década de los Noventa).
Publicaciones de la Fundación Alfredo Brañas. Velograf. S.A, 1991.
EDP, Control Objectives. Auditors Foundation for Education & Research, 1977.
Ehrsam, W.F. et al. A Cryptographic Key Management System for Implementing the
Data Encryption Standard. IBM Systems Journal, 1978.
Miller, Curt. Union Dime Picks Up the Pieces in $1.5 Million Embezzlement Case.
1973.
Owsowitz, S. and A. Sweetland. Factors Affecting Coding Errors. The Rand
Corporation, 1965.
165
Contenido
Tema 1 Introducción
1.1 Visión General de la Auditoría Informática
1.2 Aproximación General a Auditoría Informática
1.3 Organización y Gestión de la Función de Auditoría Informática
Tema 2 El Marco de Control de Gestión
2.1 Gestión General y Gestión de Auditoría Informática
2.2 Desarrollo de Sistemas
2.3 Gestión de la Programación
2.4 Administración de Bases de Datos
2.5 Gestión de Operaciones
Tema 3 El Marco de Control de Aplicación
3.1 Captura de Datos, Preparación y Controles de Entrada
3.2 Controles de Acceso y Comunicaciones
3.3 Controles de Entrada
3.4 Controles de Proceso
3.5 Controles de Salida
3.6 Controles de Pistas de Auditoría
3.7 Controles de Copias de Seguridad y de Recuperación
Tema 4; Recogida de Evidencias
4.1 Software de Auditoría Generalizado
4.2 Software de Sistemas y Software de Auditoría Especializado
4.3 Revisión de Código, Datos de Prueba y Comparación de Código
4.4 Técnicas de Auditoría Concurrente
4.5 Entrevistas, Cuestionarios y Diagramas de Flujo de Control
4.6 Herramientas de Monitorización del Rendimiento
Tema 5 Evaluación de las Evidencias
5.1 Evaluación de la Salvaguardia de Bienes y de la Integridad de Datos
5.2 Evaluación de la Efectividad del Sistema
5.3 Evaluación de la Eficiencia del Sistema
Tema 6 El Futuro de la Auditoría Informática
6.1 Tendencia al Cambio de la Función de Auditoría Informática
166
Arquitecturas Tolerantes a
Fallos
II (Ciclo 2)
Cuatrimestral, Optativa, 6 Créditos (4T
+ 2P)
Descriptores
Fiabilidad
Redundancia
Tolerancia a fallos
Testabilidad
Profesores
Ramón Doallo Biempica
doallo@udc.es
doallo@fi.pri
Objetivos docentes
Bibliografía
Recomendada
D. K. Pradham. Fault-Tolerant Computer System Design. Prentice Hall. 1996.
B. W. Johnson. Design and Analysis of Fault Tolerant Digital Systems. Addison
Wesley. 1989.
Complementaria
D. P. Siewiorek, R. S. Swarz. Reliable Computer System. Digital Press. 1992.
P. K. Lala. Self-Checking and Fault Tolerant Digital Design. Morgan Kaufmann. 2000.
M. L. Shooman. Reliability of Computer Systems and Networks. J. Wiley and Sons, Inc.
2002.
167
Contenido
-
-
-
-
Introducción a la tolerancia a fallos.
o Objetivos de la tolerancia a fallos.
o Aplicaciones de la tolerancia a fallos.
o Fallos, errores y mal funcionamiento.
Técnicas de evaluación de sistemas tolerantes a fallos.
o Métodos de evaluación cuantitativos: razón de fallos, función de
fiabilidad, MTTF, MTBF, MTTR, cobertura de fallos.
o Modelado de la fiabilidad y disponibilidad.
Técnicas de diseño tolerante a fallos.
o Redundancia hardware.
o Redundancia de información.
o Redundancia en tiempo.
o Tolerancia a fallos software.
Torelancia a fallos en sistemas distribuidos.
o Tolerancia a fallos en sistemas multiprocesador.
o Tecnología RAID.
168
Aspectos Jurídicos y Deontológicos
de la Informática
II (Ciclo 1) - ITIG - ITIS
Cuatrimestral, Optativa, 6
Créditos
II (4T + 2P); ITIG, ITIS
(6T)
Descriptores
- Derecho
- Deontología
- Ética. Autorregulación. Códigos de conducta
- Derechos humanos. Intimidad. Liberdad informática. Autodeterminación informativa.
Privacy
- Internet. Nombres de dominio
- Derechos de autor. Copyright
- Hacking
Profesores
Pedro Serna Bermúdez
José Antonio Seoane Rodríguez
pserna@udc.es
jaseoane@udc.es
Objetivos docentes
- Exponer un panorama de las relaciones entre el Derecho y la Informática.
- Conocer y manejar las categorías y los conceptos jurídicos básicos aplicables a la
Informática.
- Examinar las repercusiones de las tecnologías de la información en la estructura
jurídica y política de nuestras sociedades.
- Analizar las respuestas jurídicas, éticas y deontológicas a las cuestiones y los
interrogantes que pantea la Informática y reflexionar sobre su significado y su alcance.
Bibliografía
Recomendada
AMADEO GADEA, S. L., Informática y nuevas tecnologías, Madrid, La Ley, 2001.
Davara Rodríguez, M. A. Manual de Derecho informático. Pamplona, Aranzadi, 3.ª
edición, 2001.
HIMANEN, P., La ética del hacker y el espíritu de la era de la información, tradución
de F. Meler Ortí, Barcelona, Destino, 2002.
MIGUEL ASENSIO, P. de, Derecho privado de Internet, Madrid, Tecnos, 3.ª edición,
2002.
ORTS BERENGUER, E.; ROIG TORRES, M., Delitos informáticos y delitos comunes
cometidos a través de la informática, Valencia, Tirant lo Blanch, 2001.
169
PÉREZ LUÑO, A. E., Manual de informática y derecho, Barcelona, Ariel, 1996.
Complementaria
SANZ DE ACEDO HECQUET, E., Marcas renombradas y nombres de dominio en
Internet: en torno a la ciberpiratería, Madrid, Civitas, 2001.
ULL PONT, E., Derecho público de la Informática (Protección de datos de carácter
personal), Madrid, UNED, 2000.
ULL PONT, E., Derecho privado de la Informática, Madrid, UNED, 2000.
CASTELLS, M., La era de la información: economía, sociedad y cultura, versión
castellana de C. Martínez Gimeno y J. Alborés, 3 volúmenes, Madrid, Alianza, 19972001.
CASTELLS, M., La galaxia Internet. Reflexiones sobre Internet, empresa y sociedad,
Barcelona, Plaza & Janés, 2001
ECHEVERRÍA, J., Los señores del aire: Telépolis y el Tercer Entorno, Barcelona,
Destino, 1999.
ESTEVE PARDO, J., Autorregulación. Genésis y efectos, Pamplona, Aranzadi, 2002.
FROSINI, V., Informatica, diritto e società, Milano, Giuffrè, seconda edizione
ampliata, 1992.
170
Contenido
PARTE GENERAL
1. El Derecho: un panorama.
- ¿Qué, por qué y para qué el Derecho?
- Los sujetos del Derecho.
- Los materiales del Derecho.
- Las fuentes del Derecho.
- Los derechos fundamentales.
2. Las relaciones entre el Derecho y la Informática. Derecho informático e
Informática jurídica.
3. Derecho, Deontología y Ética: la coexistencia de diversas ordenes normativas en
la regulación de la Informática.
4. La revolución de la tecnología de la información y la sociedad en la red.
Características y consecuencias jurídicas, éticas y políticas.
PARTE ESPECIAL
1. La protección jurídica de los datos de carácter personal.
2. Informática y propiedad intelectual: la protección jurídica del software, las bases
de datos y otras creaciones informáticas.
3. Informática y propiedad industrial. Especial consideración de los nombres de
dominio.
4. Los delitos informáticos.
5. Internet y Derecho. Otras manifestaciones: el sistema de telecomunicaciones; el
comercio electrónico y la contratación electrónica e informática; el documento
electrónico o informático; la firma electrónica; el teletrabajo y los teleservicios.
6. La vía de autorregulación: los códigos de conducta o códigos tipo.
171
Bases de Datos II
ITIG - ITIS
Cuatrimestral, Optativa, 9 Créditos (5T + 4P)
Descriptores
- Modelo Entidad/Relación.
- Modelos relacionales.
- Modelo en la red.
- Técnicas avanzadas de gestión.
Profesores
Sebastián Bamonde Rodríguez
Serafín Caridad Simón
sebas@udc.es
Luis González Ares
lgares@udc.es
scaridad@fi.udc.es
Objetivos docentes
Comprensión del proceso de diseño de una base de datos, con un profundo
conocimiento del modelo entidad relación extendido, incluyendo el tratamiento del
tiempo en la modelización conceptual, y la conversión de los esquemas conceptuales al
modelo relacional. Analizar los elementos implicados en la administración de un SGBD
y sus aplicaciones: integridad, optimización, catálogo, vistas, técnicas de recuperación y
ejecución concurrente de transacciones, mecanismos de seguridad. Estar capacitado
para diseñar, implementar y explotar un Data Warehouse. Explorar las capacidades de
un SGBD determinado y del SQL, en especial SQL embebido y SQL dinámico.
Revisión de otros modelos : objetos, red y jerárquico.
Bibliografía
Recomendada
Elmasri, R.; Navathe, S. B. Fundamentals of Database Systems (3rd edition). AddisonWesley, 2000.
Date, C. J. An Introduction to Database Systems (7th edition). Addison-Wesley, 2000.
(Traducción: Introducción a los Sistemas de Bases de Datos; Prentice Hall, 2001.)
Complementaria
Connolly, T.; Begg, C.; Strachan, A. Database Systems. A practical approach to design,
implementation and management (2nd edition). Addison-Wesley, 1999.
Ramakrishnan, R.; Gehrke, J. Database Management Systems (2nd edition). McGrawHill, 2000.
Ullman, J.; Widom, J. A first course in Database Systems. Prentice Hall, 1997.
(Traducción: Introducción a los sistemas de bases de datos; Prentice Hall, 1999.)
172
Melton, J.; Simon, A. SQL:1999 - Understanding Relational Language Components.
Morgan Kaufmann, 2001.
Teorey, T. Database Modeling & Design (3rd edition). Morgan Kaufmann, 1999.
Contenido
Revisión de conceptos.
Diseño conceptual.
Conversión a modelo lógico.
Modelización y representación de datos temporales.
Catálogo.
Vistas.
Restricciones de integridad.
Procesamiento y optimización de consultas.
Proceso transaccional y recuperación.
Concurrencia.
Seguridad.
Bases de Datos informacionales.
Otros modelos. Objetos, Red y Jerárquico
PRÁCTICAS:
Se desarrollarán habilidades, además de sobre los temas anteriores, acerca de las
posibilidades del lenguaje SQL sobre uno o varios SGBD.
173
Bases de Datos 3
II (Ciclo 2)
Cuatrimestral, Optativa, 9 Créditos (5T + 4P)
Descriptores
- Modelo entidad-relación extendido.
- Bases de datos orientadas a objetos.
- Bases de datos distribuidas.
Profesores
Nieves Rodríguez Brisaboa
Miguel Rodríguez Penabad
brisaboa@udc.es
penabad@udc.es
Objetivos docentes
Conocer los problemas del modelo relacional.
Conocer los modelos de bases de datos: orientado a objetos, deductivo, activo y
distribuido.
Familiarizarse con las técnicas de recuperación en web.
Familiarizarse con los sistemas de información geográfica.
Bibliografía
Recomendada
Ullman, J. y Widow, J. Introducción a los sistemas de bases de datos. Prentice Hall.
Ullman, J. Principles of database and knowledge-base systems. Vol 1. Computer
Science Press.
Ullman, J. Principles of database and knowledge-base systems. Vol 2. Computer
Science Press.
Silberschatz, A., Korth, H. F. y Sudarshan, S. Fundamentos de Bases de Datos. Mc
Graw Hill
Complementaria
Rigaux, P., Scholl, M., y Voisard, A. Spatial Databases with application to gis. Morgan
Kaufmann.
Baeza-Yates, R. y Ribeiro-Neto, B. Modern Information Retrieval. Addison-Wesley.
174
Contenido
1.
2.
3.
4.
5.
6.
7.
Problemas del modelo relacional
Modelo de bases de datos orientado a objetos
Modelo de bases de datos deductivo
Modelo de bases de datos activo
Modelo de bases de datos distribuido
Las técnicas de recuperación en web
Los sistemas de información geográficos
175
Ciencia Cognitiva
II (Ciclo 1) - ITIG - ITIS
Cuatrimestral, Optativa, 6 Créditos (4T + 2P)
Descriptores
- Procesamiento humano de la información.
- Métodos, modelos y arquitecturas.
- Atención, memoria y creatividad.
Profesores
Alvaro Barreiro García
barreiro@dc.fi.udc.es
Objetivos docentes
Enseñar los fundamentos de la ciencia cognitiva con énfasis en los fundamentos
computacionales.
Bibliografía
Recomendada
Johnson-Laird. The Computer and the Mind: an Introduction to Cognitive Science.
Harvard University Press, 1988.
Johnson-Laird. El Ordenador y la Mente: Introducción a la Ciencia Cognitiva.
Ediciones Paidós, 1990.
Complementaria
Stillings et al. Cognitive Science: an introduction. A Bradford Book - The MIT Press,
Cambridge, 1995.
Green, D.W. et al. Cognitive Science: An Introduction. Blackwell Publishers - Oxford,
1996.
Russell, S. y Norvig, P. Artificial Intelligence: A Modern Approach. Prentice-Hall,
1995.
Contenido
La ciencia cognitiva como modelo computacional de la mente.
Alcance y límite de los modelos simbólicos de la mente.
Modelos cognitivos de: memoria, aprendizaje, resolución de problemas y planificación,
razonamiento inductivo y deductivo.
Evolución y cognición.
Mente consciente y mente no consciente.
176
II (Ciclo 2)
Comunicaciones Digitales Cuatrimestral, Optativa, 6 Créditos (4T + 2P)
Descriptores
Modulaciones y códigos de transmisión digital.
Ecualización.
Recuperación de portadoras.
Supresión de ecos.
Conmutación digital.
Diseño de redes conmutadas.
Profesores
Luis Castedo Ribas
Joaquín Míguez Arenas
luis@.udc.es
jmiguez@udc.es
luis@fi.pri
Objetivos docentes
Exponer los principios básicos que subyacen en el análisis y diseño de técnicas de
modulación y codificación en sistemas de comunicación digitales.
Bibliografía
Recomendada
Proakis, J.G. y Salehi, M. Communication Systems Engineering. Prentice-Hall, 1994.
Couch, L.W. Digital and Analog Communication Systems, 6ª ed. Prentice-Hall, 2001.
Complementaria
No disponible
Contenido
1.
2.
3.
4.
5.
Codificación de fuente.
Modulaciones digitales.
Demodulación óptima en presencia de ruido gaussiano.
Codificación de canal.
Transmisión digital por canales de banda limitada.
177
Control Industrial
II (Ciclo 1) - ITIS
Cuatrimestral, Optativa, 6 Créditos (4T + 2P)
Descriptores
- Autómatas programables.
- Sistemas de control.
- Estructuras de control.
- Controladores.
- Análisis de sistemas.
Profesores
Jose Mª Domínguez Legaspí doming@des.fi.udc.es
esdoming@fi.pri
Objetivos docentes
Introducir al alumno en los sistemas de control de procesos industriales. Una primera
parte se dedica al control digital mediante PLC, y la segunda parte al estudio de los
sistemas de regulación de procesos, tanto analógicos como digitales, caracterizando los
distintos tipos de reguladores y sistemas controlados y por último analizando su
estabilidad.
Bibliografía
Recomendada
Manuales de manejo del PLC 95U. Siemens.
Apuntes de la asignatura
Complementaria
Introducción al control electrónico. Marcombo.
Ogata, K. Ingeniería de control moderna.
178
Contenido
1. Introducción a los sistemas de control
o Elementos de un sistema de automatización
o Sistemas cableados
o Sistema programados
2. Control digital: el PLC
o Software de programación
o Programación estructurada
o Operaciones básicas
o Operaciones complementarias
o Tratamiento de señales analógicas
3. Regulación
o Introducción
o Reguladores: tipos y estrategias de control
o Sistema controlado: su caracterización
o Ajuste de lazos de control
179
Gestión Operativa del
CPD
ITIG
Cuatrimestral, Optativa, 6 Créditos (4T +
2P)
Descriptores
- Proceso de planificación y gestión.
- Organización estructural del CPD.
- Planificación operativa del CPD.
- Organización y evaluación de proyectos y planificación de personal.
Profesores
Julio González Soto
soto@dc.fi.udc.es
soto@fi.pri
Objetivos docentes
Enseñar los conocimientos propios de la Dirección y Gestión de centros de trabajo con
orientación técnico-informática.
Bibliografía
Recomendada
Donnelly, James H.; Gibson, James L. Dirección y administración de empresas.
Addison-Wesley Iberoamericana.
Hicks, Herbert C. Administración. CECSA.
Zerilli, A. Fundamentos de organización y dirección general. Deusto.
Apuntes específicos del profesor
Complementaria
No disponible
180
Contenido
1. Planificación de la gestión
o Introducción.
o Los planes.
o Aspectos teóricos y prácticos.
o Modelos conceptuales de la planificación.
2. Desarrollo de los planes: Estrategias y políticas
o Introducción.
o Tipos de estrategias.
o Desarrollo de la estrategia.
o Políticas de empresa.
3. Desarrollo de los planes: Objetivos
o Introducción.
o Características.
o Proceso de fijación (Gama de objetivos, Jerarquización, Cuantificación)
4. Estructuración del CPD
o Introducción.
o Funciones y tareas.
o Estructuración externa.
o Estructuración interna.
o Ejemplos.
5. Motivación
o Introducción.
o Teorías de contenido.
o Teorías de proceso
6. Liderazgo
o Introducción.
o Significado y tratamiento evolutivo.
o Planteamientos actuales.
7. Comunicación
o Introducción.
o Elementos de la comunicación.
o Las comunicaciones interpersonales.
o Fallos en la comunicación.
o Mejora de la comunicación en las organizaciones.
8. La dirección de trabajos en grupo
o La formación de trabajos en grupo.
o Tipos específicos de grupos en una organización.
o El desarrollo de grupos de trabajo.
181
Gestión de Redes
II (Ciclo 1) - ITIG - ITIS
Cuatrimestral, Optativa, 6 Créditos (4T + 2P)
Descriptores
- Capa de aplicación.
- TCP/IP.
- Internet.
- SNMP.
- Agentes.
- Wans.
Profesores
Carmen Guerrero López
Xavier Alcala Navarro
clopez@udc.es
clopez@fi.pri
Objetivos docentes
El objetivo principal de este curso es ofrecer una visión amplia y comprensible de las
tecnologías y los estándares de gestión de red, así como permitir un conocimiento
actualizado de este área tecnológica. El curso se estructura en dos partes: Una teórica en
la que estudian en detalle los diferentes estándares de gestión de red y otra práctica en la
que se aborda la aplicabilidad de estos estándares y el soporte tecnológico para su
implementación.
Bibliografía
Recomendada
W. Stallings, SNMP, SNMPv2 and CMIP: The Practical Guide to Network
Management Standards, Addison Wesley, 1993.
Stallings, William, SNMP, SNMPv2, and RMON : pratical network management, 2nd
ed., Reading, Massachusetts Addison-Wesley, 1996
Uyless Black, Network Management Standards, SNMP, CMIP, TMN, MIBs and Object
Libraries, Second Edition. McGraw-Hill Series on Computer Communications.1995.
A. Leinwand and K. Fang. Network Management. A practical perspective. Addison
Wesley, 1993.
S. Aidarous and T. Plevyak. Telecommunications Network Management into the 21st
Century. IEEE Press, 1993.
182
Complementaria
W. Richard Stevens, TCP/IP Illustrated, Volume I. The Protocols, Addison-Wesley
Professional Computing Series. May 1994.
Rose, Marshall T., Keith McCloghrie, How to manage your network using SNMP : the
networking management practicum, Englewood Clifs Prentice-Hall. 1995.
David Perkins and Evan McGinnis, Understanding SNMP MIBs, Upper Saddle River,
New Jersey Prentice Hall Sc , 1997.
Harnedy, Sean, Total SNMP : exploring the simple network management protocol, 2nd
ed, Upper Saddle River, New Jersey Prentice Hall, 1998.
183
Contenido
PARTE I: INTRODUCCIÓN A LA GESTIÓN DE RED Y ESTÁNDARES
1.1 Introducción
1.2 Conceptos y Áreas Funcionales
1.3 Monitorización de Red vs Control de Red
1.4 Gestión de Red vs Gestion de Sistemas
1.5 Gestión Redes de Datos vs Gestión Redes de Telecomunicación
1.6 Estándares y Organismos de Estandarización
1.7 Gestión de Red en la Empresa
1.8 Investigación en Gestión de Red
PARTE II: ARQUITECTURA DE GESTIÓN DE INTERNET
2.1 Introducción
2.2 Información de Gestión en SNMP
2.3 Abstract Syntax Notation One (ASN1)
2.4 Structure of Managed Information (SMI)
2.5 Protocolo SNMP
2.6 Extensiones de SNMP
2.7 RMON y RMON2
2.8 SNMPv2 y SNMPv3
2.9 Escenarios
2.10 Conclusiones
PARTE III. ARQUITECTURA DE GESTIÓN OSI
3.1 Introducción
3.2 Información de Gestión en OSI
3.3 Estructura del Modelo de Información
3.4 Protocolo CMIP
3.5 Escenarios
3.6 Conclusiones
PARTE IV. ARQUITECTURA TMN
4.1 Introducción
4.2 Concepto TMN
4.3 Arquitectura Funcional
4.4 Arquitectura Física
4.5 Arquitectura de Información
4.6 Escenarios
4.7 Conclusiones
PARTE V. PLATAFORMAS DE GESTIÓN DE RED
5.1 Introducción
5.2 Evolución histórica
5.3 IBM NetView/6000
5.4 Solstice Enterprise Manager
5.5 HP Openview
5.6 Cabletron Spectrum
184
Herramientas de Gestión de
Proyectos
ITIG
Cuatrimestral, Optativa, 6 Créditos
(4T + 2P)
Descriptores
Construcción, utilización y evaluación de herramientas de gestión de proyectos.
Profesores
Serafín Caridad Simón
scaridad@dc.fi.udc.es
ciserafi@fi.pri
Objetivos docentes
Bibliografía
Recomendada
Bentley, C. Computer Project Management. C. Heyden & Son Ltd, 1982.
Behrens, C. A. Measuring the productivity of computer systems development activities
with function-points. IEEE Transactions on Software Engineering, 9(6): 649-58. 1983.
Boehm, B.W. Software Engineering Economics. Englewood Cliffs, NJ Prentice-Hall,
Inc., 1981.
Norden, P. Use tools for project management. Management of Production. M. K. Starr
(ed) Penguin Books. Baltimore, Md., 1970, pp. 71-101.
Putnam, L. A general empirical solution to the macro software sizing and estimation
problem. IEEE Transactions on Software Engineering, Vol SE-4 No. 4, July,1978, pp.
345-361.
Complementaria
Caridad, S. Metodologías de Desarrollo de Sistemas en un Ambiente de Control de
Calidad. Separata de Los Medios Informáticos de la Gestión Empresarial Pública y
Privada. Publicaciones de la Fundación Alfredo Brañas. Velograf. S.A, 1991.
Gido, J. An Introduction to Project Planning. Industrial Press, 1985.
Kerzner, H. Project Management: A Systems Approach to Planning, Scheduling, and
Controlling. Van Nostrand Reinhold, 1984.
Levine, H. A. Project Management Using Microcomputers. Osborne McGraw-Hill,
1986.
Moder, J. J., Phillips, C.R. y Davis, E.W. Project Management with CPM, PERT, and
Precedence Diagramming. Van Nostrand Reinhold, 1983.
Peat, M. et al. System Development Manual. 1980.
185
Contenido
TEMA 1. DIRECCIÓN Y GESTIÓN DE PROYECTOS SOFTWARE
1.0. Introducción
1.1. Ingeniería de Sistemas Software: Algunas Definiciones Básicas
1.2. Necesidad de una Metodología: Ventajas e Inconvenientes
1.3. Metodología de Gestión de Proyectos: Estándares para Dirección de Proyectos
1.4 Metodología de Desarrollo de Prototipos: PDM80
TEMA 2. MODELOS DE ESTIMACIÓN DE COSTES DE APLICACIONES
2.0. Introducción
2.1. Definiciones y supuestos
2.2. El Modelo COCOMO BÁSICO
2.3. El Modelo COCOMO INTERMEDIO
2.4. Estimación de Costes durante el Análisis Previo: Un ejemplo
2.5. Estimación de Costes durante el Análisis Funcional: Ejemplos
2.6. Validez de la Estimación de Costes
2.7. El Modelo Evalpro
2.8. MECA: Manual del Usuario
2.9. Otros Modelos de Estimación
2.10. Ley de Brooks de los Rendimientos Decrecientes
TEMA 3. PLANIFICACIÓN Y CONTROL DE PROYECTOS
3.0. Introducción
3.1. La historia de la Planificación y Control de Proyectos
3.2. Terminología de Gestión de Proyectos
3.3. El Sistema de Planificación y Control de Proyectos
3.4. ¿Qué se debe pedir a un Gestor de Proyectos?
3.5. Software de Gestión de Proyectos
3.6. Conclusiones
3.7. Ejercicios de Planificación de Proyectos
186
II (Ciclo 1) - ITIG - ITIS
Gráficos en Computación Cuatrimestral, Optativa, 6 Créditos (4T + 2P)
Descriptores
- Herramientas matemáticas para gráficos en computadores.
- Estructuras geométricas en dos y tres dimensiones.
- Tratamiento de imágenes
Profesores
Julián Dorado de la Calle
julian@udc.es
cijulian@fi.pri
Objetivos docentes
El objetivo principal de la asignatura es conocer los algoritmos de dibujo de primitivas
en 2D y 3D que permitan realizar gráficos de forma eficiente sobre una computadora.
También se estudian distintas técnicas para conseguir una visualización realista. Entre
ellas están el relleno de polígonos, la realización del recorte, la utilización de color, la
iluminación de escenas y el sombreado de figuras. También se estudian distintos
lenguajes de definición de gráficos como VRML y OpenGL.
Bibliografía
Recomendada
Foley, J.D. et al. Computer Graphics. Principle and Practice. Addison-Wesley.
Watt, A. 3D Computer Graphics, 2ª ed. Addison-Wesley, 1993.
Complementaria
Foley, J.D. et al. Introducción a la Graficación por Computador. Addison-Wesley
Iberoamericana, 1996.
Hearn, D. Gráficas por Computadora. Prentice Hall Hispanoamericana, 1994.
187
Contenido
1. Introducción
o Hardware y software
o Interacción con el usuario
2. Dibujo de primitivas
o Dibujo de líneas
o Anti-aliasing
o Dibujo de circunferencias y elipses
o Dibujo de curvas
3. Dibujo de objetos 3D
o Proyecciones
o Modelado de objetos
o Vistas en 3D
4. Transformaciones
o Traslación, escalado y rotación
o Otras transformaciones
o Transformaciones en 3D
5. Percepción y especificación del color
o Luz monocroma
o Modelos de color
6. Mejora de visualización
o Relleno de polígonos
o Recorte de líneas
7. Visualización de figuras 3D
o Detección de Superficies Visibles
o Iluminación
o Sombreado
8. Procesado digital de imagen
9. Formatos gráficos y lenguajes de definición
o VRML
o OpenGL
Más información en http://rnasa.tic.udc.es/gc
188
Inteligencia Artificial
ITIG - ITIS
Cuatrimestral, Optativa, 9 Créditos (6T + 3P)
Descriptores
- Heurística.
- Representación del conocimiento.
- Razonamiento.
- Incertidumbre
Profesores
Alvaro Barreiro García
barreiro@dc.fi.udc.es
Objetivos docentes
Curso introductorio de Inteligencia Artificial. Se enseñan las teorías y técnicas básicas
en la construcción de sistemas inteligentes.
Bibliografía
Recomendada
Russell, S. et al. Artificial Intelligence: A Modern Approach. Prentice-Hall, 1995.
Russell, S. et al. Inteligencia Artificial: un enfoque moderno. Prentice-Hall
Hispanoamericana, 1996.
Complementaria
Nilsson, N.J. Artificial Intelligence: A new synthesis. Morgan Kauffmann Pub, 1998.
Rich, E. et al. Inteligencia Artificial, 2ª ed. McGraw Hill, 1994.
Contenido
1.
2.
3.
4.
5.
6.
7.
8.
Inteligencia y Racionalidad.
Agentes Racionales.
Búsqueda.
Representación de Conocimiento y Razonamiento.
Sistemas: sistemas de producción, redes semánticas, probadores de teoremas.
Introducción al razonamiento no monótono.
Planificación.
Razonamiento probabilístico.
189
Informática Biomédica
II (Ciclo 1) - ITIG - ITIS
Cuatrimestral, Optativa, 6 Créditos (4T + 2P)
Descriptores
- Procesado y parametrización de señales biológicas.
- Modelos cualitativos, funcionales, causales y lineales.
- Sistemas de información hospitalaria.
- Algoritmos genéticos.
Profesores
Bernardino Arcay Varela
Alfonso Castro Martínez
cibarcay@udc.es
alfonso@udc.es
Objetivos docentes
El objetivo fundamental de la asignatura es conocer las bases teóricas y prácticas,
necesarias para el desarrollo de Sistemas de Información en el ámbito de la Medicina.
Para ello se analizan las distintas capas del sistema de información, esto es: adquisición,
instrumentación, procesado digital, bases de datos, sistemas de ayuda a la toma de
decisiones, redes, etc.
Bibliografía
Recomendada
Bronzino. The Biomedical Engineering Handbook. IEEE Press, CRC Press Inc., 1995.
Oppenhein. Señales y sistemas. Prentice Hall, 1998.
Gonzalez. Tratamiento digital de las imágenes. Addison-Wesley, 1992.
Ferrer Roca, O. Telemedicina. Madrid Panamericana, 2001.
Complementaria
Engineering in Medicine and Biology Society. [en línea]. EMBS. [Consulta Diciembre
2001]. Disponible en Internet en <http://www.eng.unsw.edu.au/embs/index.html>.
NEMA's Official DICOM Web Page . [en línea]. NEMA. [Consulta Diciembre 2001].
Disponible en Internet en <http://medical.nema.org/dicom.html>
Telemedicine Information Exchange [en línea]. TIE. [Consulta Diciembre 2001].
Disponible en Internet en <http://tie.telemed.org/>.
190
Contenido
1.
2.
3.
4.
5.
6.
Introducción.
Instrumentación biomédica.
Gestión de la imagen médica.
Sistemas de Información Hospitalaria.
Telemedicina.
Técnicas de Inteligencia Artificial en Informática Biomédica.
191
Intercambio Electrónico de
Documentos
ITIG
Cuatrimestral, Optativa, 6 Créditos
(4T + 2P)
Descriptores
- Almacenamiento.
- Transferencia
Profesores
Esteban García Martín
esteban@udc.es
esteban@fi.pri
Objetivos docentes
La asignatura pretende proporcionar los conocimientos básicos de los procesos que
intervienen en EDI (Electronic Data Interchange), dando a conocer las partes
constituyentes, los estándares de mensajes EDI, temas de seguridad, problemas de
implementación y ligándolo con las aplicaciones básicas actuales del comercio
electrónico.
Bibliografía
Recomendada
Marcella, Albert J. EDI security, control and audit Albert J. Marcella, jr. and Sally
Chan. Boston Artech House [1993]
Cannon, Edward. EDI guide: a step by step approach London International Thompson
Computer [1996]
Wright, Benjamin. The law of electronic commerce : EDI, E-Mail, and Internet :
technology, proof, and liability 2nd ed. Boston Little, Brown and Company 1996
Christmas, Paul. EDI: implementation and security Paul Christmas. Oxford, UK
Elsevier Advanced Technology c1994
Complementaria
No disponible
192
Contenido
1. PRESENTACIÓN
2. ELEMENTOS
3. MARCO LEGAL APLICABLE
4. APLICACIONES EDI EN EL MUNDO EMPRESARIAL
5. ESTÁNDARES
6. SEGURIDAD
7. PASOS PARA LA IMPLANTACIÓN DE EDI
8. NECESIDADES DE PERSONAL Y FORMACIÓN PARA EDI
9. SUPERACIÓN DE LOS OBSTÁCULOS ORGANIZACIONALES A EDI
10. ANÁLISIS DE COSTES/BENEFICIOS
11. CORREO ELECTRÓNICO X.400 Y EDI
12. INTRODUCCIÓN AL COMERCIO ELECTRÓNICO
13. ARQUITECTURAS DE DINERO DIGITAL
14. DINERO DIGITAL
15. NUEVOS CONCEPTOS DE NEGOCIOS
16. EVOLUCIÓN DE LA CIBERECONOMÍA
193
Inglés Técnico
II (Ciclo 1) - ITIG - ITIS
Cuatrimestral, Optativa, 6 Créditos (1.5T + 4.5P)
Descriptores
- Terminología específica del inglés técnico.
- Escritura.
- Producción y recepción oral.
Profesores
Pablo Cancelo López
Cliona Hallessy
pcancelo@udc.es
Objetivos docentes
Adquirir competencias lingüísticas en las áreas siguientes:
- Área de las Tecnologías de la información
- Comunicación en situaciones comunes de la vida diaria
Bibliografía
Recomendada
Long, L. y Long, N. Computers: Information Technologies in Perspective. New Jersey,
Prenhall, 2002.
Boeckner K. y Brown, P.C. English for Computing. Oxford University Press, 2002.
Remacha Esteras, S. Infotech. Cambridge University Press, 2002.
Oxford Dictionary of Computing for Learners of English.
Complementaria
No disponible
Contenido
Chapter 1: The Technology Revolution
Chapter 2: Software
Chapter 3: Inside the Computer
Chapter 4: Storing and Retrieving Information
Chapter 5: Information Input and Output
Chapter 6: Networks and Networking
Chapter 7: Going Online
Chapter 8: Exploring the Cyberworld
194
Chapter 9: IT Ethics and Healthy Computing
Chapter 10: Personal Computing
Chapter 11: Information Systems
Chapter 12: Developing Business Information Systems
Chapter 13: Technology and Society
Funciones comunicativas:
1 Introductions (Presentaciones)
2 Forms of address (Fórmulas de tratamiento)
3 Greetings (Saludos)
4 Leave-taking (Despedidas)
5 Opening a conversation (Al entablar conversación)
6 During a conversation (En el transcurso de una conversación)
7 Closing a conversation (Para terminar una conversación)
8 Asking to see somebody (Para preguntar por alguien)
9 Expressing good wishes (Al desear suerte)
10 Seasonal greetings (Felicitaciones propias de la estación)
11 Expressing sympathy (Para expresar compasión o condolencia)
12 Shopping (De compras)
13 Thanking (Para dar las gracias)
14 Permission (Permiso)
15 Offers (Ofrecimientos)
16 Invitations (Invitaciones)
17 Advice (Consejos)
18 information (Información)
19 Instructions (Instrucciones)
20 Directions (Direcciones)
21 Making arrangements (Al hacer planes)
22 Asking favours (Para pedir favores)
23 Apologies (Disculpas)
24 Reminding (Para recordar algo a alguien)
25 Reassuring (Para tranquilizar)
26 Persuading (Para persuadir)
27 Suggesting (Para sugerir algo)
28 Agreeing (Para expresar acuerdo)
29 Disagreeing (Para expresar desacuerdo)
30 Opinions (Opiniones)
31 Preferences (Preferencias)
32 Degrees of certainty (Grados de certeza)
33 Obligation (Obligación)
34 Expressing surprise (Para expresar sorpresa)
35 Expressing pleasure (Para expresar placer)
36 Expressing displeasure (Para expresar desagrado)
37 Complaints (Quejas)
38 Praising (Para elogiar)
39 Annoucements (Anuncios)
40 Reacting to news (Al reaccionar ante una noticia)
41 Talking about the time (Al hablar de la hora)
42 Narrating and reporting (Al narrar y relatar algo)
195
43 Problems of communication (Problemas de comunicación)
44 Written communications (Comunicación por escrito)
45 Signs and notices (Letreros)
46 Using the postal service (Al utilizar el servicio de correos)
47 Telephoning (Al hablar por teléfono)
48 Other communications (Otros tipos de comunicación)
Evaluación:
Una de las siguientes opciones
o
o
Examen oral
Examen escrito
Realización y presentación de un trabajo en inglés sobre un tópico del programa
196
Interfaces con el Usuario
II (Ciclo 1) - ITIG - ITIS
Cuatrimestral, Optativa, 6 Créditos (4T + 2P)
Descriptores
- Modelos conceptuales y formales.
- Herramientas multimedia-hipermedia.
- Realidad virtual.
Profesores
José María García-Tizón
Iglesias
tizon@dc.fi.udc.es
tizon@fi.pri
Objetivos docentes
Explicar a los alumnos los principios básicos del diseño de Interfaces de Usuario
Bibliografía
Recomendada
Schneiderman, B. Designing the user interface. Addison-Wesley
Horrocks, I. Construing the User Interface with Statecharts. Addison-Wesley.
Collins, D. Designing Object-Oriented User Interfaces. The Benjanin/Cunnings
Publishin Company Inc.
Erikson, H.E. et al. UML Toolkit. Wiley Computer Publishing.
Fowler, M. UML Distilled, Applying the Standard Object Modeling Lenguage.
Addison-Wesley.
Complementaria
Gamma, E et al. Design, Patterns: Elements of Reusable Object-Oriented. Addison
Wesley.
197
Contenido
1. Conceptos Generales
o
Introducción
o
Componentes del HCI
2. Aspectos Humanos
o
Percepción y Representación
o
Metáforas de los Interfaces
3. Aspectos tecnológicos
o
Entrada
o
Salida
o
Sistemas de ventanas
o
Soporte al usuario
o
Trabajo en colaboración y realidad virtual
4. Métodos y técnicas de diseño
o
Centrados en el usuario
o
Análisis de tareas
o
Estructurado
o
Orientación a objetos e interfaces de usuatrios
5. Utilización de UML para el diseño de Interaces de Usuario.
o
Introducción a UML
o
Casos de Uso
o
Diagramas de Clase
o
Diagramas de Interacción
o
Diagramas de Transición de Estados y Mapas de Estados
6. Utilización de Patrones en la construcción de Interfaces
o
Introducción al concepto de patrón.
o
Patrones de Diseño
o
El Model View Controller.
o
Patrones de Usabilidad
o
Formularios y subformularios.
o
Patrones y Guías de estilo.
7. Entornos visuales de desarrollo de Interfaces
8. Aplicaciones WEB e interfaces de Usuario
198
Lógica para la
Computación
II (Ciclo 2)
Cuatrimestral, Optativa, 7.5 Créditos (4.5T
+ 3P)
Descriptores
- Lógica de primer orden.
- Deducción automática.
- Programación lógica.
- Lógicas no-estándar
Profesores
José María Barja Pérez
jmbarja@dc.fi.udc.es
Objetivos docentes
Proporcionar un conocimiento activo de partes de la lógica relevantes para la
computación.
Bibliografía
Recomendada
Ben-Ari, M. Mathematical Logic for Computer Science. Prentice Hall, 1993.
Gibbins, P. Logic with Prolog. Claredon Press - Oxford, 1988.
Nedore, A. y Shore, R. A. Logic for Applications. Springer-Verlag, 1993.
Reeves, S. y Clarke, M. Logic for Computer Science. John Wiley & Sons, 1990.
Schöning, U. Logic for Computer Scientist. Birkhäuser, 1989.
Complementaria
Barwise, J. y Etchemendy, J. Hyperproof. CSLI Publications, 1989.
Duffy, D. Principles of automated theorem proving. John Wiley & Sons, 1991.
Lalement, R. Lógique, reductión, resolution. Masson, 1990.
Popkorn, S. First Steps in Modal Logic. Cambridge University Press, 1994.
199
Contenido
1. Nociones generales
o Sintaxis: Formalización de argumentos. Especificación de la sintaxis.
o Semántica proposicional. Consecuencia semántica.
o Métodos de deducción: Sistemas de deducción: tablas semánticas,
resolución, deducción natural. Coherencia y completitud. Decidibilidad.
2. Lógica de primer orden
o Sintaxis: Necesidad de los cuantificadores. Formalización de
argumentos. Especificación de la sintaxis.
o Semántica: Interpretaciones. Tablas semánticas en el cálculo de
predicados.
o Semántica vs sintaxis: Forma estándar de Skolem. Universos de
Herbrand. Insatisfactibilidad.
o Resolución y unificación: Substituciones. Unificación. Resolución en
predicados.
o Deducción automática: Deducción natural y secuentes. Teorías. Teoría
de la igualdad. Aritmética.
3. Lógica y computación
o Programación lógica: Generación de respuestas. Programas de cláusulas
de Horn. Bases de datos deductivas.
o Lógicas no estándar: Semántica modal. Sistemas de lógica modal. y
temporal. Lógica intuicionista.
200
Lenguajes Naturales
II (Ciclo 2)
Cuatrimestral, Optativa, 6 Créditos (4T + 2P)
Descriptores
- Análisis léxico.
- Análisis sintáctico.
- Análisis semántico
Profesores
Miguel Ángel Alonso Pardo
Jorge Graña Gil
alonso@dc.fi.udc.es
grana@dc.fi.udc.es
Objetivos docentes
Enseñanza, aprendizaje y dominio de las técnicas y métodos propios del Procesamiento
del Lenguaje Natural.
Bibliografía
Recomendada
Jurafsky, D. y Martin, J.H. Speech and Language Processing. An Introduction to
Natural Language Processing, Computational Linguistics, and Speech Recognition.
Prentice Hall, Upper Saddle River, New Jersey, 2000.
Dale, R., Moisi, H. y Somers, H.. Handbook of Natural Language Processing. Marcel
Dekker Inc., New York & Basel, 2000.
Manning, C.D. y Schütze, H. Foundations of Statistical Natural Language Processing.
The MIT Press, Cambridge (Massachusets) and London (England), 1999.
Allen, J. Natural Language Understanding, 2ª ed. The Benjamin/Cummings Publishing
Company Inc., Redwood City CA, USA, 1995.
Complementaria
Baeza-Yates, R. y Ribeiro-Neto, B. Modern Information Retrieval. Addison-Wesley
and ACM Press, Harlow (England), 1999.
Contenido
1. Introducción
a. Niveles de análisis
b. Ambigüedad
201
2. Análisis léxico
a. Segmentación de textos
b. Morfología flexiva y derivativa
c. Modelización de grandes diccionarios
d. Autómatas finitos acíclicos deterministas numerados
e. Traductores de estado finito y morfología de dos niveles
3. Etiquetación
a. Modelos de Markov ocultos
b. Ejecución eficiente de los modelos de Markov ocultos
c. Técnicas de suavizado
d. Tratamiento de palabras desconocidas
e. Aprendizaje de etiquetas basado en transformaciones y dirigido por el
error
4. Análisis sintáctico: lenguajes independientes del contexto
a. Esquemas de análisis sintáctico
b. Análisis descendente
c. El algoritmo de Earley
d. Autómatas a pila y programación dinámica
e. Análisis sintáctico LR generalizado
f. Representación compartida de los árboles de análisis sintáctico
g. Análisis sintáctico probabilístico
5. Análisis sintáctico: lenguajes suavemente dependientes del contexto
a. Gramáticas de adjución de árboles
b. Análisis sintáctico de gramáticas de adjunción de árboles
c. Autómatas para el análisis de gramáticas de adjunción de árboles
d. Representación compartida de los árboles de derivación
e. Gramáticas de adjunción de árboles probabilísticos
6. Análisis semántico
a. Estructuras de rasgos y formalismos basados en unificación
b. Lógica de predicados de primer orden
c. Redes semánticas: WordNet
d. Desambiguación del sentido de las palabras
7. Recuperación y extracción de información
a. Modelos de recuperación de información
b. Aplicación de la morfología a la normalización de términos simples
c. Aplicación de la sintaxis a la normalización de términos multipalabra
d. Extracción de información
8. Análisis pragmático
a. Resolución de la anáfora
b. Traducción automática
202
Medios de transmisión
ITIG
Cuatrimestral, Troncal, 6 Créditos (3T + 3P)
Descriptores
- Tipos de señal.
- Procesado de la señal.
- Medios de transmisión y modulación
Profesores
Xabier Alcalá Navarro
alcala@udc.es
Objetivos docentes
El propósito de la asignatura es suministrar al estudiante unos conocimientos genéricos
sobre los medios de transmisión y los sistemas de comunicación que en ellos se apoyan.
Se centra en la comunicación entre terminales "informáticos", procesadores de datos
que envían y reciben señales digitales, aunque actúen como interfaces entre operadores
humanos.
Se pretende que el alumno acabe teniendo clara referencia de los medios de transmisión
y de los servicios, tanto en la composición física de aquellos como en la realidad
económica de estes.
Se completará el estudio con visitas guiadas a centros de operación de las principales
empresas de servicios de telecomunicación instaladas en las proximidades de la
Facultad.
Bibliografía
Recomendada
Stallings, W. Comunicacións de datos e ordenadores
Prontuario de los servicios de telecomunicación en España de Autel, última versión.
Complementaria
No disponible
203
Contenido
1. Definición del modelo general de sistema de transmisión: Mensaje - datos señales - dispositivos - medios.
2. Clasificación de los medios y de las señales: Abiertos y confinados - analógicos
y digitales.
3. Adaptación de las señales a los medios: Alteraciones - técnicas para la
recuperación del mensaje.
4. Revisión de los medios de transmisión y de sus características: "Aire" - par coaxial - fibra óptica.
5. Clasificación de las redes: Topología - modo de acceso - extensión.
6. Relación entre tipos de redes, medios y señales apropiadas: Codificación modems - codecs - tx/rx digitales.
7. Técnicas de comunicación digital: Sincronismo - detección de errores sobrecarga.
8. Aprovechamiento de la capacidad del medio: Multiplexación en frecuencia temporal - mixta - síncrona - estadística .
9. Aprovechamiento de la capacidad del sistema: Conmutación/difusión - circuitos
- tramas - paquetes - datagramas.
10. Revisión de técnicas/servicios actuales basados en los medios estudiados: RTB
- RDSI - ADSL - "cable" - X.25 - Frame Relay - ATM - VSAT - GSM - GPRS LMDS – RALs
204
Métodos de Cálculo
Numérico
II (Ciclo 2)
Cuatrimestral, Optativa, 7.5 Créditos (4T +
3.5P)
Descriptores
- Aproximación.
- Diferencias finitas.
- Elementos finitos.
- Resolución numérica de ecuaciones en derivadas parciales.
- Simulación.
Profesores
Carlos Vázquez Cendón
carlosv@udc.es
Objetivos docentes
Conocimiento de métodos numéricos de diferencias finitas y elementos finitos para
modelos matemáticos de ecuaciones diferenciales ordinarias y en derivadas parciales.
Implementación en ordenador de los métodos.
Bibliografía
Recomendada
Baker, A.J. y Pepper, D.W. Finite elements 1-2-3. McGraw-Hill. 1991.
Hoffman, J.D. Numerical methods for engineering and scientists. McGraw-Hill. 1992.
Johnson, C. Numerical solution of partial differential equations by the finite element
method. Cambridge University Press. 1992.
Reddy, J.N. An introduction to the finite element method. McGraw-Hill. 1993.
Boyce, W.E. y Di Prima, R.C.Ecuaciones diferenciales en problemas con valores en la
frontera. Limusa. 1998.
Complementaria
Mathews, J. H. y Fink, K. D. Métodos Numéricos con MATLAB. Prentice-Hall. 2000.
MATLAB, the language of scientific computing. Mathworks Inc. 1996.
MATLAB, Partial differential equation toolbox. Mathworks Inc. 1996.
Metcalf, M. y Reid, J. FORTRAN 90/95 explained. Oxford University Press. 1996.
205
Contenido
1. Introducción.
2. Problemas de contorno para E.D.O.s de segundo orden.
o Modelos matemáticos.
o Problemas lineales homogéneos y no homogéneos: solución exacta.
o Introducción a las series de Fourier. Aplicación a problemas no
homogéneos.
o Métodos numéricos: tiro, diferencias finitas y elementos finitos.
3. Introducción a las ecuaciones en derivadas parciales (E.D.P.s).
o Modelos matemáticos. Conceptos generales de E.D.P.s.
o Ecuaciones de primer orden.
o Clasificación de ecuaciones lineales de segundo orden.
4. Métodos numéricos para E.D.P.s parabólicas.
o Ecuación de difusión. Separación de variables.
o Métodos numéricos: diferencias finitas.
o Aplicaciones.
5. Métodos numéricos para E.D.P.s elípticas.
o Ecuación de Laplace y Poisson.
o Métodos numéricos: diferencias finitas.
o Aplicaciones.
6. Métodos numéricos para E.D.P.s hiperbólicas.
o Ecuación de convección y ondas. Separación de variables.
o Métodos numéricos: diferencias finitas.
o Aplicaciones.
7. Método de elementos finitos.
8. Programación de métodos numéricos en FORTRAN y MATLAB.
206
Métodos estadísticos
II (Ciclo 2)
Cuatrimestral, Optativa, 6 Créditos (4T + 2P)
Descriptores
- Control de Calidad.
- Series de tiempo.
- Análisis multivariante.
Profesores
Manuel Antonio Presedo Quindimil
mpresedo@udc.es
Objetivos docentes
Al cursar esta asignatura, el alumno podrá ampliar los conocimientos de Estadística
adquiridos en cursos anteriores, mediante el estudio y aplicación de algunos métodos
estadísticos avanzados: control estadístico de la calidad, análisis de series de tiempo y
análisis multivariante.
Bibliografía
Recomendada
Makridakis, S., Wheelwright, S.C. y Hyndman, R.J. Forecasting. Methods and
applications. Wiley. 1998.
Mardia, K.V., Kent, J.T. y Bibby, J.M. Multivariate analysis. Academic Press. 1994.
Montgomery, D.C. Introduction to statistical quality control. Wiley. 2001.
Complementaria
Brockwell, P.J. y Davis, R.A. Introduction to time series and forecasting. SpringerVerlag. 2002.
Morrison, D.F. Multivariate statistical methods. McGraw-Hill. 1990.
Estadística: modelos y métodos. Vol. 1. Alianza Universidad. 1991
Peña Sánchez de Rivera, D. Estadística: modelos y métodos. Vol. 2. Alianza
Universidad. 1989.
207
Contenido
1. Control de Calidad. Introducción. Los gráficos de control. El control de
fabricación por variables. El control de fabricación por atributos. El control de
fabricación por número de defectos. El control de recepción.
2. Series temporales. Generalidades El concepto de serie temporal. Componentes
de una serie temporal. El problema de la predicción. Técnicas de suavización
exponencial.
3. Metodología Box-Jenkins para el análisis de series temporales. Introducción a
los procesos estocásticos: propiedades. Procesos autorregresivos (AR(p)).
Procesos de medias móviles (MA(q)). Procesos ARMA(p,q). Procesos no
estacionarios: modelo ARIMA (p,d,q). Identificación de modelos ARIMA.
Estimación en un modelo ARIMA. Diagnosis en modelos ARIMA. Predicción
con el modelo ARIMA. Introducción a la regresión dinámica.
4. Análisis multivariante. Introducción. Preliminares: distribuciones
multidimensionales. Análisis de componentes principales. Análisis factorial
discriminante. Análisis cluster. Escalamiento multidimensional.
208
Ofimática
ITIG
Cuatrimestral, Optativa, 6 Créditos (4T + 2P)
Descriptores
- Ofimática
Profesores
Julio González Soto
soto@fi.pri
Objetivos docentes
Aprender el manejo de una herramienta que permita el manejo de la información
integrada dentro de una organización.
Bibliografía
Recomendada
Halvorson, M. Microsoft Office 2000. Mc Graw Hill.
Complementaria
No disponible
209
Contenido
1. Aspectos generales de Microsoft Office
o Herramientas de Microsoft Office
o Puntos en común entre las aplicaciones
o Trabajo coordinado entre aplicaciones
2. Micosoft Word
o Aspectos generales del editor
o Estilos y plantillas
o Organización del texto: listas y columnas
o Herramientas de Word
o Trabajo en grupo
o Gestión de documentos grandes
o Fusiones y selecciones
3. Microsoft Excel
o Creación y formato de una hoja de cálculo
o Organización de la información en los libros de trabajo
o Personalización de Excel
o Fórmulas y funciones
o Gráficos
o Análisis de datos económicos
o Macros
4. Microsoft Powerpoint
o Introducción
o Modificación y formateo de texto
o Gráficos y diagramas
o Efectos especiales
o Ensayo, impresión y ejecución con diapositivas
5. Microsoft Access
o Introducción
o Creación de tablas y relaciones
o Hojas de datos
o Formularios
o Consultas
o Informes
6. Microsoft FrontPage
o Introducción
o Administración del sitio Web
o Creación, modificación y formateo de páginas web
o Características avanzadas
7. Integración de las aplicaciones de Microsoft Office
o Compartición de datos
o Cuaderno de Office
210
Optimización del
procesamiento paralelo
II (Ciclo 2)
>Cuatrimestral, Optativa, 6
Créditos (4T + 2P)
Descriptores
- Análisis de dependencias.
- Vectorización y paralelización
Profesores
Juan Touriño Domínguez
juan@udc.es
Objetivos docentes
Introducir al alumno en técnicas de programación de arquitecturas multiprocesador
utilizando diversos paradigmas, realizando prácticas en un entorno real mediante la
programación de supercomputadores ubicados en el CESGA (Centro de
Supercomputación de Galicia).
Bibliografía
Recomendada
Pacheco, P.S. Parallel Programming with MPI. Morgan Kaufmann Publishers, 1997.
Snir, M. et al. MPI - The Complete Reference. Volume 1, The MPI Core. The MIT
Press, 1998.
Gropp, W., Lusk, E. y Skjellum, A. Using MPI, Portable Parallel Programming with
the Message-Passing Interface. The MIT Press, 1994.
Ellis, T.M.R., Philips, I.R. y Lahey, T.M. Fortran 90 Programming. Addison-Wesley,
1994
Koelbel, C.H. et al. The High Performance Fortran Handbook. The MIT Press, 1994.
Complementaria
Culler, D.E., Singh, J.P. y Gupta, A. Parallel Computer Architecture - A
Hardware/SoftwareApproach. Morgan Kaufmann Publishers, 1999.
Wilkinson, B. y Allen, M. Parallel Programming. Techniques and Applications Using
Networked Workstations and Parallel Computers. Prentice-Hall, 1999.
211
Contenido
1. Paradigmas de programacion de computadores MIMD
- Revisión de las arquitecturas MIMD
- Programación en arquitecturas de memoria compartida
- Programación en arquitecturas de memoria distribuida
- Paralelizadores automáticos
2. Programación con paso de mensajes: MPI (Message-Passing Interface)
- Características generales de MPI
- Comunicaciones punto a punto
- Comunicaciones colectivas
- Tipos de datos derivados
- Topologías virtuales
- Prácticas en el multicomputador Fujitsu AP3000 con MPI/AP
3. Programación orientada al paralelismo de datos: HPF (High-Performance
Fortran)
- Introducción al lenguaje Fortran 90
- Características generales de HPF
- Directivas de distribución y alineamiento de datos
- Construcciones y directivas para expresar paralelismo
- Funciones intrínsecas
- Prácticas en el multicomputador Fujitsu AP3000 con PGHPF
212
Periféricos e Interfaces
II (Ciclo 1) - ITIG - ITIS
Cuatrimestral, Optativa, 7.5 Créditos (4T + 3.5P)
Descriptores
- Interfaz serie paralelo
- Periféricos de almacenamiento
- Presentación y adquisición de información
- Microcontroladores
Profesores
José Juan Lamas Seco
Adriana Dapena Janeiro
lamas@udc.es
adriana@udc.es
lamas@fi.pri
adriana@fi.pri
Objetivos docentes
La primera parte de la asignatura está dedicada al estudio de la arquitectura y
programación de microcontroladores. Se pretende que el alumno sea capaz de
desarrollar sofware de aplicaciones con microcontroladores. La segunda parte se centra
en los sistemas de vídeo. En ésta se explica el funcionamiento de distintos tipos de
pantallas y de tarjetas de vídeo. Además, se revisan los fundamentos de los sistemas
analógicos y digitales de televisión.
Bibliografía
Recomendada
González, J.A. Introducción a los microcontroladores. Ed. McGraw Hill.
Martínez, J. Prácticas con microcontroladores de 8 bits. Ed. McGraw Hill.
Torres, L. Sistemas Analógicos y Digitales de Televisión. UPC
Tischer, M. PC interno 2.0. Ed. Marcombo.
Complementaria
Hintz, K. Microcontrollers. Ed. McGraw Hill.
Microcontroller Handbook. Intel Microprocesadores.
Williams, A.B. Dispositivos periféricos, optoelectrónicos y de interfaz. Ed. McGraw
Hill.
Messmer, H. The Indispensable PC Hardware Book. Ed. Addisson-Wesley.
Yeralan, S. et al. Programming and interfacing the 8051 microcontroller. Ed. AddisonWesley.
213
Contenido
1. Arquitectura de ordenador, microprocesador y microcontrolador
2. Conjunto de instrucciones de ordenador, microprocesador y microcontrolador
3. Introducción a los microcontroladores
4. La familia 51
5. Organización de la memoria en los microcontroladores 8051/8052
6. Programación de los microcontroladores 8051/8052
7. El macro-ensamblador MCS-51
8. Tarjeta de evaluación MCB-517A. Hardware
9. Tarjeta de evaluación MCB-517A. Software
10. Control de Puertos de entrada/salida
11. Temporizadores y contadores
12. Interrupciones
13. Puerto serie
14. Circuitos de interfaz de línea
15. Aplicaciones con microcontroladores (8051)
16. Pantallas de tubo de rayos catódicos, LCD y de plasma
17. Tarjetas de vídeo
18. Sistemas analógicos de televisión a B/N
19. Sistemas analógicos de televisión a color
20. Estándares de compresión de vídeo
21. Sistemas digitales de televisión
214
II (Ciclo 2)
Cuatrimestral, Optativa, 7.5 Créditos (4.5T +
3P)
Programación
Funcional
Descriptores
- Lambda-cálculo
- Reescritura
- Construcción e implementación
- Compilación
- Aplicaciones
Profesores
Víctor Gulías Fernández
Juan José Quintela Carreira
David Cabrero Souto
gulias@lfcia.org
quintela@dc.fi.udc.es
cabrero@udc.es
gulias@fi.pri
quintela@fi.pri
Objetivos docentes
Bibliografía
Recomendada
L.C. Paulson. ML for the Working Programmer. Cambridge University Press, 1.992.
X. Leroy. The Objective Caml System. INRIA, 1997.
C. Reade. Elements of Functional Programming. Brunei University. Addison-Wesley,
1989.
M. Gordon. Programming Language Theory and its Implementation. Prentice-Hall,
1988.
G. Winskel. The Formal Semantics of Programming Languages. MIT Press, Cambridge,
1993.
Complementaria
S. Peyton-Jones. Implementation of Functional Programming Languages. Prentice Hall,
1992.
P. Hudak, J. Peterson, J. Fasel. A Gentle Introduction to Haskell. Yale Haskell Project,
1997.
J.Backus. Can Programming be Liberated from the von Neumann Style? A Functional
Style and Its Algebra of Programs. Communications of the ACM, 21 (8):613-641,
Agosto 1978.
P.Hudak. Conception, Evolution, and Application of Functional Programming
Languages. CM Computing Surveys, 21 (2):359-411, 1989.
J.Armstrong. Erlang: A survey of the language and its industrial applications. Actas del
215
congreso INAP'96. Tokio, Japón, Octubre 1996.
Contenido
1. Fundamentos
1.1 Lambda-Cálculo: Lambda-Cálculo Puro. Sustitución. Reglas de Reducción.
Normalización. Evaluación Perezosa y Voraz. Combinador Punto Fijo y Recursión.
Representación de valores. Extensiones al Lambda-Cálculo Puro.
1.2. Sistema de Tipos: Lambda-Cálculo con tipado simple. Coherencia (Soundness).
Inferencia de Tipos. Sistema de Tipos Polimórfico. Tipos Existenciales y Abstracción
de Datos.
2. Programación utilizando Lenguajes Funcionales
2.1. LF Estrictos: ML (Objective Caml)
2.2. LF Perezosos: Haskell (GHC, Hugs)
2.3. LF Concurrentes/Distribuidos: Erlang
3. Implementación de Lenguajes Funcionales
3.1. Representación en Lenguaje de Bajo Nivel
3.2. Gestión Automática de Memoria
3.3. Técnicas de Compilación
216
Programación orientada a
objetos
II (Ciclo 1) - ITIG - ITIS
Cuatrimestral, Optativa, 6 Créditos
(4T + 2P)
Descriptores
- Encapsulación
- Jerarquía
- Herencia
- Métodos
Profesores
Eduardo Mosqueira Rey
eduardo@udc.es
eduardo@fi.pri
Objetivos docentes
El objetivo principal es dar a conocer al alumno los conceptos básicos de la
programación orientada a objetos, así como introducirlo en algunos aspectos avanzados
(como los patrones de diseño o los objetos distribuidos). Se utiliza como base el
lenguaje de programación Java.
Bibliografía
Recomendada
Budd, T. Understanding object-oriented programming with Java. Reading, MA.
Addison-Wesley, 1998.
Arnold, K., Gosling, J., Holmes, D. El lenguaje de programación Java, AddisonWesley, Madrid, 2001.
Meyer, B. Construcción de Software Orientado a Objetos. Prentice-Hall Iberia, Madrid,
1999.
Booch, G. Análisis y diseño orientado a objetos. Addison-Wesley Iberoamericana,
Wilmigton (Delaware/USA), 1996.
Knoernschild, K. Java desing: objects, UML and process, Addison-Wesley, Boston,
MA, 2002.
Complementaria
Graham, I. Métodos orientados a objetos. Addison-Wesley Iberoamericana, Wilmigton
(Delaware/USA), 1996.
Eckel, B. Piensa en Java. Prentice-Hall, Madrid, 2000.
Booch, G.; Rumbaugh, J. y Jacobson, I. El lenguaje unificado de modelado. AddisonWesley, Madrid, 1999.
Gamma, E. et al. Design patterns: elements of reusable object oriented software.
Reading, MA. Addison-Wesley, 1995.
217
Orfali, R. and Harkey, D. Client/Server Programming with Java and CORBA. 1ª y 2ª
ed. John Wiley & Sons, NY, 1998.
Contenido
1. Introducción
- Paradigmas de programación
- Evolución de los lenguajes imperativos
- Programación orientada a objetos
- Lenguajes orientados a objetos
- El lenguaje de programación Java
2. Elementos básicos de la orientación a objetos
- Clases
- Objetos
- Metaclases
3. Propiedades básicas de la orientación a objetos
- Abstracción
- Encapsulamiento
- Modularidad
- Jerarquía
- Polimorfismo
- Tipificación
- Ligadura dinámica
4. Principios de diseño
- Principio abierto-cerrado
- Principio de sustitución de Liskov
- Diseño por contrato y principio de subcontratación
- Principios de diseño y herencia
5. Modelado visual de objetos: UML
- Modelado y construcción del software
- Metodología de desarrollo del software
- UML en el análisis y deseño orientado a objetos
- Modelado conceptual de UML
- Diagrama de clases y su relación con el código Java
- Ejemplo de utilización de los diagramas UML
6. Patrones de diseño
- Introducción
- Patrones creacionales
- Patrones estructurales
- Patrones de comportamiento
7. Objetos distribuidos
- Partes de una aplicación
- Tipos de aplicaciones distribuidas
- Conexión entre aplicaciones distribuidas
- Modelos de objetos distribuidos
- Modelos de componentes distribuidos
- Servicios Web
218
Protección y seguridad de la
información
II (Ciclo 1) - ITIG
Cuatrimestral, Optativa, 6 Créditos
(4T + 2P)
Descriptores
- Criptografía
- Diseño de criptosistemas
- Criptosistemas con clave secreta
- Criptosistemas con clave publica
- Protección y seguridad en sistemas operativos
- Protección y seguridad en redes de comunicaciones
- Políticas de seguridad
Profesores
Antonino Santos
del Riego
nino@udc.es
nino@fi.pri
http://www.tic.udc.es/~nino/
Objetivos docentes
La asignatura de Protección y Seguridad de la Información introduce al alumno en los
fundamentos y las técnicas utilizadas para la protección de la información en sistemas
informáticos, considerando la protección de la información a nivel físico, lógico,
administrativo y legal.
La formación del alumno también debe atender a todo lo relacionado con los métodos y
algoritmos criptográficos, tanto clásicos como modernos, así como las correspondientes
técnicas de criptoanálisis. En este punto, se debe introducir al alumno en la aplicación
de las técnicas más adecuadas, tanto de clave pública como privada, introduciento los
conceptos de protocolos, esquemas de seguridad y, en general, la gestión de claves.
Otro aspecto de creciente imoportancia en los ultimos años hace referencia a la
problemática de la protección de la información en medios electrónicos de intercamibo
de mensajes como el correo electrónico, páginas web, comercio electrónico y demás
sistemas de comunicación electrónica. La formación en la seguridad en este tipo de
sistemas de información debera ser uno de los objetivos de la asignatura, incluyendo
todo tipo de protocolos, entre otros, sistemas de firma y ceritficación digital.
El estudio y análisis de la seguridad en sistemas operativos también debe ser uno de los
objetivos de la asignatura. En este punto, se consideran aspectos relacionados con la
configuración segura de los distintos servicios, los tipos y características de los ataques
informáticos, las herramientas de detección y protección, etc.
Desde el punto de vista de la seguridad en redes de computadores, se introducen y
explican los principales mecanismos para implementar seguridad corporativa tanto en
Internet como en Intranet. En concreto, se analiza la problemática asociada a la
219
configuración y gestión de redes de datos en cuanto a la seguridad de las
organizaciones. Aspectos relacionados con protocolos de red, conexiones seguras,
configuraciones y herramientas de seguridad en activos de red (conmutadores, routers,
etc.), VPNs, cortafuegos, proxys, sistemas de detección de intrusiones (IDS), etc., se
hacen relevantes en este contexto.
Bibliografía
Recomendada
Anónimo. Linux máxima seguridad. Prentice-Hall, 2000.
Bauer, F. L. Decrypted secrets, methods and maxims of cryptology. Springer, 1997.
Caballero, P. Introducción a la criptografía. Ra-Ma, 1996.
Cheswick, W.R. y Bellovin, S.M. Firewalls and Internet Security. O’Reilly, 1994.
Ramió, J. Aplicaciones criptográficas. 2ª ed. Departamento de publicaciones de la E. U.
de Informática. U. Politécnica de Madrid, 1998.
Complementaria
Rifá, J. y Huguet, LL. Comunicación digital. Masson, 1991.
Douglas R.S. Crytography. CRC Press, 1995.
Oppliger, R. Sistemas de autentificación para seguridad en redes. Ra-Ma, 1998.
Métodos criptográficos (implementaciones software). [en línea]. Funet. [Consulta
Diciembre 2002]. Disponible en Internet en <ftp://ftp.funet.fi/pub/crypt/cryptography>
Havoc Technical Journal. [en línea]. Technotronic. [Consulta Diciembre 2002].
Disponible en Internet en <http://www.technotronic.com/ezines>
220
Contenido
1. Conceptos generales de la seguridad informática.
2. Antecedentes de la Protección y Seguridad de la Información.
3. Aspectos administrativos y legales.
4. Fundamentos: Teoría de la Información y Teoría de Códigos
5. Fundamentos de Criptografía y Criptoanálisis
6. Métodos Criptográficos Tradicionales
7. Métodos Criptográficos Modernos de Clave Simétrica
8. Métodos Criptográficos Modernos de Clave Asimétrica
9. Firma Digital. Certificación Digital
10. Conceptos Generales de Protección y Seguridad de la Información en
Sistemas Operativos y Bases de Datos. Ataques, riesgos y
mecanismos.
11. Protección, seguridad y mecanismos en "Unix" y "Microsoft"
12. Conceptos generales de redes de comunicaciones. Protección y
Seguridad
13. Mecanismos de seguridad en redes de comunicaciones: filtros,
cortafuegos y proxys
14. Sistemas de detección de intrusiones (IDs)
15. Los sistemas de Información y su seguridad. Políticas de Seguridad
221
Redes de neuronas
artificiales
II (Ciclo 2)
Cuatrimestral, Optativa, 7.5 Créditos (4.5T
+ 3P)
Descriptores
- Fundamentos de Redes de Neuronas Artificiales.
- Modelos y aprendizaje en neurocomputación.
- Metodología y herramientas de construcción de Redes de Neuronas Artificiales.
- Sistemas híbridos inteligentes.
- Procesado temporal.
- Computación evolutiva.
Profesores
Antonino Santos del
nino@udc.es
Riego
Julián Dorado de la
julian@udc.es
Calle
nino@fi.pri
http://www.tic.udc.es/~nino
cijulian@fi.pri
Objetivos docentes
La asignatura “Redes de Neuronas Artificiales” se centra en la formación del alumno en
el desarrollo, control, gestión y operación en Redes de Neuronas Artificiales, su
integración con otras técnicas y sus posibilidades de aplicación. El desarrollo, control,
gestión y operación sobre estas arquitecturas constituirán los objetivos generales de la
asignatura.
Las actividades de desarrollo cubren la fase de creación de Redes de Neuronas
Artificiales analizando las metodologías existentes, el análisis del problema a resolver,
su modelización conceptual y diseño. Además, se incluye todo lo referente a los
elementos, arquitecturas y procedimientos de aprendizaje, su implementación,
verificación y, finalmente, la validación.
Otro de los objetivos se centra en el control del proceso de desarrollo de las Redes de
Neuronas Artificiales en sus aspectos de evolución y calidad del producto software. Las
actividades relacionadas con la calidad incluyen la validación de los sistemas. También
se deben incorporar los aspectos relacionados con la administración y supervisión de
proyectos que involucren Redes de Neuronas Artificiales.
Las actividades de operación están relacionadas con el proceso de transferencia de
tecnología, o sea de implantación de las Redes de Neuronas Artificiales en su lugar de
utilización, e incluye actividades de formación de futuros usuarios, planificación de la
puesta a punto y entrega de las Redes de Neuronas Artificiales, así como la integración
de los módulos resultantes con otras tecnologías en, lo que se ha dado en llamar,
sistemas híbridos de naturaleza cooperativa.
222
Bibliografía
Recomendada
Arbib, M.A. The handbook of brain theory and neural networks. MIT Press,
Cambridge, Massachusetts, 1995.
Ashby, W.R. Introducción a la cibernética. Nueva Visión, 1972.
Diamantaras, K.I. y Kung, S.Y. Principal component neural networks: theory and
applications. Wiley, New York, 1996.
Freeman, J.A. y Skapura, D.M. Neural Networks algorithms, applications and
programming techniques. Addison-Wesley, 1991.
Masters, T. Signal and image processing with neural networks: a C++ sourcebook.
John Wiley & Sons, New York, 1994.
Complementaria
Arbib, M.A. Cerebros, máquinas y matemáticas. Alianza Universidad, 1987.
Ríos, J. et al. Estructura dinámica y aplicaciones de las RNA. CEURA, Madrid, 1991.
Tarassenko, L. A guide to neural computing and applications. London Arnold, 1998.
Contenido
1. Fundamentos de las redes de neuronas artificiales. Neurocomputación.
2. Modelos desde la Cibernética.
3. Modelos de redes de neuronas artificiales.
4. Aprendizaje y sistemas inteligentes.
5. Metodología de desarrollo.
6. Sistemas Híbridos.
7. Modelos avanzados de redes de neuronas artificiales.
8. Computación evolutiva.
9. Procesado temporal.
10. Dominios de aplicación de las redes de neuronas artificiales.
Más información en http://rnasa.tic.udc.es/rna
223
Sistemas de adquisición de
datos
II (Ciclo 1) - ITIS
Cuatrimestral, Optativa, 6 Créditos (4T
+ 2P)
Descriptores
- Transductores
- Acondicionadores de señal
- Convertidores de datos
- Interfaz ordenador / sistemas
Profesores
Jose Mª Domínguez Legaspí doming@des.fi.udc.es
Manuel Paradela López
paradela@des.fi.udc.es
esdoming@fi.pri
Objetivos docentes
Introducir al alumno en las distintas técnicas de los sistemas de adquisición de datos y
los tipos de sensores más habituales para la lectura de parámetros físicos en
instalaciones industriales.
Bibliografía
Recomendada
Martín Fernández, A. Instrumentación Electrónica.
Mazo, M. et al. Conversión de datos.
Pallas, R. Transductores y acondicionadores de señal.
Apuntes de la asignatura
Complementaria
Aguilar, M. y López, M. Instrumentación electrónica.
Tompkins, W. J. y Webster, J. G. Interfacing sensors to IBM-PC.
A. Creus Solé. Instrumentación industrial .
224
Contenido
1. Sistemas de adquisición de datos
- Introducción
- Convertidores DACs
- Convertidores ADCs
- Tarjetas de adquisición de datos
2. Sensores y transductores
- Características generales
- Sensores resistivos
- Sensores inductivos
- Sensores piezoeléctricos
- Sensores ópticos
3. Acondicionadores de señal
- Amplificador de instrumentación
- Amplificador de aislamiento
- Linealización
225
Sistemas de control por
computador
II (Ciclo 2)
Cuatrimestral, Optativa, 6 Créditos
(4T + 2P)
Descriptores
- Manipuladores
- Actuadores
- Sensores, arquitecturas
- Lenguajes de programación
- Aplicaciones
Profesores
Luis Castedo Ribas
Joaquín Míguez Arenas
luis@udc.es
miguez@udc.es
luis@fi.pri
Objetivos docentes
Realizar una introducción al análisis y diseño de sistemas de control por computador.
Bibliografía
Recomendada
S. Nise, Norman. Control Systems Engineering. 3ª ed. John Wiley & Sons, 2000.
Complementaria
Ogata, k. Modern Control Engineering. Prentice Hall, 3ª ed. 1997
Contenido
1.
2.
3.
4.
5.
6.
Introducción a los sistemas de control por computador
Transformada de Laplace
Sistemas de control contínuos
La técnica del lugar geométrico de las raices
Transformada Z
Sistemas de control discretos
Más información en http://venus.des.fi.udc.es/~luis/scc/scc.htm
226
Sistemas expertos
II (Ciclo 2)
Cuatrimestral, Optativa, 6 Créditos (4T + 2P)
Descriptores
- Metodologías de diseño
- Arquitecturas
- Herramientas
Profesores
Manuel Vilares Ferro
vilares@dc.fi.udc.es
vilares@fi.pri
Objetivos docentes
Bibliografía
Recomendada
Lucas, P.J.F (HP) y Van der Gaag, L.C. Principles of Expert Systems. Addison-Wesley.
Complementaria
Gelman, A (HP) et al. Bayesian Data Analysis. Chapman & Hall.
Neapolitan, Richard E. Probabilistic Reasoning in Expert Systems. John Wiley & Sons.
227
Contenido
Introducción
1. Estructura de un sistema experto
2. Lógica básica. El principio de resolución. Demostración por reducción al
absurdo.
Sistemas expertos basados en reglas.
3. Métodos de resolución. Resolución SL. Deducción de Earley
4. Programación lógica avanzada. Predicador de aprendizaje. Metaprogramación.
5. Entornos de ejecución. Shells interactivos. Generación automática de
explicaciones: sobre reglas, sobre demostraciones completas y sobre filtros.
Introducción a la incertidumbre.
6. Redes de inferencia. Representación de la incertidumbre. Funciones de
combinación.
7. Redes de Bayes. Concepto y definiciones: probabilidad básica, reescritura de
redes de inferencia, propiedad local de Markov. El algoritmo de Pearl: inferencia
como paso a mensajes, propagación de la evidencia, influencia de la topología.
Construcción de redes de Bayes: diseño de la red, independencia causal.
228
Simulación estadística
II (Ciclo 2)
Cuatrimestral, Optativa, 6Créditos (4T + 2P)
Descriptores
- Generación de variables aleatorias en una y varias dimensiones
- Simulación de procesos
Profesores
Ricardo Cao Abad
rcao@udc.es
Objetivos docentes
Se pretende que el alumno adquiera destreza en la identificación de problemas reales
que pueden ser resueltos por la simulación, así como en dicha resolución utilizando la
citada aproximación por simulación. Para ello se tratará de que el alumno conozca el
funcionamiento de los principales algoritmos de generación de números aleatorios
uniformes, así como métodos para simular las distribuciones de probabilidad más
habituales en la práctica (tanto discretas como continuas y en el caso uni o
multidimensional) siendo capaz de implementarlos en algún lenguaje de alto nivel.
También se pretende introducir al alumno en las principales técnicas de simulación para
problemas reales: simulación estática y dinámica (por cuantos o por eventos, ésta
última), reducción de la variablidad en la simulación, reducción de la dependencia y de
los problemas de estabilización.
Bibliografía
Recomendada
Devroye, L. Non-uniform random variate generation. Springer-Verlag, 1986.
Bratley, P. A guide to simulation. Springer-Verlag, 1990.
Cao, R. Introducción a la simulación y a la teoría de colas. NetBiblo, 2002.
Complementaria
Karian, Z. A. y Dudewicz, E.J. Modern statistical systems and GPSS simulation.
Computer Science Press, 1991.
Moeschlin, O. et al. Experimental stochastics. Springer-Verlag, 1998.
Pardo, L. Y Valdés, T. Simulación. Aplicaciones prácticas a la empresa. Díaz de
Santos, 1987.
229
Contenido
1. Introducción. Conceptos de sistema real, modelo y definición de simulación.
Experimentación real y simulación. Simulación necesaria e innecesaria. Ventajas
e inconvenientes de la simulación. Contenidos de la asignatura.
2. Generación de números pseudoaleatorios uniformes en (0,1). Introducción.
Propiedades deseables de un generador de números pseudoaleatorios uniformes.
Métodos de los cuadrados medios y de Lehmer. Métodos congruenciales.
Medidas estadísticas de calidad de un generador de números pseudoaleatorios.
3. Métodos universales para la generación de variables continuas. Método de
inversión. Método de aceptación/ rechazo y sus variantes.
4. Métodos universales para la generación de variables discretas. Método de la
transformación cuantil. Algoritmos basados en búsqueda secuencial. Algoritmos
basados en árboles binarios. Árboles de Huffman. Método de la tabla guía.
Métodos de truncamiento.
5. Métodos específicos para generación de distribuciones notables. Distribuciones
continuas: normal, chi-cuadrado de Pearson, t de Student, F de Snedecor,
exponencial, Weibull, gamma, beta, logística, Pareto. Distribuciones discretas:
equiprobable, binomial, geométrica, binomial negativa, Poisson.
6. Simulación de distribuciones multidimensionales. Método de las distribuciones
condicionadas. Método de aceptación/rechazo. Métodos de codificación o
etiquetado. Métodos específicos para simular la normal multivariante.
7. Diseño de experimentos de simulación. Diferencias y similitudes con la
experimentación real. Simulación estática y dinámica. Simulación por eventos y
por cuantos. Técnicas de reducción de la varianza. Problemas de estabilización y
dependencia. Ejemplos prácticos.
230
Sistemas de tiempo real
II (Ciclo 2)
Cuatrimestral, Optativa, 6 Créditos (4T + 2P)
Descriptores
- Tiempo real
- UNIX tiempo real
- Sincronización
- Sistemas reactivos
Profesores
Carlos J. Escudero Cascón
escudero@des.fi.udc.es
escudero@fi.pri
Objetivos docentes
En esta asignatura se estudian los sistemas empleados para el procesado digital de
señales en tiempo real. Para ello se estudian las arquitecturas y herramientas de los
procesadores digitales de señal (DSP). Se presta especial atención a una familia de
DSP's que incluyen un sistema operativo en tiempo real.
Bibliografía
Recomendada
Lapsley, B. y Lee, S. DSP Processor Fundamentals: Arquitectures and Features.
Editorial IEEE Press, 1995.
Kehtarnavaz, N. y Keramat, M. DSP system design: using the TMS320C6000. Editorial
Prentice-Hall, 2001
Dahnoun, N. DSP implementation: using the TMS320C6000 DSP plataform. Editorial
Pearson Education, 2000.
Complementaria
Oppeheim, A.V. y Schafer, R. W. Tratamiento de Señales en tiempo discreto. 2ª ed.
Editorial Prentice-Hall, 2000.
Proakis, J. G. y Manolakis, D. G. Tratamiento digital de señal: principios, algoritmos y
aplicaciones. 3ª ed. Editorial Prentice Hall, 1998.
Technical Documentation and Application Reports. [en línea]. Texas Instruments.
[Consulta Diciembre 2001]. Disponible en Internet en <http://www.ti.com>
231
Contenido
1. Introducción al tratamiento digital de señal
- Análisis Espectral. FFT
- Filtrado
2. Proceso de conversión analógico/digital y digital/analógico
- Teorema de muestreo: relación entre los espectros de señales analógicas
y digitales
- Cuantificación
- Conversores A/D y D/A
3. Procesadores digitales de señal
- Conceptos básicos
- Arquitecturas
- Procesadores de punto fijo y punto flotante
- Periféricos
- Caso concreto de la familia TI TMS320C6000
4. Herramientas software para procesado en tiempo real
- Compilador, Ensamblador, "Linkador", Debugger
- Optimizador de código
- Sistema operativo de tiempo real. Tipos de threads: tareas, interrupciones
software y hardware. Prioridades. Sincronización. Depuración y
supervisión en tiempo de ejecución
5. Programación de DSP's
- Filtrado: FIR, IIR y adaptativo. Direccionamiento circular.
- Comunicaciones: DSP- host, entre threads.
- Uso de periféricos: Memoria externa, puertos serie, DMA, ...
- Ejemplos y aplicaciones en tiempo real
232
II (Ciclo 1) - ITIG - ITIS
Cuatrimestral, Optativa, 6 Créditos (4T + 2P)
Teoría de códigos
Descriptores
- Introducción a la teoría de códigos.
- Códigos lineales.
- Códigos cíclicos.
- Compresión de datos.
- Códigos Huffman.
- Codificación aritmética
Profesores
José Luis Doncel Juárez
José María Molinelli Barba
doncel@udc.es
molineli@dc.fi.udc.es
doncel@fi.pri
molineli@fi.pri
Objetivos docentes
Presentar una introducción a las técnicas de codificación de la información digital para
conseguir transmisiones fiables (mediante códigos detectores y/o correctores de errores)
y eficaces (mediante códigos compresores).
Bibliografía
Recomendada
Hill, Raymond. A first course in coding theory. Clarendo Press, Oxford.
Roman, S. Introduction to coding and information theory. Springer-Verlag.
Pretzel, O. Error-correcting codes and finite fields. Clarendo Press, Oxford.
Adámek, J. Foundations of Coding. John Wiley & Sons Inc., New York.
Rifà, J. y Huguet, Ll. Comunicación digital. Masson, Barcelona.
Complementaria
Hoffman, D. G. et al. Coding theory. The essentials. Marcel Dekker, Inc.
Berstel, J. y Perrin, D. Theory of codes. Academic Press, Inc.
van Lint, J. H. Introduction to coding theory. 2ª ed. Springer-Verlag.
233
Contenido
Primera Parte: códigos correctores de errores.
1. Introducción a la teoría de códigos correctores de errores.
2. Códigos Lineales. Definiciones y Propiedades. Corrección de errores con un
código lineal.
3. Códigos Hamming. Código Hamming Ampliado, Código Hamming Truncado,
Código Hamming Generalizado.
4. Códigos de Golay. Códigos Reed-Muller.
Segunda Parte: códigos para la compresión de datos.
5. Introducción a las técnicas de compresión.
6. Códigos de descodificación única, códigos instantáneos, códigos Huffman.
234
Teoría de colas
II (Ciclo 2)
Cuatrimestral, Optativa, 6 Créditos (4T + 2P)
Descriptores
- Procesos de nacimiento y muerte
- Modelos de colas
- Redes de colas
- Sistemas de tiempo compartido
- Simulación de procesos
Profesores
Ricardo Cao Abad
rcao@udc.es
Objetivos docentes
Se pretende que el alumno reconozca las situaciones de la vida real en las que se
producen fenómenos de espera (especialmente aquellas en el ámbito de la informática y
las telecomunicaciones) y sepa modelizarlas mediante la teoría de colas. Un segundo
objetivo consiste en obtener la destreza necesaria para interpretar, traducir y resolver las
cuestiones de interés que aparecen en dichas situaciones en términos de las magnitudes
fundamentales de todo modelo de colas o redes de colas. Para ello se requerirá de
soltura en el manejo de los conocimientos básicos sobre procesos estocásticos de
nacimiento y muerte. Por último, desde el punto de vista práctico, se pretende que el
alumno sea capaz de implementar (de forma computacionalmente eficiente) los modelos
básicos de la teoría de colas en algún lenguaje de alto nivel.
Bibliografía
Recomendada
Allen, A. O. Probability, statistics and queueing theory with computer science
applications. Academic Press, 1990.
Gross, D. y Harris, C.M. Fundamentals of queueing theory. Wiley, 1985.
Cao, R. Introducción a la simulación y a la teoría de colas. NetBiblo, 2002.
Complementaria
Medhi, J. Stochastic models in queueing theory. Academic Press, 1991.
Trivedi, K. S. Probability and statistics with reliability, queueing theory and computer
science applications. Prentice Hall, 1982.
Saaty, T.L. Elements of queueing theory with applications. Dover, 1983.
235
Contenido
1. Introducción.
- Reseña histórica.
- Contenidos de la asignatura.
2. Introducción a los procesos estocásticos.
- Conceptos generales y propiedades básicas.
- Procesos de contar: el proceso de Poisson.
- Procesos de nacimiento y muerte.
3. Introducción a la teoría de colas.
- Descripción del sistema de una cola.
- Terminología básica.
- Propiedades de interés de las distribuciones exponencial y gamma.
- Fórmulas de Little.
4. Modelos con tasas de llegada y de servicio de tipo Poisson.
- Modelo M/M/1.
- Modelo M/M/s.
- Modelo M/M/1/K.
- Modelo M/M/s/K y fórmulas de Erlang.
- Modelo M/M/1/infinito/H. Modelo M/M/s/infinito/H, con y sin
repuestos.
- Modelo M/M/infinito.
- Ejemplos.
5. Redes de colas.
- Introducción a las redes de colas.
- Redes de Jackson abiertas.
- Redes de Jackson cerradas.
- Otros modelos de redes de colas (cíclicas, con bloqueo, etc.).
- Ejemplos.
6. Colas con distribuciones arbitrarias de llegada y servicio.
- Modelo M/G/1.
- Otros modelos con tiempo entre llegadas exponencial.
- Colas con servicio exponencial y entrada general.
- Aproximación mediante simulación.
236
Técnicas operativas de
gestión
II (Ciclo 1) - ITIG
Cuatrimestral, Optativa, 6 Créditos (4T +
2P)
Descriptores
- Programación a coste mínimo en redes
- Programación de proyectos a coste mínimo: PERT, CPM y MCE
- Gestión de stocks
- Teoría del inventario
Profesores
Alejandro Quintela del Río
Objetivos docentes
Enseñar el desarrollo histórico de la investigación operativa y su uso en diversas
situaciones reales. Enseñar las técnicas básicas de análisis de redes y los modelos de
inventarios.
Bibliografía
Recomendada
Hillier, F. S. y Lieberman, G. J. Introducción a la investigación de operaciones.
Mcgraw-Hill.
Romero López, C. Técnicas de programación y control de proyectos. Pirámide.
Anderson, D. R.; Sweeney, D. J. y Williams, T. A. Introducción a los modelos
cuantitativos para administración. Grupo Editorial Iberoamericana.
Ravindran, A. Phillips, D. y Solberg, J. Operations Research. Principles and Practice.
Wiley.
Taha, H. Investigación de operaciones.
Complementaria
Forsythe, Frederick. El puño de Dios. Plaza y Janés.
Harris, Rober. Enigma. Plaza y Janés.
Kanon, Joseph. Los álamos. Grijalbo.
237
Contenido
1. Desarrollo histórico de la investigación operativa.
- La 2ª guerrra Mundial.
- El proyecto del cañón de Babilonia.
2. Análisis de redes:
- Flujo en redes.
- Técnicas de planificación y control de proyectos.
3. Gestión de stocks:
- Modelos determinísticos.
- Modelos estocásticos.
238
Tratamiento digital de la
señal
II (Ciclo 1) - ITIS
Cuatrimestral, Optativa, 6 Créditos (4T +
2P)
Descriptores
- Análisis espectral, morfológico.
- Filtros digitales: Wierner, ventanas, FIR, IIR.
- Tratamiento digital de voz.
Profesores
Carlos J. Escudero Cascón
escudero@des.fi.udc.es
escudero@fi.pri
Objetivos docentes
En esta asignatura se presentan las técnicas básicas del procesado digital de señales tales
como: DFT, FFT, análisis espectral, transformada Z, filtros digitales y conversión A/D.
Finalmente se hace una breve introducción al procesado en 2D aplicado a imágenes.
Bibliografía
Recomendada
Oppeheim, A. V. y Schafer, R. W. Tratamiento de señales en tiempo discreto. 2ª ed.
Prentice-Hall, 2000.
Proakis, J. G. y Manolakis, D. G. Tratamiento digital de señal: principios, algoritmos y
aplicaciones. 3ª ed. Prentice Hall, 1998.
Complementaria
Marino, J.B. et al. Tratamiento digital de la señal: una introducción experimental.
UPC, 1996.
239
Contenido
1. Señales y sistemas discretos
- Señales discretas
- Sistemas discretos
- Análisis en el dominio del tiempo de sistemas lineales e invariantes en el
tiempo
- Ecuaciones en diferencias lineales con coeficientes constantes
2. Análisis en frecuencia de señales discretas
- Transformada de Fourier de señales discretas
- Propiedades de la transformada de Fourier
- Densidad espectral de energía
- Muestreo de señales contínuas
3. Transformada de Fourier discreta
- Muestreo en el dominio de la frecuencia: la DFT
- Propiedades de la DFT
- Convolución rápida con DFT
- Cálculo eficiente de la DFT: la FFT
4. Procesado de señal, en 2D
- Señales y sistemas discretos
- Convoluciones
- Propiedades y tipos de sistemas
- Transformada de Fourier
5. Transformada Z
- Introducción
- Propiedades de la región de convergencia
- Propiedades de la transformada Z
- Interpretación geométrica de la respuesta en frecuencia
6. Diseño de filtros digitales
- Filtros ideales selectivos en frecuencia
- Distorsión de fase
- Filtros prácticos selectivos en frecuencia
240
Técnicas de simulación
II (Ciclo 2) - ITIS
Cuatrimestral, Optativa, 6 Créditos (4T + 2P)
Descriptores
- Simulación de dispositivos electrónicos
- Simulación lógica
- Simulación funcional
- CAD, CAM, CAE
Profesores
José Rodrigo Sanjurjo Amado josesan@udc.es
josesan@fi.pri
Objetivos docentes
Se pretende que el alumno conozca la utilidad de los sistemas de diseño asistido por
computador aplicados a la Electrónica Digital.
Bibliografía
Recomendada
Documentación del sistema LOG en INTERNET. [en línea]. Instituto Tecnológico de
California. [Consulta Diciembre 2001]. Disponible en Internet en
<http://www.pcmp.caltech.edu:80/chipmunk/index.html>
Documentación del sistema LOG en el CECAFI. [sistemas de docencia]. Instituto
Tecnológico de California. [Consulta Diciembre 2001]. Disponible en sistemas de
docencia en </apps/doc/chipmunk/index.html>
Besteiro Vázquez, Óscar. Aplicación del Sistema LOG al diseño y simulación de
circuitos digitales. Proyecto de Diplomatura, Depto. Electrónica y Sistemas, Facultad
de Informática, Universidade da Coruña, Enero de 1997.
Complementaria
Apuntes de Tecnología Electrónica. Depto. Electrónica y Sistemas, Facultad de
Informática, Universidade da Coruña.
Bello Soto, Rubén. Aplicación del Sistema LOG al diseño y simulación de circuitos
analógicos. Proyecto de Diplomatura, Depto. Electrónica y Sistemas, Facultad de
Informática. Octubre de 1997.
TEXAS INSTRUMENTS: The TTL Databook (vol. I). 1985.
Patterson, D. A. y Hennessy, J. L. Organización y diseño de computadores. McGrawHill, 1995.
Llorís, A. y Prieto, A. Diseño Lógico. McGraw-Hill, 1996.
241
Contenido
1. Introducción a los sistemas CAE, CAD y CAM.
- Definiciones y cometidos principales.
2. Introducción al sistema LOG.
3. Bases de la simulación digital: DIGLOG.
- Edición de circuitos.
- Catálogo y bibliotecas.
- Descripción de los menús.
- Visualización de cronogramas: modo SCOPE.
4. Simulación digital jerárquica.
5. Simulación digital VLSI.
6. Ampliación de la biblioteca de circuitos: LOGED.
- Diseño de puertas.
- Utilización de nuevas puertas en el DIGLOG.
7. Simulación de sistemas secuenciales complejos.
- Implementación algorítmica de sistemas secuenciales.
- Diseño del camiño de datos.
- Diseño de la unidade de control.
- Introducción al diseño electrónico analógico: ANALOG.
242
Visión Artificial
II (Ciclo 2)
Cuatrimestral, Optativa , 6 Créditos (4T + 2P)
Descriptores
- Segmentación
- Análisis: morfológico, sintáctico y espectral
- Visualización espacial y temporal
- Heurística de la imagen
Profesores
Manuel González Penedo
cipenedo@udc.es
cipenedo@fi.pri
Objetivos docentes
Bibliografía
Recomendada
No disponible
Complementaria
No disponible
243
Contenido
1. Introducción.
1.1. Fundamentos. Definiciones.
1.2. Muestreo de la Imagen.
1.3. Operaciones sobre la Imagen.
2. Transformadas y Operaciones
2.1. Transformadas de Fourier
2.2. Propiedades. Importancia de la Fase y Amplitud. Separabilidad. Traslación.
Rotación. Cambio de Escala. Convolución
3. Mejora de Imagen I
3.1. Introducción
3.2. Estadísticas de una Imagen. Histograma
3.3. Mejora por procesamiento de punto. Transformaciones de intensidad. Operaciones
sencillas
3.4. Procesado de histogramas. Definiciones. Normalización. Histograma Shrink.
Desplazamiento. Ecualización. Control Adaptivo de Histograma
4. Mejora de la Imagen II (suavizado)
4.1. Introducción. Filtros
4.2. Dominio Espacial. Lineales (uniforme, gaussiano). No Lineales (median, suavizado
preservando bordes). Otros
4.3. Dominio de la Frecuencia. FFT(suavizado): Filtro pasa baja Ideal y Filtro pasa baja
No Ideal
5. Mejora de la Imagen III(Realce)
5.1. Introducció
5.2. Dominio Espacial. Algoritmos de Realce. Filtros pasa alta. Enfasis de alta
frecuencia(High-Boost). Unsharp Masking
5.3. Dominio de la Frecuencia. FFT(realce) (Filtro pasa alta Ideal y Filtro pasa alta No
Ideal(Butterford)). Enfasis de altas frecuencias. Realce Homomórfico
6. Segmentación I
6.1. Introducción
6.2. Metodos de segmentación basados en el análisis del histograma. Umbralización (PTile Methd, Isodata Algorithm, Background-symmetry algorithm y Triangle algorithm).
Limitaciones de los métodos basados en análisis de histogramas.
6.3. Métodos de segmentación orientada a regiones. Split Regions. Split and Merge.
Region Growing.
7. Detección de bordes
7.1. Introducción
7.2. Métodos de detección. Métodos basados en gradiente. Métodos basados en
2ªderivada. Método basado en la detección de cruces por cero (Operador LoG y
Operador DoG). Operador de Canny.
7.3. Problemas en la detección de bordes
244