TitulacióN: ingeniero en informática (2º ciclo) primer curso 13001 arquitectura e ingeniería de computadores (Troncal)



Descargar 202,69 Kb.
Fecha de conversión10.04.2017
Tamaño202,69 Kb.
PROGRAMA DE LAS ASIGNATURAS
TITULACIÓN: INGENIERO EN INFORMÁTICA (2º CICLO)

PRIMER CURSO
13001 ARQUITECTURA E INGENIERÍA DE COMPUTADORES (Troncal)

1ER SEMESTRE. 9 créditos (6 teóricos + 3 prácticos)

Página web: http://informatica.usal.es
PROFESOR/ES: D.ª Belén Curto Diego

D. Guillermo González Talaván
PROGRAMA

Tema 1. Introducción a las arquitecturas paralelas



  • · Niveles de paralelismo

  • · Tendencia en el diseño de computadores

  • · Medidas del rendimiento

  • · Paralelismo en sistemas monoprocesadores

  • · Clasificación de las arquitecturas avanzadas

Tema 2. Memoria del computador

  • · Tendencias tecnológicas

  • · Localidad

  • · Jerarquía de memoria

  • · Principios básicos de las cachés

o Caché de correspondencia directa

o Gestión de escrituras

o Explotando la localidad espacial: caché multipalabra

o Diseño de un sistema de memoria

o Mejora del rendimiento: caché asociativa y multinivel

o Coherencia de caché. Protocolo MESI

Tema 3. Segmentación: rendimiento y control


  • · Segmentación lineal

  • · Segmentación no lineal

  • · Segmentación estática

  • · Inserción de retardos para aumentar el rendimiento

  • · Segmentación dinámica

  • · ImpIementación de funciones de control

  • · Ejemplos de diseño

Tema 4. Segmentación en un sistema monoprocesador: técnicas de anticipación

  • · Modelo de arquitectura SISD

  • · Dependencias y conflictos entre instrucciones

  • · Detección y resolución de conflictos

  • · Desarrollo de diseños segmentados

  • · Tratamiento de las interrupciones

  • · Conflictos de control

  • · Arquitecturas RISC

Tema 5.- Aumento del rendimiento de un procesador: procesadores superescalares

  • · Rendimiento de un procesador

  • · Procesadores Superescalares

  • · Aumento del paralelismo a nivel de instrucción

  • · Arquitecturas supersegmentadas

  • · Arquitecturas supersegmentadas-superescalares

  • · Arquitecturas VLIW

  • · Microprocesadores comerciales

Tema 6.- Sistemas multiprocesadores

  • · Redes de interconexión

  • · Modelo de programación

  • · Modelo de memoria compartida

  • · Diseños de pequeña escala

  • · Diseños de gran escala

  • · Modelo de paso de mensajes

  • · Convergencia en la arquitectura

  • · Coherencia de caché

o Protocolos de coherencia de sondeo (snoopy)

o Protocolos de coherencia de directorio

 

BIBLIOGRAFÍA

Hennessy, John; Patterson, David A. - Computer Architecture: A Quantitative Approach. Ed. Morgan Kaufmann.

Hennessy, John; Patterson, David A. – Arquitectura de computadores: un enfoque cuantitativo. McGraw-Hill.

Patterson, David A.; Hennessy, John. - Computer Organization & Design: the Hardware & Software Interface. Ed. Morgan Kaufmann.

Culler; Singh; Gupta. - Parallel Computer Architecture: a Hardware/Software Approach. Ed. Morgan Kaufmann.

W. Stallings. - Organización y Arquitectura de Computadores. Ed. Prentice Hall.

 

OBJETIVOS

Estudiar los conceptos y fundamentos de las arquitecturas avanzadas de computadores. La asignatura se centrará en las diferentes formas de incorporar concurrencia dentro de un sistema computador .

Competencias: El alumno comprenderá el funcionamiento de los procesadores segmentados, superescalares y de los multiprocesadores.


13002 ANÁLISIS DE SISTEMAS (Troncal)

ANUAL. 9 créditos (6 teóricos + 3 prácticos)



Página web: http://informatica.usal.es
PROFESORA: D.ª María Navelonga Moreno García
PROGRAMA

1. Sistemas de Información

2. Modelos de proceso del software

3. Métodos de desarrollo de software

4. El lenguaje UML y el Proceso Unificado

5. Técnicas formales de especificación

6. Desarrollo de sistemas especiales
PRÁCTICAS

Aplicación de los métodos estudiados haciendo uso de una herramienta CASE.


BIBLIOGRAFÍA

Booch, G., Rumbaught, J. y Jacobson I. “El Lenguaje Unificado de Modelado”, Addison-Wesley Object Technology Series, 1999.

Clark, T. y Warmer, J. “Object Modeling with the OCL”, Springer, 2002.

Eriksson, H. E.; Penker, M., Lyons, B.; Fado, D. “UML 2 Toolkit”. OMG Press, 2004.

Gamma, E., Helm, R., Jonson, R. y Vlissides, J. “Patrones de Diseño”, Addison-Wesley, 2003.

Jacobson, I.; Booch, ; G. Rumbaught, J. “El Proceso Unificado de Desarrollo de Software”, Addison-Wesley Object Technology Series, 2000.

Harry, A., “Formal Methods. Fact File”, John wiley & sons, 1996.

Larman, C. “UML y Patrones: Una introducción al Análisis y Diseño orientado a Objetos y al Proceso Unificado”, 2ª Edición, Prentice-Hall, 2002.

Meyer, B. “Construcción de Software Orientado a Objetos”, Prentice Hall, 1998.

OMG. “OMG Unified Modeling Language Specification. Version 1.5”. Object Management Group Inc., http://www.omg.org/technology/documents/formal/uml.htm, March 2003.



OMG. “UML 2.0 Infrastructure Specification”. Object Management Group Inc., http://www.omg.org/docs/ptc/03-09-15.pdf, December, 2003.

OMG. “UML 2.0 Superstructure Specification”. Object Management Group Inc., http://www.omg.org/cgi-bin/doc?ptc/2004-10-02 , October, 2004.

Piattini, M.G. et al. “Análisis y Diseño Detallado de Aplicaciones Informáticas de Gestión”, Rama, 2003.

Pressman, R.S. “Ingeniería del Software, un enfoque práctico”, Mc Graw Hill, 6ª edición, 2005.



Rumbaught, J.; Jacobson, I.; Booch, G. “El Lenguaje Unificado de Modelado. Manual de Referencia”. Addison-Wesley Object Technology Series, 2000.

Sommerville, I. “Ingeniería de Software”, 6ª ed., Addison Wesley, 2002.

Warmer J.; Kleppe, A. “The Object Constraint Language. Precise Modeling with UML”. Addison-Wesley Object Technology Series, 1999.

 

EVALUACIÓN



- Examen final

  • Trabajos práctico


13003 PROCESADORES DE LENGUAJE (Troncal)

2º SEMESTRE. 9 créditos (6 teóricos + 3 prácticos)



Página web: http://informatica.usal.es
PROFESOR/ES: D. Luis Alonso Romero

D.ª Vivian Félix López Batista
PROGRAMA

Teoría:

  1. Introducción. Generalidades. Historia. Paradigmas de programación. Compiladores.

  2. Aspectos formales. Definiciones. BNF. Lenguajes Formales. Gramáticas. Análisis sintáctico.

  3. Análisis de léxico. Tablas de símbolos. Herramientas.

  4. Análisis sintáctico. Construcción de analizadores. Herramientas.

  5. Semántica y análisis de tipos. Traducción dirigida por la sintaxis. Gramáticas Atribuidas.

  6. Gestión y manejo de errores de léxico, sintácticos y semánticos.

  7. Generación y Optimización de código. Código intermedio. Gestión de memoria.

  8. Aspectos de implementación. Enlazadores. Cargadores..

PRACTICAS

  1. Herramientas: Lex, yacc, jlex, lisa, cup...


BIBLIOGRAFÍA

AHO, SETHI, ULLMANN – “Compiladores: principios, técnicas y herramientas”. Addison 90.

BAL. GRUNE – “Programming Language Essentials”. Addison Wesley 97.

BENNET –“introduction To Compiler techniques”. McGraw Hill, 96

GARRIDO, INGESTA, MORENO, PEREZ –“Diseño de Compiladores”. Univ. Alicante 2002

LEVINE –“Linkers and Loaders”: Academic Press 2000

LEVINE, MASON, BROWN – “Lex & Yacc”.- O'Reilly 92.

LOUDEN –“ Construcción de Compiladores”. Thomson 2004

TEUFEL, SCHMIDT – “Compiladores: conceptos fundamentales”. Addison Wesley 95.
OBJETIVOS

Proporcionar una panorámica de los compiladores de lenguajes, tanto desde el punto de vista teórico (análisis de léxico, sintáctico y semántico) como de algunas de las herramientas existentes. Al finalizar la asignatura, el alumno deberá ser capaz de construir las primeras fases de un compilador sencillo.


EXAMEN

Teoría (60%): Test y ejercicio práctico sobre las partes 1 a 8.

Práctica (40%): Realización de un trabajo que se propondrá en la última semana de Marzo. El trabajo consistirá en la realización de un compilador, en C o en Java; para un lenguaje sencillo con una gramática predefinida. Se dará un plazo de realización, y los trabajos habrá que presentarlos y defenderlos de forma individual, en fechas que se señalarán.

Para la superación de la asignatura, es necesario aprobar cada una de las dos partes. No obstante, se conservarán las notas parciales para la convocatoria extraordinaria de Julio.




13004 REDES (Troncal)

1ER SEMESTRE. 9 créditos (6 teóricos + 3 prácticos)



Página web: http://informatica.usal.es
PROFESOR/ES: D. Ángel Luís Sánchez Lázaro

D.ª Ángeles M.ª Moreno Montero
PROGRAMA

  1. TCP/IP (IPv6)

  2. LAN´s DE ALTA VELOCIDAD

  3. REDES DE ÁREA ANCHA. 1. Retransmisión de tramas (Frame Relay). 2. RDSI de banda estrecha. 3. RDSI de banda ancha. Retransmisión de celdas (ATM)

  4. SNMP

  5. SEGURIDAD EN REDES. 1. Generalidades. 2. Cifrado Convencional. 3. Confidencialidad usando cifrado convencional. 4. Criptología de clave pública. 5. Validación de identificación (Autentificación de mensajes) y firmas digitales. 6. Aplicaciones de seguridad en Inter-redes.

  6. REDES INALAMBRICAS

PARTE PRÁCTICA.

Aplicaciones en red (Sockets). Elementos de interconexión (switchers y routers). Gestión de red (SNMP). Seguridad.
BIBLIOGRAFÍA

TANENBAUM, A.S. – “Redes de Computadoras”. Ed. Prentice-Hall.

STALLINGS, W. – “Comunicaciones y Redes de Computadores”. Ed. Prentice-Hall Sexta Edición. STALLINGS, W. – “Network and Internetwork security. Principles and Practice”. Ed. Prentice-Hall.

“Internetworking with TCP/IP”. Comer. Ed. Prentice-Hall. Volume I: “Principles, Protocols and Architecture”. Vol. II: “Design Implementation and Internals”. Vol. III: “Client- Server Programming and Applications”. BDS socket version.



13005 AMPLIACIÓN DE SISTEMAS OPERATIVOS (Obligatoria)

2º SEMESTRE. 9 créditos (4,5 teóricos + 4,5 prácticos)



Página web: http://informatica.usal.es
PROFESOR/ES: D. Luis Antonio Miguel Quintales

D. Guillermo González Talaván
PROGRAMA

Tema 1.- Caracterización de los sistemas distribuidos

Tema 2.- Modelos de sistemas

Tema 3.- Middleware

Tema 4.- Tiempo y estados globales

Tema 5.- Coordinación entre procesos

Tema 6.- Memoria compartida distribuida

Tema 7.- Sistemas de archivos distribuidos

Tema 8.- Replicación

Tema 9.- Servicios de nombres


BIBLIOGRAFÍA

COULOURIS, G.; DOLLIMORE, J.; KINDBERG, T. (2002): “Sistemas Distribuidos. Conceptos y diseño”. 3ª edición. Addison Wesley.

BARBOSA, V.C. (1996): “An Introduction to Distributed Algorithms”. MIT Press.

CHOW, R. y JOHNSON, T. (1997): “Distributed Operating Systems & Algorithms”. Addison-Wesley.

GOCINSKI, A. (1991): “Distributed Operating Systems. The Logical Design”. Addison-Wesley.

SINHA, P.K. (1997): “Distributed Operating Systems. Concepts and Design”.. IEEE Computer Society Press.

TANENBAUM, A.S. (1995): “Sistemas Operativos Distribuidos”.. Prentice Hall.
OBJETIVOS

Adquisición por los alumnos de los conocimientos necesarios para:



  1. Entender los conceptos teóricos básicos relativos a los Sistemas Operativos Distribuidos

  2. Entender los distintos métodos de diseño y algoritmos implicados en la implementación de los Sistemas Operativos Distribuidos.

  3. A nivel práctico, diseñar e implementar distintos algoritmos distribuidos, utilizando un middleware que permita utilizar las técnicas de llamada a procedimiento y/o método remoto.


13012 ADMINISTRACIÓN DE SISTEMAS INFORMÁTICOS (Optativa)

2º SEMESTRE. 6 créditos (2 teóricos + 4 prácticos)



Página web: http://informatica.usal.es
PROFESORA: D.ª Vivian Félix López Batista
PROGRAMA

1ª Parte – Administración de Sistemas UNÍX

1.- Labores del Administrador del Sistema

2.- Sistema de ficheros

3.- PERL


4.- Arranque, parada y niveles de ejecución

5.- Gestión de usuarios

6.- Control del espacio en disco

7.-Copias de seguridad

8.- Procesos, planificación y monitorización

9.- Contabilidad

10.- Seguridad

2ª Parte – Administración de Servicios de Internet en sistemas UNÍX

11.- Instalación y configuración de un servidor de HTTP

12.- Instalación y configuración de un servidor de FTP

13.- Instalación y configuración de un servidor de correo: SENDMAIL y P0P3

14.- Instalación y configuración de un SGBD

15.- PERL CGI y PHP


BIBLIOGRAFÍA

FRISCH, A.; FRISCH, E. (2002): “Essential System Administration. Help for UNIX System Administrators” (3rd Edition) O´Reilly.

NEMETH, E.; SNYDER, G. y SEEBASS, S.; HEIN, T.R. (2000): “UNIX System Administration Handbook” (3rd Edition) Prentice Hall.

BLANK-EDELMAN, D.N. (2000): “Perl for System Administration”. O´Reilly.

WALL, l.; CHRISTIANSEN, T.; ORWANT, J. (2000): “Programming Perl” (3rd Edition). O´Reilly.
OBJETIVOS

Adquisición de los conocimientos necesarios para llevar a cabo las tareas habituales de Administración de un servidor tipo UNÍX.




13015 MICROELECTRÓNICA (Optativa)

1ER SEMESTRE. 6 créditos (4,5 teóricos + 1,5 prácticos)


PROFESORA: D.ª M.ª Jesús Martín Martínez


PROGRAMA

1.- Dispositivos electrónicos y optoelectrónicos: Introducción. Breve repaso a dispositivos electrónicos. Dispositivos optoelectrónicos . Transductores. Modelos de dispositivos para su utilización en simulación de circuitos integrados...

2.- Tecnología y fabricación de circuitos integrados: Procesos básicos en la fabricación de CI. Oxidación, deposición, difusión e implantación de impurezas y epitaxia. Fotolitografía. Contactos, interconexiones y metalizaciones. Fabricación de CI bipolares, MOS y BICMOS.

3.- Circuitos integrados analógicos y digitales: Cis Digitales. Familias lógicas bipolares y MOS. Cis Analógicos. Amplificadores, respuesta en frecuencia. Circuitos de tratamiento analógico de señal: filtros activos y moduladores.

4.- Electrónica de comunicaciones: Introducción. Red de comunicación de datos. Circuitos integrados para la comunicación de datos. Circuitos integrados para modulación y demodulación digital. Comunicaciones por fibra óptica.
PRACTICAS

Simulación de circuitos digitales y analógicos mediante PSPICE. Circuitos integrados para modulación y demodulación.


BIBLIOGRAFÍA

HAMBLEY, A.R. (2001): “Electrónica” Prentice Hall.

SEDRA, A.S. & SMITH, K.C. (2004): “Microelectronic Circuits”. Oxford University Press.

STREETMAN, B.G. (1995): “solid State Electronic Devices”. Prentice Hall International

TOMAS, W. (2003): “Sistemas de comunicaciones electrónicas”.- Prentice Hall.
OBJETIVOS Y PLAN DE TRABAJO

Ampliación de conocimientos de Electrónica, tanto analógica como digital.

Desarrollo teórico (4,5 créditos), complementado con prácticas de aula de informática y de laboratorio (1,5 créditos).
EVALUACIÓN

La asignatura se evaluará mediante un trabajo realizado con PSPICE y un examen escrito en forma de cuestiones tanto de carácter teórico como práctico (problemas cortos).




13017 TÉCNICAS DE INVESTIGACIÓN OPERATIVA (Optativa)

1ER SEMESTRE. 6 créditos (3 teóricos + 3 prácticos)


PROFESOR: D. Quintín Martín Martín
PROGRAMA

Capítulo 1. GRAFOS

Conceptos Generales. Grafos no orientados. Grafos orientados. Tipo de grafos. Representaciones matriciales. Algoritmo de búsqueda de caminos hamiltonianos. Búsqueda de caminos mínimos para grafos valuados. Algoritmos de la ruta más corta: Algoritmo de Dijkstra y Algoritmo de Floyd. Árboles. Algoritmo de Kruskal. Algoritmo de Solin.

Capítulo 2. MODELO DE REDES

Formulación del Modelo de Transporte. Problema del camino más corto. La programación lineal aplicada a los problemas de flujo máximo en redes. Problemas de flujo compatible con coste mínimo. Problemas de flujo óptimo en una red de transporte. Flujo en una red de transporte. Corte en una red de transporte. Aplicaciones al control de proyectos: Métodos PERT y CPM. Diferencia de los métodos PERT-CPM con el método de Gantt. Fases en un control de proyecto. Método PERT/CPM.

Capítulo 3. CONTROL DE INVENTARIOS

Definición y características. Ventajas e inconvenientes de tener grandes Inventarios. Características de los Modelos de Inventarios. Componentes de coste de un Sistema de Inventarios. Modelos de inventario . Modelos de cantidad económica de Lote (EOQ). Modelo EOQ Clásico. Modelo EOQ con descuentos por cantidad. Modelo EOQ de artículos con restricciones de almacenamiento. Producción conjunta de lotes (con la misma maquinaria). Producción de un solo producto. Producción de n productos (lotes). Modelo de inventario con demanda aleatoria. Stock de seguridad. Modelo de inventario probabilístico discreto. Modelos de inventario con revisión periódica.

Capítulo 4. TEORÍA DE COLAS

Proceso básico de las colas. Procesos estocásticos. Propiedades de la distribución exponencial. Modelos de colas. Costes de los sistemas de colas . Modelo de nacimiento y muerte. Modelos de colas basados en el proceso de nacimiento y muerte. Modelo con restricciones. Modelo básico con cola finita (M). Modelo básico con fuente de entrada finita (m). Modelo dependiente del número de clientes en el sistema. Modelo de cola con servidor ausente. Modelo de cola con disciplina de prioridad.

Capítulo 5. APLICACIÓN DE LAS REDES NEURONALES ARTIFICIALES Y ALGORITMOS GENÉTICOS A LA INVESTIGACIÓN OPERATIVA

Introducción. Clasificación de redes neuronales artificiales. El perceptrón multicapa. Algoritmo backpropagation. Redes neuronales artificiales de Kohonen y de Hopfield. Algoritmos Genéticos. El Problema del Viajante de Comercio (TSP). Aplicación de los algoritmos genéticos al diseño de redes neuronales.
BIBLIOGRAFIA

BAZARAA, M.S.; SHERALI, H. D. & SHETTY, C. M. (1993): “Nonlinear Programming: Theory and Algoritms” (2ª edición). John Wiley and Sons, New York.

DIAZ, A. (Coordinador) (1996): “Optimización heurística y redes neuronales”. Paraninfo, S.A. Madrid.

MARTÍN MARTÍN, Q. (2003): Investigación Operativa”. Ed. Hespérides. Salamanca.

HILLIER, F. & LIEBERMAN, G. (1980): “Introducción a la investigación de operaciones”. McGraw-Hill. Madrid.

WINSTON, W.L. (1994): “Investigación de Operaciones. Aplicaciones y Algoritmos”. Grupo Editorial Iberoamericana, S.A. México.

WHITAKER, F. (1988): Investigación Operativa con el computador”. Paraninfo, S.A. Madrid.
OBJETIVOS

Proporcionar a los alumnos los conocimientos necesarios sobre técnicas de Investigación Operativa (I.O.), de manera que éstos puedan plantear los problemas y resolverlos con un programa informático de I.O. y/o ventanas “Applets”. Posibilitar a los alumnos, para que desarrollen subrrutinas, que resuelvan problemas concretos de I.O.


EVALUACIÓN

La evaluación se llevará a cabo mediante un examen en el que el alumno deberá plantear los ejercicios y resolverlos mediante la utilización de un programa informático de I.O. y/o ventanas “Applets”.

Se evaluará, también, los trabajos de resolución de problemas implementados en programas informáticos.


13022 LÓGICA COMPUTACIONAL (Optativa)

2º SEMESTRE. 6 créditos (3 teóricos + 3 prácticos)


PROFESORA: D.ª M.ª Teresa Sancho de Salas
PROGRAMA

1.- Álgebra de Boole y lógica clásica. Deducciones en la lógica clásica.

2.- Álgebras de De Morgan y lógica difusa.

3.- Conjuntos borrosos. Álgebra de predicados en la lógica difusa. Razonamiento aproximado.

4.- Aplicaciones: Sistemas expertos. Problemas de decisión. Modelos borrosos en logística.
BIBLIOGRAFÍA

HANS J. ZOMMERMANN (1985): “Fuzzy set theory and its applications”. Kluwer-Nijhoff Publ..

HUNG T. NGUYEN, ELBERT A. WALKER (1997): “A first course in Fuzzy logic”, CRC Press.

TRILLAS, E. (1980): “Conjuntos borrosos”. Vicens Vives. Barcelona, 1980.


OBJETIVOS

El curso va dirigido a hacer una introducción de la lógica difusa con sus aplicaciones en la inteligencia artificial, sistemas expertos, etc.

El curso está dividido en una parte teórica, donde se dan con rigor los conceptos que luego se aplican y una parte práctica que se realizará preferentemente con ordenador.
EVALUACIÓN

Se realizará durante todo el curso una evaluación continua mediante exámenes cortos en clase y trabajos a realizar por el alumno o grupo de alumnos. Al final del curso habrá un examen teórico y práctico.



SEGUNDO CURSO

13006 ADMINISTRACIÓN DE PROYECTOS INFORMÁTICOS (Troncal)

ANUAL. 9 créditos (6 teóricos + 3 prácticos)

Página web: http://informatica.usal.es
PROFESORA: D.ª María Navelonga Moreno García
PROGRAMA

1. Visión general de la administración de proyectos.

2. Medición del Software.

3. Métodos de estimación y gestión del riesgo.

4. Planificación temporal de proyectos.

5. Gestión de calidad.

6. Gestión de la configuración del software.
PRACTICAS

Uso de herramientas automatizadas:



  1. Estimación de coste y esfuerzo de un proyecto.

  2. Planificación temporal de un proyecto


EVALUACIÓN

  • Examen final de teoría

  • Trabajos de prácticas

RECURSOS:

  • Web del Departamento de Informática y Automática (http://informatica.usal.es)

  • Plataforma Moodle (http://eudored.usal.es)


BIBLIOGRAFÍA

Cantor, M. Object-Oriented Project Management with UML, John Wiley and Sons, 1998.

Dolado, J.J. y Fernández, L. (coordinadores), Medición para la Gestión en la Ingeniería del Software, Ra-ma, 2000.

Fenton, N.E. y Pfleeger, S.L. Software Metrics. A rigorous & practical approach , PWS Publishing Company, 1997.

Lewin, M.D. Better Software Project Management. A Primer for Success, John Wiley and Sons, 2002.

López, N. et al. Integrar UML en los proyectos, Eyrolles, 1998.

McConnell, S. Desarrollo y gestión de proyectos informáticos, Mc Graw Hill 1997.

McGarry, J., Card, D., Jones, C., Layman, B., Clark, E., Dean, J. y Hall, F. Practical Software Measurement, Addison-Wesley, 2002.

Minguet, J.M. y Hernández, J.F., La calidad del software y su medida, Ed. Centro de Estudios Ramón Areces, S.A., 2003.

Piattini, M.G. et al. Análisis y Diseño Detallado de Aplicaciones Informáticas de Gestión, Rama. 2003.

PMI (Project Management Institute), PMBOK Guide, PMI, 2000.

Pressman, R.S. Ingeniería del Software, un enfoque práctico, 6ª edición, Mc Graw Hill, 2005.

Schach, S.R., “Ingeniería del Software clásica y orientada a objetos”, 6º edición, Mc Graw Hill, 2006.

Sommerville, I. Ingeniería del Software, 6a edición, Addison Wesley, 2002.



13007 INTELIGENCIA ARTIFICIAL E INGª DEL CONOCIMIENTO (Troncal)

1ER SEMESTRE. 9 créditos (6 teóricos + 3 prácticos)

Página web: http://informatica.usal.es
PROFESOR: D. Vidal Moreno Rodilla
PROGRAMA

Tema I. Introducción a la inteligencia artificial.

Tema II. Técnicas de representación.

Tema III. Procedimientos de búsqueda. Sistemas de producción.

Tema IV. Sistemas expertos. Bases de conocimiento. Métodos de inferencia. Shells.
BIBLIOGRAFÍA

S. RUSSELL, P. – “Norvig. Inteligencia Artificial. Un enfoque moderno”. Prentice Hall.

J. DURKIN – “Expert Systems. Design and Development”. Prentice Hall.

N. J. NILSSON – “Principios de Inteligencia artificial”. Díaz de Santos.


OBJETIVOS

Obtener un conocimiento con profundidad de los métodos de la inteligencia artificial en lo que se refiere a la representación del conocimiento y los procedimientos de búsqueda de solución. Los alumnos han de disponer de conocimientos previos amplios de algorítmia, así como de estructuras de datos.


EVALUACIÓN

Una prueba teórica final que junto con la nota de prácticas proporcionan la nota final de acuerdo con la distribución de créditos de la asignatura.



13008 SISTEMAS DE INFORMACIÓN (Troncal)

1ER SEMESTRE. 9 créditos (0 teóricos + 9 prácticos)

Página web: http://informatica.usal.es
PROFESOR: D. José R. García-Bermejo Giner
PROGRAMA

Primera parte.- Conceptos básicos de orientación a objetos

- Abstracción.

- Encapsulamiento.

- Herencia.

- Polimorfismo.

- Fiabilidad.

- Modularidad.

Segunda parte.- El lenguaje Java. Java frente a C/C++

- Tipos de datos primitivos.

- Tipos de referencia:

- Matrices,

- Clases

- Interfaces

- Estructuras de control

- Entrada/Salida elemental

Tercera parte.- Applets

- Conceptos básicos y casos prácticos.

- Uso de texto dinámico.

- Uso de primitivas gráficas. Introducción a las hebras.

- Uso de imágenes

Cuarta parte.- Creación de aplicaciones en Java.

- Generalidades: la biblioteca de clases de Java

- Java Foundation Classes

- Abstract Windowing Kit

- Swing


- Accesibilidad
BIBLIOGRAFÍA

GARCIA-BERMEJO GINER, J.R. “Java S E 6 & Swing”. Prentice Hall.

HORSTMANN, C., CORNELL, G. “Core Java 2, Vol. I: Fundamentos”. Prentice-Hall.

HORSTMANN, C., CORNELL, G. “Core Java 2, Vol. II: Características avanzadas”. Prentice-Hall.



13010 PROYECTO (Troncal)

2º SEMESTRE. 6 créditos (0 teóricos + 6 prácticos)

Página web: http://informatica.usal.es
PROFESOR/ES: Todos los profesores del Departamento


PLAN DE TRABAJO Y DEFENSA PROYECTO:

La información general referente a este punto está contenida en el Reglamento del Proyecto o Trabajo Fin de Carrera que aparece en el apartado 1.4. Normativa Académica de esta misma Guía Académica.


La información específica de cada proyecto será facilitada por el tutor o tutores del mismo en los horarios habilitados a tal efecto.


13009 AMPLIACIÓN DE BASES DE DATOS (Obligatoria)

2º SEMESTRE. 6 créditos (4,5 teóricos + 1,5 prácticos)

Página web: http://informatica.usal.es
PROFESOR/ES: D. Luis Alonso Romero

D.ª M.ª José Polo Martín
PROGRAMA

I. BASES DE DATOS ORIENTADAS A OBJETOS.

Introducción.

Modelos de datos orientados a objetos.

Procesamiento de consultas en OODBs.

Técnicas de almacenamiento y de indexación.

II. BASES DE DATOS DISTRIBUIDAS

Introducción.

Arquitectura de SGBD distribuidos.

Diseño de bases de datos distribuidas.

Procesamiento de consultas en SGBD distribuidos.

Control de concurrencia en sistemas distribuidos.


BIBLIOGRAFÍA

WON KIM (1990): “Introduction to Object-Oriented Databases”. Ed. MIT Press (Cambridge).

TAMER OSZU, M. y VALDURIEZ, P. (1991): “Principles of distributed database systems". Ed: Prentice Hall.

CATTELL, R. (ed.) (1995): “The Object Database Standard: ODMG-93”. Morgan-Kaufmann.


OBJETIVOS

Presentar una visión sobre la arquitectura y diseño de los sistemas de bases de datos orientados a objetos. Estudiar los conceptos y técnicas de desarrollo de los sistemas de bases de datos distribuidos.


EVALUACIÓN

- Examen final.

- Puede exigirse la realización de algún trabajo.
13014 INFORMÁTICA GRÁFICA (Optativa)

1ER SEMESTRE. 6 créditos (3 teóricos + 3 prácticos)

Página web: http://informatica.usal.es
PROFESOR/ES: D. Juan Manuel Corchado Rodríguez

D. Luis Alonso Romero



D. Juan Francisco de Paz Santana
PROGRAMA

Sistemas Gráficos. Aplicaciones. Hardware gráfico. Modelos de color. Métodos de comprensión de ficheros. Sistemas 2D.- Sistemas 3D.- APIs.- Transformaciones.- Visualizaciones: sombreados, modelos de luz, texturas.- Ocultación de superficies: z buffer.- Efectos.


BIBLIOGRAFÍA

ANGEL - “Interactive Computer Graphics”.- Addison Wesley, 2000.

HEARN, BAKER – “Computer Graphics”.- Prentice Hall, 94.

WOO – “Open GL Programming Guide”, SGI 97.




13016 DISEÑO DE CIRCUITOS DIGITALES (Optativa)

2º SEMESTRE. 6 créditos (3 teóricos + 3 prácticos)


PROFESOR: D. Javier Mateos López
PROGRAMA

1.- Análisis y diseño de circuitos digitales combinacionales y secuenciales.

2.- Herramientas de diseño asistido por ordenador para circuitos digitales.

3.- Prácticas con diversos programas de simulación.


BIBLIOGRAFÍA

NELSON, V.; NAGLE, H.; CARROLL, B. & IRWIN, D. (1996): “Análisis y Diseño de Circuitos Lógicos Digitales”. Edit. Prentice Hall.

TERÉS, L.;TORROJA, Y.; OLCOZ, S. y VILLAR, E. (1998): “VHDL Lenguaje Estándar de Diseño Electrónico”. Edit. McGraw-Hill.


13020 CRIPTOGRAFÍA (Optativa)

2º SEMESTRE. 6 créditos (3 teóricos + 3 prácticos)


PROFESOR/ES: D. José M.ª Muñoz Porras

D. Francisco José Plaza Martín

PROGRAMA

1.- Aritmética. Aritmética Modular. Teorema chino de los restos. Números primos. Cuerpos finitos. Complejidad computacional. Factorización.

2.- Criptosistemas de clave privada. Cifrados de sustitución, trasposición, afines y en flujo.

3.- Criptografía de clave pública. Logaritmo discreto. Cifrados RSA, Diffie-Hellman, Massey-Omura.

4.- Protocolos criptográficos. Funciones hash. Protocolos de firma digital, conocimiento cero, etc.
BIBLIOGRAFÍA

JOHANNES BUCHMANN – “Introduction to cryptography”. Undergraduate texts in mathematics, Springer.

NEAL KOBLITZ – “A Course in Number Theory and Criptography”. Graduate Texts in Mathematics, 114, Springer.

AMPARO GUSTER SABATER – “Técnicas criptográficas de protección de datos”. Madrid: Ra-ma, cop. 2004.

D. WELSCH – “Codes and Cryptography”. Oxford Univ. Press, New York, 1988.
OBJETIVOS

El objetivo de este curso es dar al alumno un conocimiento básico de los principales métodos de encriptación de uso en la actualidad. Se pondrá especial énfasis en sus aplicaciones prácticas así como en la implementación de los sistemas y protocolos.


EVALUACIÓN

Evaluación continuada durante el curso y trabajo al final del mismo.




13021 TEORÍA DE LA INFORMACIÓN Y TEORÍA DE CÓDIGOS (Optativa)

1ER SEMESTRE. 6 créditos (3 teóricos + 3 prácticos)


PROFESOR: D. José M.ª Muñoz Porras
PROGRAMA

Congruencias de números enteros. Cuerpos finitos. Introducción a la teoría de información. Códigos correctores de errores: Códigos lineales de bloques.

 

BIBLIOGRAFÍA

PRETZEL, O. (1996): “Error-correcting codes and finite fields”. Oxford University Press.

PRETZEL, O. (1998): “Codes and Algebraic Curves”. Oxford Lecture Series in Math and its Applications, 8.

VAN LINT, J.H. (1992): “Introduction to Coding Theory”, Graduate Texts in Mathematics, 86, Springer-Verlag.

VAN LINT, J.H. y VAN DER GEER, G. (1988): “Introduction to Coding Theory and Algebraic Geometry”, DMV Seminar, Band 12, Birkhäuser.

 

OBJETIVOS

Que los alumnos adquieran unos conocimientos básicos de la teoría de códigos algebro-geométricos y de sus aplicaciones.

 

EVALUACIÓN

Se realizará una evaluación continuada a lo largo del curso, así como un examen teórico-práctico al final del mismo.


13023 CÁLCULO NUMÉRICO (Optativa)

2º SEMESTRE. 6 créditos (3 teóricos + 3 prácticos)


PROFESOR/AS: D. ª Araceli Quieruga Dios

D.ª Ascensión Hernández Encinas
PROGRAMA

1.- Repaso de los principales métodos numéricos para funciones de una variable: aproximación de raíces, problemas de interpolación e integración numérica.

2.- El teorema de existencia y unicidad para ecuaciones diferenciales ordinarias. Métodos numéricos para las ecuaciones diferenciales ordinarias. Convergencia, consistencia y cero-estabilidad. Teorema de Dahlquist.

3.- Métodos unipaso y multipaso. Métodos de Runge-Kutta. Métodos de Adams. Métodos de predicción-corrección.

4.- Ecuaciones en derivadas parciales. Técnicas de discretización. El método de los elementos finitos.

 

BIBLIOGRAFÍA BÁSICA

BRAUER, R. The Qualitative Theory of Ordinary Differential Equations. Dover Publications.

ASENSIO SEVILLA , Mª Isabel, et alt. Cálculo numérico con Mathematica. Plaza Universitaria Ediciones.

BURDEN, R.L. ; FAIRES, J.D. Análisis Numérico. Addison-Wesley Iberoamericana.

BUSTOS, Mª TERESA DE, Teoría de Fundamentos Matemáticos II. Cálculo infitesimal.

Claes Johnson. Numerical solution of partial differential equations by the finite element method.

GARCÍA, A. et alt. Cálculo I. Teoría y Problemas de Análisis Matemático en una variable. Ed Clagsa.

GARCÍA, A. et alt. Cálculo II. Teoría y Problemas de funciones de varias variables. Ed Clagsa.

GARCÍA, A. et alt. Ecuaciones diferenciales ordinarias. Teoría y Problemas. Ed Clagsa.

HENRICI, P. Discrete variable methods in ordinary differential equations. John Wiley & Sons. Cambridge University Press.

KINCAID, D.; Cheney, W. Análisis Numérico. Addison Wesley Iberoamericana.

LAMBERT, J.D. Numerical Methods for Ordinary Differential Systems. John Wiley & Sons.

 
13025 ROBÓTICA (Optativa)

2º SEMESTRE. 6 créditos (4,5 teóricos + 1,5 prácticos)

Página web: http://informatica.usal.es


PROFESOR/ES: D. Vidal Moreno Rodilla

D.ª Belén Curto Diego

D. Francisco Javier Blanco Rodríguez
PROGRAMA

1.- Introducción. Historia de la robótica. Conceptos principales. El robot como agente físico

2.- Descripción de un robot. Cinemática y Dinámica.

3.- Manipuladores industriales. Modos de movimiento. Programación.

4.- Robótica Móvil. Guiado y control de robots.

5.- Procedimientos de la Inteligencia Artificial aplicada a la robótica.


BIBLIOGRAFÍA

ANIBAL OLLERO - “Robótica: Manipuladores y robots móviles”. Marcombo. 2001

MARK SPONG & M. VIDYASAGAR - “Robot Dynamics and Control”. John Wiley & Sons, 1989

OBJETIVOS

Proporcionar al alumno los fundamentos de la robótica haciendo especial hincapié en las principales técnicas de programación. Se abordará desde el control de bajo nivel hasta aquellos niveles de abstracción directamente relacionados con la Inteligencia Artificial



PLAN DE TRABAJO

Clases teóricas con un fuerte soporte multimedia. Se completan con prácticas en las que se utilizarán robots reales y sistemas simulados. Se hará uso de herramientas actuales e innovadoras con lo que el alumno podrá afianzar los conocimientos adquiridos en las clases teóricas.


EVALUACIÓN

Un examen teórico final junto con el seguimiento de las prácticas de la asignatura



13026 LÓGICAS PARA LA INFORMÁTICA Y LA INTELIGENCIA ARTIFICIAL (Optativa)

2º SEMESTRE. 6 créditos (4 teóricos + 2 prácticos)


PROFESORA: D.ª María Manzano Arjona
PROGRAMA

Primera Parte: Lógicas modales.

Tema 1. Introducción: Breve historia de la lógica modal.


Tema 2. El lenguaje de la lógica modal


Tema 3. Semántica: modelos de Kripke

Tema 4. Cálculo deductivo

Tema 5. Completud y decidibilidad

Tema 6. Lógicas de Hoare

Tema 7. Lógica dinámica

Tema 8. Semántica de la lógica dinámica

Tema 9. Cálculo deductivo

Segunda Parte: MAUDE


Tema 1. Sintaxis

Tema 2. Módulos funcionales

Tema 3. Módulos de sistema

Tema 4. Cómo importar módulos

Tema 5. Ejemplos
BIBLIOGRAFÍA

BENTHEM (1996): “Temporal Logic”. (en Handbook of Logic in Artificial. Intelligence and Logic Programming. OUP).

HAREL (1984): “Dynamic Logic”. (en Handbook of Philosophical Logic, vol II. Reidel).

GOLDBLATT (1991): “Logics of Time and Computation”. CSLI.

MANZANO, M. (2004): “Lógica, Lógicas y Logicidad”. (en prensa)

MANZANO, M. (1996): “Extensions of first order logic”. Cambridge University Press.

MANZANO, M. (compiladora) (2004): “Summa Logicae en el siglo XXI”. Ediciones Universidad de Salamanca.

POPKORN (1994): “First Steps in Modal Logic”. CUP.


El programa detallado de la asignatura, las transparencias, algunas de las lecturas del curso, los ejercicios propuestos y algunas herramientas para la enseñanza de la lógica están disponibles en

http://logicae.usal.es

El manual de MAUDE, el propio programa y algunos artículos se encuentran en



http://maude.cs.uiuc.edu/
Nota: En las clases prácticas, en el aula de informática, usaremos el mencionado programa MAUDE y algunos paquetes de software de enseñanza de lógica.
OBJETIVOS

En este curso aprenderemos un lenguaje lógico y otro de programación y usaremos el segundo para especificar las condiciones semánticas y sintácticas del primero, de manera que los cálculo se realicen automáticamente. Tiene dos partes: (1) Introducción teórica y práctica a las lógicas modales proposicionales, sus aplicaciones -en filosofía, matemáticas, I.A., informática y lingüística-, su alcance y sus limitaciones. (2) Introducción práctica al lenguaje MAUDE en el que se implementarán las lógicas precedentes.


EVALUACIÓN

Habrá que entregar dos trabajos prácticos que consistirán en la programación en el lenguaje MAUDE de algunas de las componentes semánticas o sintácticas de la modal.


La base de datos está protegida por derechos de autor ©absta.info 2016
enviar mensaje

    Página principal