INTELIGENCIA ARTIFICIAL E INGENIERÍA DEL CONOCIMIENTO

advertisement
ARQUITECTURA E INGENIERÍA DE COMPUTADORES
(Código: 55401-)
1. EQUIPO DOCENTE:
D. José Sánchez Moreno (Profesor Titular de E.U.) (Coordinador)
D. Roberto Hernández Berlinches (Profesor Titular de U.)
D. Sebastián Dormido Canto (Profesor Titular de E.U.)
D. Salvador Ros Muñoz (Profesor Titular de E.U.)
2. OBJETIVOS
La asignatura se encuentra dividida en dos bloques. El primero se centra en el estudio de tres tópicos
básicos: las relaciones coste/rendimiento que inevitablemente hay que afrontar en el diseño de todo
computador, el concepto de segmentación como forma de aumentar el rendimiento mediante un
solapamiento en la ejecución de instrucciones (paralelismo a nivel de instrucción), y el procesamiento
vectorial que, pese a su actual declive, constituye un paradigma en lo referente al incremento del
rendimiento en el campo de la computación científica (paralelismo a nivel de datos). Estos contenidos son
fundamentales para avanzar en el estudio de la segunda parte.
El segundo bloque incluye los conceptos fundamentales sobre el procesamiento paralelo, profundizando
en los conocimientos generales sobre arquitectura y tecnología de computadores. Con el fin de obtener
una visión de conjunto se presentan las arquitecturas paralelas más relevantes, sus fundamentos y los
mecanismos adecuados para su utilización eficiente en la ejecución de algoritmos. Además se detallan los
aspectos fundamentales de las arquitecturas más generalistas, tales como clústers, así como los métodos
de programación más extendidos y ampliamente utilizados, tanto en paradigmas como en bibliotecas de
programación.
3. CONTENIDOS
El contenido de la asignatura se encuentra dividido en dos partes:
1ª parte:
El programa de esta parte de la asignatura sigue el contenido del texto base de la forma siguiente:
TEMA 1.
TEMA 2.
TEMA 3.
TEMA 4.
TEMA 5.
TEMA 6.
TEMA 7.
TEMA 8.
FUNDAMENTOS DEL DISEÑO DE COMPUTADORES
Secciones 1.1 a 1.3.
RENDIMIENTOS Y COSTE
Secciones 2.1 y 2.2.
DISEÑO DE REPERTORIOS DE INSTRUCCIONES: ALTERNATIVAS Y PRINCIPIOS
Secciones 3.1 a 3.6.
EJEMPLOS Y MEDIDAS DE UTILIZACIÓN DE LOS REPERTORIOS DE
INSTRUCCIONES. Sección 4.5
TÉCNICAS BÁSICAS DE IMPLEMENTACIÓN DE PROCESADORES
Secciones 5.1 a 5.5.
SEGMENTACIÓN
Secciones 6.1 a 6.8.
PROCESADORES VECTORIALES
Secciones 7.1 a 7.7 exceptuando el 7.5.
DISEÑO DE LA JERARQUÍA DE MEMORIAS
Secciones 8.1 a 8.3 y 8.8.
2ª parte:
El programa de esta parte de la asignatura sigue el contenido del texto base de la forma siguiente:
TEMA 1.
TEMA 2.
CONCEPTOS FUNDAMENTALES DEL PROCESAMIENTO PARALELO
MULTIPROCESADORES (Memoria compartida)
TEMA 3.
TEMA 4.
TEMA 5.
MULTICOMPUTADORES (Memoria distribuida)
OTRAS FORMAS DE PARALELISMO
PROGRAMACIÓN PARALELA
4. BIBLIOGRAFÍA BÁSICA
1ª parte:
HENNESSY, J. L., y PATTERSON, D. A.: Arquitectura de Computadores: Un Enfoque Cuantitativo.
Ed. McGraw-Hill, 1993.
2ª parte:
El texto base de la segunda parte será preparado por el equipo docente de la asignatura.
5. BIBLIOGRAFÍA COMPLEMENTARIA
1ª parte:
SÁNCHEZ MORENO, J.: Ejercicios y exámenes de Estructura y Tecnología de Computadores III.
UNED, 1998.
HENNESSY, J.L. y PATTERSON, D.A.: Computer Architecture: A Quantitative Approach. 2ª edición.
Morgan Kaufmann Publishers, Inc., 1996.
SAILER, P. M., y KAELI, D. R.: The DLX instruction set architecture handbook. Morgan Kaufmann
Publishers, Inc., 1996.
STALLINGS, W.: Organización y arquitectura de computadores. 5ª edición. Prentice Hall, 2000.
2ª parte:
SIMA, D., FOUNTAIN, T. y KACSUK, P.: Advanced Computer Architectures. Addison Wesley. 1997.
HWANG, K. y BRIGGS, F.A.: Procesamiento paralelo”. McGraw Hill, 1988.
6. OTROS MEDIOS DE APOYO
En el servidor WWW del Departamento de Informática y Automática (http://www.dia.uned.es) se dispone
de información actualizada de interés general.
Existe la posibilidad de realizar consultas sobre la asignatura utilizando el correo electrónico. La
dirección de correo electrónico es: etc4@dia.uned.es.
Está prevista la realización de una sesión de radio. La fecha y hora se indica en la Guía de Medios
Audiovisuales o en el servidor WWW de la asignatura.
7. EVALUACIÓN
7.1. PRUEBAS PRESENCIALES
La evaluación de la asignatura se efectuará mediante la realización de dos pruebas presenciales, a celebrar
una en Febrero y otra en Junio, o ambas en Septiembre. Durante las pruebas (2 horas) no estará permitido
el uso de ningún tipo de material, excepto calculadora científica no programable.
El temario a estudiar para superar la primera y segunda pruebas presenciales se corresponde con la dos
partes de la asignatura, respectivamente.
La primera prueba presencial constará de dos partes:
1ª parte: Test de carácter eliminatorio.
2ª parte: Resolución de uno o dos ejercicios prácticos.
La segunda prueba presencial constará de dos partes:
1ª parte: Test de carácter eliminatorio.
2ª parte: Resolución de uno o dos ejercicios prácticos.
La calificación final de la asignatura se obtendrá mediante la media aritmética de las calificaciones
obtenidas en las dos pruebas presenciales, si y sólo si en ambas se ha alcanzado una nota mayor o igual
que 4.0. La nota de cada prueba presencial será considerada únicamente hasta la convocatoria de
septiembre del mismo curso académico, fecha en la que la calificación como apto o no apto se aplicará a
la asignatura completa.
7.2. PRÁCTICAS
Existe la posibilidad de realizar prácticas voluntarias en ambos cuatrimestres utilizando software de
simulación de procesadores y memorias caché. Estos trabajos tendrán repercusión sobre la nota final de la
asignatura en función de las calificaciones obtenidas en las dos pruebas presenciales.
A principios de curso se dispondrá de toda la información necesaria para realizar las prácticas en el
servidor WWW de la asignatura: fechas de entrega, manual de prácticas, software. Adicionalmente, el
software necesario también se encuentra disponible en el CD-ROM que se adjunta a la Guía de Curso.
8. HORARIO DE ATENCIÓN AL ALUMNO
Los lunes lectivos de 16.00 a 20.00 horas en el edificio de la Facultad de Ciencias, C/. Senda del rey nº 9,
28040 Madrid.
D. Sebastián Dormido Canto
Despacho 202
Tel.: 913987194
D. Roberto Hernández Berlinches
Despacho 027
Tel.: 913987196
D. Salvador Ros Muñoz
Despacho 027
Tel.: 913987205
D. José Sánchez Moreno
Despacho 236
Tel.: 913987146
ANÁLISIS, DISEÑO Y MANTENIMIENTO DEL SOFTWARE
Código: 554024
1 Equipo Docente

Dr. D. José Ramón Álvarez Sánchez

D. Manuel Arias Calleja
2 Objetivos
En esta asignatura de ``Análisis, Diseño y Mantenimiento del Software'' se van a
estudiar los métodos, herramientas y elementos que nos permiten analizar y definir los
requisitos incluidos en las especificaciones para producir un programa o aplicación
informática. Este proceso se realizará mediante la utilización de técnicas, metodologías
y herramientas que, en general, se componen de un conjunto de fases comunes:
extracción de requisitos, diseño, implementación, pruebas y mantenimiento. Para
entender cómo se aplican estas fases, se desarrollarán a lo largo del temario unos
ejemplos de aplicación que se utilizarán para ilustrar cómo se aplican y cuál es el
resultado de estas fases en casos particulares. Una vez que se conocen los elementos del
desarrollo, es necesario aglutinar estas fases en forma de metodologías que las aplican
con diferentes criterios de secuenciación. Al mismo tiempo es conveniente conocer
algunas de las herramientas disponibles que ayudan en la aplicación de las técnicas
descritas.
3 Contenidos
A continuación exponemos un resumen de los temas que componen el contenido de la
asignatura que se expandirá más adelante. Estos temas se podrían agrupar en tres partes
que se corresponden con los objetivos presentados anteriormente:

Parte I: Introducción. Temas 1 y 2.

Parte II: Fases de Construcción. Temas 3 al 7.

Parte III: Metodologías y Herramientas. Temas 8 y 9.
La primera parte es preparatoria e incluye la introducción y ubicación de los elementos que van a
conformar la asignatura, junto con la descripción de los ejemplos prácticos que se irán desarrollando en
las distintas fases. En la segunda parte se van describiendo las distintas fases del desarrollo y
mantenimiento del software. La parte final incluye un conjunto de metodologías donde se recopilan y
organizan de diferentes formas las fases, junto con algunas herramientas de desarrollo.
Esta asignatura es anual y por lo tanto se divide en dos parciales. A los efectos de
exámenes parciales se considera que los temas del 1 al 5 pertenecen al primer parcial y
los temas del 6 al 9 pertenecen al segundo parcial.
Temario:

Tema 1: Contexto de la Asignatura en la IS
Ciclo de vida del software. Necesidad de una metodología. Notaciones de especificación y
diseño.

Tema 2: Descripción de Ejemplos Guía
Aplicación de comercio en Web. Gestión del control de proceso de una empresa.

Tema 3: Fase de Requisitos
Obtención de requisitos. Análisis de requisitos. Representación de requisitos. Análisis orientado
a objetos. Validación de requisitos. Bases de documentación.

Tema 4: Fase de Diseño
Conceptos y elementos del diseño. Diseño estructurado. Diseño orientado a objetos. Validación
y confirmación del diseño. Documentación: especificación del diseño.

Tema 5: Fase de Implementación
Guías de estilo de codificación. Técnicas de depuración. Documentación del código.

Tema 6: Fases de Pruebas
Verificación y validación a lo largo del ciclo de vida. Técnicas y métodos de prueba.
Documentación de pruebas.

Tema 7: Fase de Entrega y Mantenimiento
Finalización del proyecto. Mantenimiento. Recopilación y organización de documentación.

Tema 8: Metodologías de Desarrollo
Introducción. Proceso unificado de Rational. Método ``Extreme Programming''. Métrica 3.
Métodos de software libre: ``catedral'' vs. ``bazar''.

Tema 9: Herramientas de Desarrollo y Validación
Herramientas CASE. Gestión de la configuración. Entornos de desarrollo de interfaces.
4 Bibliografía Básica
*El libro que mejor se adapta a la mayor parte de los temas es el de Pressman:

Roger S. Pressman.
Ingeniería de Software: un Enfoque Práctico.
McGraw-Hill, 2001.
5 Otros Materiales
Una guía de estudio para la correspondencia entre el temario desarrollado y los
capítulos del libro básico, así como material complementario en algunos capítulos, se
enviará por el equipo docente directamente a los alumnos y estará disponible tanto en el
CDROM que edita la ETSI Informática como a través de la página Web de la
asignatura.
6 Bibliografía Complementaria

James
Modelado
y
Prentice Hall, 1999.
diseño
orientado
a
Rumbaugh.
objetos.

Ian
Software
Addison-Wesley, 2001.
Sommerville.
Engineering.
7 Evaluación
7.1 Pruebas de Evaluación a Distancia
No existen pruebas de evaluación a distancia en este curso.
7.2 Trabajos y Prácticas de Laboratorio
No serán obligatorias. Es posible su realización voluntaria, en el Centro Asociado
(dependiendo de las disponibilidades y medios de cada centro) o de forma particular por
el alumno con medios propios.
7.3 Pruebas Presenciales
Incluirán cuestiones teóricas y pequeños ejercicios prácticos sobre análisis y aplicación
de metodologías de diseño, desarrollo, depuración, prueba y mantenimiento de
software. En cada parcial se harán los ejercicios orientados a los temas
correspondientes, aunque debido a la dependencia de contenido de los temas es posible
que en algunas preguntas del segundo parcial sea necesario el conocimiento de los
conceptos incluidos en los temas del primer parcial.
No se permitirá la utilización de ningún material durante la realización de la prueba.
La nota final será la media entre las notas en ambos parciales (aprobado con 5 ó más de
media), aunque debido a la alta interrelación de contenido entre los temas asignados a
los dos exámenes parciales, será necesario obtener una nota mínima de 4 en cada parcial
para hacer media para la nota final.
8 Horario de Consulta
Lunes lectivos de 16:00 a 20:00 horas, en el edificio de la Facultad de Ciencias de la
UNED, Senda del Rey, 9. Madrid
D. Manuel Arias
Despacho 111 (Edif. Biblioteca) - Tel. 91-398-8345
Dr. D. José R. Álvarez
Despacho 2.35 - Tel. 91-398-7199
No se proporcionarán calificaciones por teléfono, ya que la papeleta enviada al alumno, la copia de las
actas en cada Centro Asociado, el sistema interactivo de respuesta automática por teléfono y el sistema de
información por Internet son los cauces previstos para ello.
ANÁLISIS Y GESTIÓN DEL DESARROLLO DE SOFTWARE
Código : 554039
1. EQUIPO DOCENTE
- D. José A. Cerrada Somolinos (Coordinador de la asignatura)
- D. Ismael Abad Cardiel
- D. Javier Arellano Alameda
2. OBJETIVOS
Esta asignatura está estructurada por cuatrimestres. El primer cuatrimestre está dedicado al
Proceso Software Personal (PSP). El objetivo del PSP es adquirir una correcta disciplina
personal para el desarrollo de un software de calidad en los plazos y costes
comprometidos.
El segundo cuatrimestre está dedicado a la gestión global del proceso de desarrollo software en el que
intervienen decenas o centenares de ingenieros. También el objetivo es obtener un software de calidad en los
plazos y costes planificados. Sin embargo en este caso es muy importante la problemática y las técnicas de
trabajo en equipo.
3. CONTENIDOS
PRIMER CUATRIMESTRE
1. UNIDAD DIDÁCTICA I
TEMA 1. El trabajo del ingeniero del software
TEMA 2. La lógica de la gestión del tiempo
TEMA 3. El control del tiempo
TEMA 4. Planificación de períodos y productos
TEMA 5. La planificación del producto
TEMA 6. El tamaño del producto
TEMA 7. Elementos de la gestión del tiempo
TEMA 8. La gestión de los compromisos
UNIDAD DIDÁCTICA II
TEMA 9. La gestión de las programaciones
TEMA 10. El plan del proyecto
TEMA 11. El proceso de desarrollo del software
TEMA 12. Defectos
TEMA 13. Encontrar defectos
TEMA 14. Listas de comprobación para la revisión de código
UNIDAD DIDÁCTICA III
TEMA 15. La previsión de defectos
TEMA 16. La economía de eliminar defectos
TEMA 17. Defectos de diseño
TEMA 18. Calidad del producto
TEMA 19. La calidad del proceso
TEMA 20. Un compromiso personal con la calidad
SEGUNDO CUATRIMESTRE
UNIDAD DIDÁCTICA IV
TEMA 1. Trabajo en equipo y sus técnicas
TEMA 2. Factores humanos
TEMA 3. Proceso software y ciclo de vida
UNIDAD DIDÁCTICA V
TEMA 4. Gestión de requisitos
TEMA 5. Gestión de configuración
TEMA 6. Gestión de proyectos.
TEMA 7. Técnicas de gestión de proyectos
UNIDAD DIDÁCTICA VI
TEMA 8. Gestión de calidad
TEMA 9. Gestión de subcontratación
TEMA 10. Mejora del proceso software
4. BIBLIOGRAFÍA BÁSICA
Los libros de texto por el que se sigue completamente la asignatura son:
PRIMER CUATRIMESTRE:
Titulo: Introducción al Proceso Software Personal (PSP).
Autor: Watts S. Humphrey.
Editorial: Addison Wesley 2001.
SEGUNDO CUATRIMESTRE:
Titulo: Gestión del Proceso Software.
Autores: G. Cuevas y otros
Editorial: Centro de Estudios Ramón Areces, S.A. Madrid. 2002.
Telef.: 915.398.659, Fax: 914.681.952
5. BIBLIOGRAFÍA COMPLEMENTARÍA
Aunque los textos base se ajustan totalmente al programa de la asignatura, las siguientes obras
pueden ser de utilidad para ampliar conocimientos en algunos de los temas más importantes.
B.W. Boehm. Software Engineering Economics. Prentice Hall. 1981.
W.A. Babich. Software Cofiguration Management. Addisson-Wesley. 1986
K. M. Dymond. Una guía del CMM. Comprender el Modelo de Madurez de Capacidad de Software. Process
Inc US. 1997.
N.E. Fenton y S. L. Pfleeger. Software Metrics. A Rigorous & Practical Approach. Thomxon Computer
Press. 1996
C.F. Gray y E.W. Larson: Project Management. The Managerial Process. McGraw-Hill.
1999
W.S. Humphrey. Managing the Software Process. SEI Series in Software Engineering.
Addison-Wesley. 1989
W. S. Humphrey. A Discipline for Software Engineering. SEI Series in Software
Engineering. Addison-Wesley. 1995
W. S. Humphrey. Introduction to the Team Software Process. SEI Series in Software
Engineering. Addison-Wesley. 2000
S. MacConnell. Desarrollo y gestión de proyectos informáticos. McGraw-Hill. 1997.
R. S. Pressman. Ingeniería del Software. Un enfoque práctico. Quinta edición. McGraw-Hill.2002.
6. EVALUACIÓN
En la página de la asignatura disponible en la sede:
http://www.lsi.uned.es
se mantiene actualizada toda la información de la asignatura.
6.1 PRUEBAS PRESENCIALES
Constará de dos partes:
Primera parte: 10 preguntas tipo test
Segunda parte: Preguntas y/o ejercicios
Las respuestas del test se marcarán en la hoja de lectura óptica que se entregará en el examen. El test
es eliminatorio y se necesitan al menos 7 respuestas correctas. Para realizar la prueba presencial no se
permitirá el uso de ningún material auxiliar.
6.2 PRÁCTICAS
Las prácticas no son obligatorias. Las instrucciones para su realización se pondrán oportunamente en
la página web de la asignatura situada en la sede:
http://www.lsi.uned.es
7. PROGRAMAS DE RADIO
Consultar la Guía de Medios Audiovisuales de la UNED para la programación de radio de la
asignatura.
8. HORARIO DE ATENCIÓN AL ALUMNO
JUEVES o VIERNES de 16 a 20 horas
Lugar: Locales de la ETSI Informática de la UNED. Departamento de Lenguajes y Sistemas Informáticos.
Edificio Interfacultativo. Ciudad Universitaria s/n.
Teléfonos:
91 - 398.86.54 (Jueves)
91 - 398.??.?? (Viernes)
91 - 398.64.78 (Jueves)
INTELIGENCIA ARTIFICIAL E INGENIERÍA
DEL CONOCIMIENTO
(Código: 554043 )
1. Equipo docente
José Mira Mira (Coordinador)
Jesús González Boticario
Rafael Martínez Tomás
2. Objetivos generales
El objetivo principal de la materia de Inteligencia Artificial e Ingeniería del
Conocimiento (IA-IC) es conseguir que los alumnos del primer curso del Segundo Ciclo
de la Escuela Técnica Superior de Ingeniería Informática de la UNED sean capaces de
adquirir los conocimientos teóricos y prácticos de temas avanzados relacionados con la
Inteligencia Artificial así como aquellos relativos al desarrollo de los Sistemas Basados
en el Conocimiento. En esencia, se desea ofrecer una perspectiva global, científica,
metodológica y práctica de la resolución de problemas de esta área de conocimiento,
ilustrando su uso en casos reales de interés, como puedan ser: sistemas de diagnóstico
médico, interfaces de lenguaje natural, personalización y planificación inteligente de
servicios en Internet, etc.
Frente a la disociación existente en la titulación técnica con dos asignaturas
separadas, Introducción a la Inteligencia Artificial (IA) y Sistemas Basados en el
Conocimiento (SBC) I, en las que se estudian los fundamentos de ambas materias, en la
titulación superior (2do. ciclo), donde se encuentra ubicada esta asignatura, se pretende
dar una visión comprehensiva de la IA aplicada en la que los métodos de modelado del
conocimiento y posterior descripción formal e implementación de esos modelos se
integran con los aspectos más avanzados de la IA distribuida y de las arquitecturas
integradas.
3. Contenidos
Parte I. Aspectos básicos de la IA
Tema 1.
Introducción a la IA
Tema 2.
Técnicas básicas de la resolución de problemas
Tema 3.
Representación y uso del conocimiento
Tema 4.
Planificación: Uso de las técnicas básicas
Parte II. Sistemas Basados en el Conocimiento (SBCs)
Tema 5.
Fundamentos de la IC
Tema 6.
Aspectos metodológicos del desarrollo de SBCs
Tema 7.
Implementación
Tema 8.
Evaluación
Parte III. Temas Avanzados
Tema 9.
Arquitecturas integradas
Tema 10. Inteligencia Artificial distribuida
4. Bibliografía básica
1. Capítulos del 1 al 10 del texto “Aspectos Básicos de la Inteligencia
Artificial” J. Mira, A.E. Delgado, J.G. Boticario y F.J. Díez. Editorial
Sanz y Torres, 1995.
2. “Problemas Resueltos de Inteligencia Artificial Aplicada”. Fernández,
S., Boticario, J.G., Mira, J. Editorial Addison-Wesley, 1998.
3. Apuntes, prácticas y ejercicios proporcionados por el equipo docente a
través de la página Web de la asignatura y del CD que edita la Escuela
Superior de Ingeniería Informática.
5. Otros materiales
En la página Web de la asignatura y en el CD que edita la Escuela Superior de
Ingeniería Informática, el alumno podrá encontrar
-
Software para el desarrollo de las prácticas.
-
Enlaces a páginas Web relacionadas con la asignatura.
6. Bibliografía complementaria
1.
Russell, S., Norvig, P. Inteligencia Artificial: Un enfoque moderno. Prentice
Hall, 1995, (traducido en Prentice Hall Hispanoamericana, 1996).
2.
Nilsson, N.J. Inteligencia Artificial: Una nueva síntesis. McGraw-Hill/Interamericana de España, 2000 (traducido 2001).
3.
Rich, E., Knight, K., Inteligencia Artificial. McGraw-Hill. Segunda Edición en
castellano 1994 (traducido de la segunda edición en inglés).
4.
Borrajo D., Juristo N., Martínez V, y Pazos J. Inteligencia Artificial: Métodos y
Técnicas. Centro de Estudios Ramón Areces. Madrid, 1993.
5.
Jackson, P. Introduction to Expert Systems. Addison-Wesley, Wokingham,
GB, 1990. 2nd edition.
6.
Winston, P. H. Inteligencia Artificial. Addison-Wesley Iberoamericana.
Tercera Edición 1992 (tiene su origen en 1977). Traducido al castellano en
1994.
7.
Ginsberg, M., Essentials of artificial intelligence. Morgan Kaufmann
Publishers, 1993.
8.
Stefik. M. Introduction to Knowledge Systems. Morgan Kauffmann, San
Francisco, 1993.
9.
Schreiber, G., Akkermans, H., Anjewierden, A., de Hoog, R., Shadbolt, N.,
Van de Velde W., Wielinga. B. Knowledge engineering and Management: The
CommonKADS Methodology. MIT Press, Cambridge, Mass. 1999.
8. Evaluación
8.1 Pruebas de evaluación a distancia
No se considerarán durante este curso. Alternativamente, se propondrán diversas
pruebas y ejercicios prácticos en los espacios de trabajo en Internet.
8.2 Prácticas
Considerando que los contenidos de esta materia tienen, además de una significativa
fundamentación teórica, una naturaleza claramente aplicada, se pretende que el alumno
adquiera las destrezas requeridas no sólo para realizar los ejercicios propuestos, sino,
sobre todo, para saber afrontar y resolver con la metodología adecuada otros tantos
problemas que puedan surgirle en su futura vida profesional. Así, además de ayudar a
que se asienten los conocimientos teóricos adquiridos, se pretende fomentar el interés
del alumno en sus aplicaciones prácticas, comprobando la utilidad de los métodos
estudiados, cuestionando la propia capacidad de resolver situaciones concretas, y
allanando el camino hacia su integración profesional en un contexto donde lo
importante es saber adaptarse a las diferentes técnicas y herramientas computacionales
disponibles en cada momento.
Se pretende que cada alumno realice como mínimo un ejercicio de cada una de las
partes del temario. No obstante, hay ejercicios que, por su complejidad, cubren
diversas partes del temario (p.ej., desarrollo de un sistema basado en el conocimiento,
resolución de problemas, planificación y aprendizaje en arquitecturas integradas, y uso
de arquitecturas para sistemas multiagente, etc.). En dichos casos podría reducirse el
número de ejercicios que deben realizarse. Para este tipo de prácticas más complejas se
expondrán unas normas en las que se especificará la necesidad de que en el trabajo se
analicen las realizaciones correspondientes a cada una de las partes del temario.
8.3 Pruebas presenciales
El propósito de las pruebas presenciales será evaluar el grado de conocimiento que
ha obtenido el alumno sobre la asignatura. En la primera prueba presencial se evaluarán
los contenidos de la partes I y II del temario y en la segunda prueba la parte III, ésta con
una orientación mucha más práctica, de aplicación de conocimientos, tanto de las temas
anteriores (puesto que son básicos para los temas avanzados de IA) como de estos
últimos. Ambas pruebas parciales son eliminatorias de materia y de resultados
compensables desde una nota mínima de 4 puntos.
9. Horarios de consulta
Horario de asistencia a alumnos y profesores tutores:
lunes: de 16 h. a 20 h.
Rafael Martínez Tomás: despacho 139 (Fac. Ciencias) Teléfono: 913 987 242
Jesús González Boticario: despacho 006 (Fac. Ciencias) Teléfono: 913 987 197
Dirección de contacto:
Dpto. Inteligencia Artificial.
Facultad de Ciencias - UNED
Senda del Rey, 9.
E-28040 Madrid
No se proporcionarán calificaciones por teléfono, ya que la papeleta, las actas en cada Centro Asociado y
el sistema interactivo de respuesta automática (Tel.: 902 25 26 55) son los cauces previstos para ello
Redes y Comunicaciones
(Código 554058)
1. Equipo docente
Dr. D. Ángel Pérez de Madrid y Pablo. Profesor titular de Universidad (coordinador).
Dr. D. Pablo Ruipérez García. Profesor titular de Universidad (sólo 1er cuatrimestre).
Dra. Dª Carolina Mañoso Hierro. Profesora titular de Escuela Universitaria (sólo 2º cuatrimestre).
2. Objetivos
El objetivo básico de la asignatura es el estudio de las redes de alta velocidad que han surgido en los
últimos años, así como las técnicas y arquitecturas para proporcionar y controlar la calidad de servicio en
las redes IP, Internet, Extranets e Intranets.
3. Contenidos
El programa de la asignatura se ajusta a los contenidos del libro de García Tomás y col. (2002), que
constituye la bibliografía básica obligatoria de la asignatura:
1ª Prueba presencial:
1
Revisión de los conceptos básicos de transferencia
2
Adaptación de las arquitecturas clásicas de redes de área local (I): Fast Ethernet y Anylan
3
Adaptación de las arquitecturas clásicas de redes de área local (II): Giga Ethernet
4
Redes de campus inalámbricas
5
Redes FDDI (Fiber Distributed Data Interface)
6
Redes DQDB (Distributed Queue Dual Bus)
7
Red digital de servicios integrados (RDSI)
8
Redes de retransmisión de tramas. Frame Relay
9
ADSL (Asymmetric Digital Subscriber Line)
10 Redes de cable
11 LMDS (Local Multipoint Distribution Service)
2ª Prueba presencial:
12 Redes de tecnología ATM. Principios de operación
13 Arquitectura de la RDSI-BA
14 Integración de la tecnología ATM con redes IP, redes de área local y redes multiprotocolo
15 Redes SDH
16 Arquitectura TCP/IP
17 Calidad de servicio en Internet
18 Servicios integrados y protocolo RSVP
19 Arquitectura de servicios diferenciados
20 MPLS (Multiprotocol Label Switching)
21 DWDM (Dense Wave Division Multiplexing)
22 WAP (Wireless Access Protocol)
23 GPRS (General Packet Radio Service)
24 UMTS (Universal Mobile Telecommunications System)
El contenido detallado del temario se puede encontrar en el CD-ROM editado por la Escuela Técnica
Superior de Ingeniería Informática de la UNED, en la carpeta correspondiente a “Redes y
Comunicaciones”, así como en la página Web de la asignatura.
4. Bibliografía básica
García Tomás, J., J.L. Raya Cabrera y V. Rodrigo Raya. Alta Velocidad y Calidad de Servicio en Redes
IP. Ed. Ra-Ma, 2002.
5. Bibliografía complementaria
Comer, D.E. Redes globales de información con Internet y TCP/IP, vol. 1: Principios básicos, protocolos
y arquitectura, 3ª edición. Ed. Prentice-Hall, 1996.
Comer, D.E. Interconectividad de redes con TCP/IP, vol. 2: Diseño e implementación. Ed. Prentice-Hall,
2000.
Comer, D.E. Internetworking with TCP/IP vol. 3: Client server programming and applications. Ed.
Prentice-Hall, 1999.
Eyler, P. Redes Linux con TCP/IP. Ed. Prentice-Hall, 2001.
García Tomás, J., S. Ferrando Girón y M. Piattini Velthuis. Redes de alta velocidad. Ed. Ra-Ma, 1997.
García Tomás, J., S. Ferrando Girón y M. Piattini Velthuis. Redes para proceso distribuido, 2ª edición.
Ed. Ra-Ma, 2001.
Guijarro Coloma, L. Redes ATM. Principios de interconexión y su aplicación. Ed. Ra-Ma, 2000.
Parnell, T. Guía Lan Times de Redes de alta velocidad. Ed. Osborne McGraw-Hill, 1997.
Stallings, W. High-speed Networks. Ed. Prentice-Hall, 1998.
Stallings, W. Comunicaciones y redes de computadores, 6ª edición. Ed. Prentice-Hall, 2000.
Stallings, W. High Speed Networks and Internets: Performance and Design. Ed. Prentice-Hall, 2001.
Stevens, W.R. TCP/IP Illustrated, vol. 1. The Protocols. Ed. Addison-Wesley, 1994.
Stevens, W.R. y G.R. Wright. TCP/IP Illustrated, vol. 2. The Implementation. Ed. Addison-Wesley, 1995.
Stevens, W.R. TCP/IP Illustrated, vol. 3. TCP for Transactions, HTTP, NNTP, and the UNIX Domain
Protocols. Ed. Addison-Wesley, 1996.
Tanenbaum, A.S. Redes de computadoras, 3ª edición. Ed. Prentice-Hall, 1997.
Parnell, T. Guía Lan Times de Redes de alta velocidad. Ed. Osborne McGraw-Hill, 1997.
6. Otros medios de apoyo
El Departamento dispone de un servidor de Internet en la dirección http://www.dia.uned.es/ desde el que
se accede a la página de la asignatura, en la que figura información actualizada de interés general.
Existe la posibilidad de realizar consultas sobre la asignatura utilizando correo electrónico en la dirección
redescom@dia.uned.es
7. Evaluación
7.1. Pruebas de evaluación a distancia
No existen.
7.2. Prácticas de laboratorio
No están previstas ningún tipo de prácticas.
7.3. Pruebas presenciales
La evaluación se realizará a partir del resultado obtenido en las pruebas presenciales. La prueba
presencial se compone de dos partes:
- Un test eliminatorio con cuestiones teórico-prácticas, que cubre los aspectos fundamentales de la
asignatura, que supone un 40% de la calificación total.
- Una serie de preguntas teórico-prácticas y/o problemas, que suponen un 60% de la calificación total.
Para la realización de las pruebas presenciales se permitirá el uso del libro básico de teoría, pero no de
apuntes ni de libros o colecciones de problemas resueltos.
8. Horario de consulta
Las guardias de la asignatura, para todos los profesores, se realizarán los lunes lectivos de 16 a 20 horas,
en el edificio de la Facultad de Ciencias de la UNED, calle Senda del Rey, 9, 28040-Madrid.
Dr. D. Ángel Pérez de Madrid y Pablo (1er y 2º cuatrimestre): Despacho 002 (planta baja).
Tel. 91 398 7160.
Dr. D. Pablo Ruipérez García (sólo 1er cuatrimestre): Despacho 101 (1ª planta). Tel. 91 398 7159.
Dra. Dª Carolina Mañoso Hierro (sólo 2º cuatrimestre): Despacho 002 (planta baja). Tel. 91 398 7168.
La dirección de correo postal de la asignatura es:
Dr. D. Ángel Pérez de Madrid y Pablo
“Redes y Comunicaciones”
Dpto. de Informática y Automática
Facultad de Ciencias – UNED
Senda del Rey, 9
28040 - Madrid
También se pueden dirigir las consultas a la siguiente dirección de correo electrónico:
redescom@dia.uned.es
No se facilitarán calificaciones por teléfono, ya que la papeleta y la lista de calificación que se envía a
cada Centro Asociado, así como la página Web de la UNED y el Servicio de Información Telefónica
(SIRA), son los cauces previstos para ello.
LÓGICA COMPUTACIONAL
Código: 554062
1. Equipo docente
Prof. Dr. José Luis Fernández Vindel
Prof. Dr. Francisco Javier Díez Vegas
2. Objetivos de la asignatura
El objetivo fundamental es que el alumno conozca los métodos de la lógica
(concretamente de la lógica de predicados y de la lógica modal) que más se utilizan hoy
en día en ciencias de la computación e inteligencia artificial.
Por ello, algunos de los temas son de índole puramente teórica, mientras que otros
tratan de establecer el puente con las aplicaciones concretas. Así, los temas 1 y 2
estudian la lógica de predicados y los métodos de demostración generales, mientras que
los dos temas siguientes se centran en los formalismos lógicos aplicables a problemas
del mundo de la computación: el tema 3 estudia el fundamento de la programación
lógica y el tema 4 la lógica de Hoare como formalismo para la verificación de
programas secuenciales.
Análogamente, el tema 5 (fundamentos de lógica modal) es puramente teórico,
mientras que los dos temas siguientes estudian dos variantes de la lógica modal
orientadas a aplicaciones específicas: la lógica epistémica sirve para el razonamiento
sobre el conocimiento en un mundo de agentes, mientras que la lógica temporal sirve,
entre otras aplicaciones, para la verificación de programas concurrentes y de
componentes hardware.
Conviene señalar, sin embargo, que el objeto de estudio de esta asignatura no es
ninguno de los campos de aplicación anteriores, sino los formalismos lógicos. Por eso
no se estudian aquí los detalles de cada una de estas técnicas aplicadas —que son objeto
de otras asignaturas— sino que se insiste sobre todo en el fundamento lógico común en
que se apoyan.
3. Contenidos
Primera parte. LÓGICA DE PREDICADOS
Tema 1. Lógica de proposiciones
Tema 2. Lógica de predicados de primer orden
Segunda parte. FORMALISMOS PARA PROGRAMACIÓN
Tema 3. Programación lógica
Tema 4. Lógica de Hoare
Tercera parte. LÓGICA MODAL
Tema 5. Fundamentos de lógica modal
Tema 6. Lógica epistémica
Tema 7. Lógica modal temporal
4. Bibliografía básica
J. L. Fernández Vindel y F. J. Díez Vegas. Guía de Estudio de Lógica
Computacional. Dpto. Inteligencia Artificial, UNED, Madrid, 2002.
J. L. Fernández Vindel y F. J. Díez Vegas. Apuntes sobre Lógica Modal. Dpto.
Inteligencia Artificial, UNED, Madrid, 2002.
M. Ben-Ari. Mathematical Logic for Computer Science. Springer-Verlag, Londres,
2001.
La Guía de Estudio y los Apuntes sobre Lógica Modal estarán disponibles en la
página web de la asignatura, que se indica más adelante. El alumno que lo desee puede
solicitarlos enviando una carta a
Lógica Computacional (4º de Informática)
Dpto. Inteligencia Artificial
Facultad de Ciencias. UNED
Senda del Rey, 9
28040 Madrid
o un mensaje a material-logica4@dia.uned.es, indicando sus datos personales, y los
recibirá en su domicilio de forma gratuita.
5. Bibliografía complementaria
M. R. A. Huth y M. D. Ryan. Logic in Computer Science. Modelling and Reasoning
about Systems. Cambridge University Press, Cambridge, Reino Unido, 2000.
E. Mendelson. Introduction to Mathematical Logic. Chapman and Hall, Londres,
1997. 4ª edición.
D. M. Gabbay et al. Handbook of Logic in Artificial Intelligence and Logic
Programming. Cinco volúmenes. Oxford University Press, Oxford, 1993-1998.
La Guía de Estudio contiene una selección de bibliografía comentada y ampliada
para cada uno de los temas de la asignatura.
6. Evaluación
El tipo de examen se indicará más adelante en la página web de la asignatura.
7. Horario de atención al alumno
Lunes de 16 a 20 horas.
Prof. José Luis Fernández Vindel. Teléfono: 91 398 71 81.
Prof. Francisco Javier Díez Vegas. Teléfono: 91 398 71 61.
8. Información en Internet
Página web del curso: http://www.ia.uned.es/asignaturas/logica4
Se recomienda encarecidamente a los alumnos que se inscriba en los foros de
Internet que se indican en la página web.
SISTEMAS INFORMÁTICOS I
Código: 554077
1. EQUIPO DOCENTE:
D. Luis Grau Fernández (Profesor Titular de U.)
D. Alfonso Urquía Moraleda (Profesor Titular de E.U.)
D. José Sánchez Moreno (Profesor Titular de E.U.)
D. Salvador Ros Muñoz (Profesor Titular de E.U.)
2. OBJETIVOS
El objetivo de esta asignatura es ampliar, desde un punto de vista principalmente práctico, los
conocimientos básicos adquiridos sobre sistemas informáticos tanto orientados al mundo empresarial
como industrial. El carácter práctico de la asignatura contribuirá a que el alumno pueda ir orientando el
tema de su futuro proyecto fin de carrera y, simultáneamente, obtenga experiencia en el manejo de
determinadas herramientas hardware y software que le podrán ser de gran utilidad para la realización del
citado proyecto.
3. CONTENIDOS
Se abordará el estudio de tecnologías propias de diferentes tipos de sistemas de información desde una
perspectiva práctica. Algunos de los temas objeto de la asignatura podrán ser: bases de datos, Internet,
sistemas operativos, ingeniería de sistemas, automática o arquitectura de computadores.
4. MATERIAL
La documentación del curso se podrá obtener del servidor del departamento http://www.dia.uned.es. En
ésta se dispondrá de toda la información necesaria para poder abordar con éxito tanto la parte práctica
como teórica del curso: bibliografía, software, direcciones de Internet, manuales, etc.
5. OTROS MEDIOS DE APOYO
En el servidor WWW del Departamento de Informática y Automática (http://www.dia.uned.es) se dispone
de información actualizada de interés general.
6. EVALUACIÓN
Dado el perfil de la asignatura, la evaluación de la misma se efectúa tras la realización de dos pruebas,
una presencial de tipo teórico y otra de carácter práctico. Para superar la asignatura completa deberán
aprobarse cada una de las partes de forma independiente. En caso de superar ambas partes, la nota final de
la asignatura se obtendrá realizando una media aritmética de las dos notas. De lo contrario, la nota final
será la menor de la obtenida en cada parte.
A los alumnos que tengan superada la práctica realizada en la convocatoria de Junio se les conservará la
calificación hasta la convocatoria de Septiembre del curso actual, nunca para cursos posteriores.
Análogamente sucederá con la nota de la prueba presencial.
6.1. PRUEBA PRESENCIAL
La evaluación de la componente teórica de la asignatura se efectuará mediante la realización de una
prueba de carácter presencial (2 horas), a celebrar en Junio o en Septiembre.
La prueba presencial constará exclusivamente de un test con preguntas teórico-prácticas sobre aspectos
fundamentales de la asignatura y sobre la práctica que se ha realizado en el presente curso académico.
6.2. PRUEBA PRÁCTICA
Se realizará con carácter obligatorio una práctica sobre alguno de los temas estudiados en la asignatura. A
principios del cuatrimestre en el servidor WWW de la asignatura se dispondrá de toda la información
necesaria para realizar la práctica: fechas y forma de entrega, manual de prácticas, software.
7. HORARIO DE ATENCIÓN AL ALUMNO
Lunes lectivos de 16:00 a 20:00 horas en el Edificio de la Facultad de Ciencias de la UNED, Paseo de
Senda del Rey nº 9 , Madrid.

En los despachos:
02: D. Alfonso Urquía Moraleda
101: D. Luis Grau Fernández
027: D. Salvador Ros Muñoz
236: D. José Sánchez Moreno

Por consulta telefónica:
Teléfono: 91398- 8459, 7153, 7205, 7146
Fax: 913986697

Por correo postal a la dirección:
Sistemas Informáticos I
Departamento de Informática y Automática.
Facultad de Ciencias. UNED
Paseo de Senda del Rey n º9
28040 Madrid

Por correo electrónico:
si1@dia.uned.es
Descargar