Está en la página 1de 22

5

Ingeniero en Informtica (2 ciclo)

Plan de Estudios Horarios Calendario de Exmenes Programas de las Asignaturas

Facultad de Ciencias INGENIERO EN INFORMTICA (SEGUNDO CICLO)

PLAN DE ESTUDIOS DE 1999


Primer Curso Materias Troncales, 36 crditos 13001 Arquitectura e Ingeniera de Computadores 13002 Anlisis de sistemas 13003 Procesadores de lenguaje 13004 Redes Materias Obligatorias, 9 crditos 13005 Ampliacin de Sistemas Operativos Materias Optativas,12 crditos a elegir entre las relacionadas al final Libre eleccin, 6 crditos Segundo Curso Materias Troncales (33 crditos) 13006 Administracin de proyectos informticos 13007 Inteligencia Artificial e Ing del Conocimiento 13008 Sistemas de Informacin 13010 Proyecto Materias Obligatorias (6 crditos) 13009 Ampliacin de Bases de Datos Materias Optativas,18 crditos a elegir entre las relacionadas al final Libre eleccin, 7 crditos Relacin de Materias Optativas 13011 13012 13013 13014 13015 13016 13017 13018 13019 13020 13021 13022 13023 13024 13025 13026 Programacin Paralela y Distribuida Administracin de Sistemas Informticos Procesamiento de Imgenes Informtica Grfica Microelectrnica Diseo de Circuitos Digitales Tcnicas de Investigacin Operativa Reconocimiento de Patrones Tcnicas de Control de Calidad Criptografa Teora de la Informacin y teora de cdigos Lgica Computacional Clculo Numrico Tecnologa de Control Robtica Lgicas para la Informtica y la Inteligencia Artificial 6 cr 6 cr 6 cr 6 cr 6 cr 6 cr 6 cr 6 cr 6 cr 6 cr 6 cr 6 cr 6 cr 6 cr 6 cr 6 cr (3 T + 3 P) (2 T + 4 P) (3 T + 3 P) (3 T + 3 P) (4,5 T + 1,5 P) (3 T + 3 P) (3 T + 3 P) (3 T + 3 P) (3 T + 3 P) (3 T + 3 P) (3 T + 3 P) (3 T + 3 P) (3 T + 3 P) (4,5 T + 1,5 P) (4,5 T + 1,5 P) (4 T + 2 P) 9 cr 9 cr 9 cr 6 cr 6 cr (6 T + 3 P) (6 T + 3 P) (0 T + 9 P) (0 T + 6 P) (4,5 T + 1,5 P) 9 cr 9 cr 9 cr 9 cr 9 cr (6 T + 3 P) (6 T + 3 P) (6 T + 3 P) (6 T + 3 P) (4,5 T + 4,5 P)

291

Condiciones de acceso. De acuerdo con la orden de 11 de Septiembre de 1991 (BOE del 26 de Septiembre), para acceder a estos estudios de Segundo Ciclo es necesario estar en posesin del ttulo de Ingeniero Tcnico en Informtica de Gestin o Ingeniero Tcnico en Informtica de Sistemas.

UNIVERSIDAD DE SALAMANCA HORARIOS

INGENIERO EN INFORMTICA (2 CICLO)

Curso 1
Horas 9-10 Asig. Lunes Arquitectura e Ingeniera de Computadores Ciencias E-1 Redes Ciencias E-1 Anlisis de Sistemas Aula Prcticas Tcnicas de Investigacin Operativa Martes Arquitectura e Ingeniera de Computadores Aula Prcticas Redes Aula Prcticas Anlisis de Sistemas Aula Prcticas Microelectrnica Mircoles Redes Jueves Arquitectura e Ingeniera de Computadores Aula Prcticas Redes Aula Prcticas Anlisis de Sistemas Aula Prcticas Arquitectura e Ingeniera de Computadores

1 Semestre
Viernes Redes

10-11

Aula Asig. Aula Asig.

Aula Prcticas Microelectrnica

11-12

12-13

Aula Asig.

13-14

Aula Asig. Aula Aula Prcticas

Aula Prcticas

Lab. Infor. Arquitectura e Ingeniera de Computadores Ciencias E-1 Microelectrnica (1 h.) Ciencias E-1 --------------Tcnicas de Investigacin Operativa Aula Infor. 5

Aula Infor. 4 Aula Prcticas

Lab. Infor.

292

Curso 1
Horas 9-10 Lunes Administracin de Sistemas Informticos Martes Anlisis de Sistemas Mircoles Administracin de Sistemas Informticos Jueves Anlisis de Sistemas Aula Prcticas Lgica Computacional Aula Prcticas Ampliacin de Sistemas Operativos

2 Semestre
Viernes

Asig. Aula Asig.

10-11

Lgica Computacional Aula Prcticas Procesadores de Lenguaje

11-12

Aula Asig.

12-13

Aula Asig. Aula Asig. Aula

Lab. Infor. Ampliacin de Sistemas Operativos Aula Prcticas Procesadores de Lenguaje

Lab. Infor. Ampliacin de Sistemas Operativos Ciencias D-3 Lgica Computacional

Lab Infor. Ampliacin de Sistemas Operativos Ciencias D-3 Procesadores de Lenguaje

Lab. Infor. Aula Infor. 1 Ciencias D-3

13-14

Aula Prcticas

Ciencias D-3

Lab. Infor.

Facultad de Ciencias
Curso 2
Horas 9-10 Asig. Lunes Inteligencia Artificial e Ing del Conoc. Trilinge IV Sistemas de Informacin Martes Inteligencia Artificial e Ing del Conoc. Trilinge IV Administracin de Proyectos Informticos Trilinge IV Sistemas de Informacin Mircoles Teora de la Informacin y Teora de Cdigos Trilinge IV Administracin de Proyectos Informticos Trilinge IV Inteligencia Artificial e Ing del Conoc. Trilinge IV Teora de la Informacin y Teora de Cdigos Trilinge IV Jueves Inteligencia Artificial e Ing del Conoc. Trilinge IV Lgicas para la Informtica y la Inteligencia Artificial

1 Semestre
Viernes Teora de la Informacin y Teora de Cdigos Trilinge IV Lgicas para la Informtica y la Inteligencia Artificial

10-11

Aula Asig.

11-12

Aula Asig.

12-13

Aula Asig.

Lab. Infor. Inteligencia Artificial e Ing del Conoc. Lab. Infor.

13-14

Aula Asig. Aula Lab. Infor.

Trilinge IV Aula Infor. 0 Teora de la Informacin y Teora de Cdigos Trilinge IV

Lab. Infor. Trilinge IV Sistemas de Informacin

Lab. Infor.

Curso 2
Horas 9-10 Asig. Aula Asig. Lunes Criptografa Trilinge IV Ampliacin de Bases de Datos Trilinge IV Administracin de Proyectos Informticos Martes Criptografa Trilinge IV Ampliacin de Bases de Datos Trilinge IV Diseo de Circuitos Digitales Trilinge IV Administracin de proyectos Informticos Trilinge IV Mircoles Criptografa Trilinge IV Informtica Grfica Trilinge IV Diseo de Circuitos Digitales Trilinge IV Ampliacin de Bases de Datos (7 ltimas semanas) Jueves Criptografa Trilinge IV Ampliacin de Bases de Datos Trilinge IV Administracin de Proyectos Informticos Trilinge IV Diseo de Circuitos Digitales

2 Cuatrimestre
Viernes Informtica Grfica

293

10-11

11-12

Aula Asig.

Lab. Infor.

12-13

Aula Asig.

13-14

Aula Asig.

Lab. Infor. Informtica Grfica Lab. Infor.

Aula

Lab. Infor.

Trilinge IV Aula Infor. 2

Asignatura PROYECTO: martes y jueves de 9 a 12 horas en el Laboratorio de Informtica

UNIVERSIDAD DE SALAMANCA CALENDARIO DE EXMENES

TITULACION: INGENIERO EN INFORMTICA (2 CICLO) (PLAN 1999)


1 Conv. PRIMER CURSO ARQUITECTURA E INGENIERA DE COMPUTADORES ANLISIS DE SISTEMAS PROCESADORES DE LENGUAJE REDES AMPLIACIN DE SISTEMAS OPERATIVOS MICROELECTRNICA TCNICAS DE INVESTIGACIN OPERATIVA ADMINISTRACIN DE SISTEMAS INFORMTICOS LGICA COMPUTACIONAL SEGUNDO CURSO ADMINISTRACIN DE PROYECTOS INFORMTICOS INTELIGENCIA ARTIFICIAL E ING DEL CONOCIMIENTO SISTEMAS DE INFORMACIN AMPLIACIN DE BASES DE DATOS DISEO DE CIRCUITOS DIGITALES CRIPTOGRAFA INFORMTICA GRFICA TEORA DE LA INFORMACIN Y TEORA DE CDIGOS LGICAS PARA LA INFORMTICA Y LA I. A. 22/5/06 11/1/06 27/1/06 7/6/06 13/6/06 31/5/06 26/5/06 23/1/06 17/1/06 11/7/06 18/7/06 3/7/06 6/7/06 4/7/06 7/7/06 14/7/06 13/7/06 17/7/06 25/1/06 5/6/06 24/5/06 9/1/06 9/6/06 13/1/06 19/1/06 29/5/06 15/6/06 3/7/06 17/7/06 10/7/06 7/7/06 14/7/06 5/7/06 4/7/06 12/7/06 18/7/06 2 Conv.

294

Facultad de Ciencias PROGRAMA DE LAS ASIGNATURAS

PRIMER CURSO
ARQUITECTURA E INGENIERA DE COMPUTADORES (TRONCAL) SEMESTRAL. 9 crditos (6 tericos + 3 prcticos) PROFESOR/ES: D. Beln Curto Diego D. Guillermo Gonzlez Talavn PROGRAMA 1 - Introduccin a las arquitecturas paralelas 2 - Computadores segmentados 3 - Segmentacin avanzada 4 - Procesadores vectoriales 5 - Computadores matriciales (SIMD) 6 - Redes de interconexin 7 - El sistema de memoria 8 - Multiprocesadores basados en bus 9 - Otras arquitecturas avanzadas BIBLIOGRAFA Hennesy, Jonh L.; Patterson, David A.: Arquitectura de Computadores. Un enfoque cuantitativo. Mc Graw Hill. Kai Hwang, Fay A. Briggs: Arquitectura de Computadores. Mc Graw Hill Patterson, David A.; Hennesy, Jonh L..: Organizacin Y Diseo de Computadores. La interfaz hardware/software Mc Graw Hill. Stalling, William: Organizacin y Arquitectura de Computadores. Prentice-Hall. Cuarta edicin. 1996. Tanenbaum, S.: Organizacin de Computadoras. Un Enfoque Estructurado Ed. Prentice Hall Hispanoamericana, S.A. OBJETIVOS Estudiar los conceptos y fundamentos de las arquitecturas avanzadas de computadores. PLAN DE TRABAJO Las clases sern tericas y prcticas segn los crditos de la asignatura que se podrn completar con seminarios y conferencias. EVALUACIN Examen terico-prctico y se podr exigir al alumno la presentacin de uno o varios trabajos que se evaluarn individualmente.

295

UNIVERSIDAD DE SALAMANCA
ANLISIS DE SISTEMAS (TRONCAL) ANUAL. 9 crditos (6 tericos + 3 prcticos) PROFESOR/ES: D. Mara N. Moreno Garca PROGRAMA 1. Sistemas de Informacin 2. Modelos de proceso del software 3. Mtodos de desarrollo de software 4. El lenguaje UML y el Proceso Unificado 5. Tcnicas formales de especificacin 6. Mantenimiento del software 7. Desarrollo de sistemas especiales PRCTICAS Aplicacin de los mtodos de modelado estudiados haciendo uso de una herramienta CASE. BIBLIOGRAFA Booch, G., Rumbaught, J. y Jacobson I. (1999): El Lenguaje Unificado de Modelado: AddisonWesley Object Technology Series. Clark, T. y Warmer, J. (2002): Object Modeling with the OCL. Springer. Jacobson, I. ; Booch, G.; Rumbaught, J. (2000): El Proceso Unificado de Desarrollo de Software. Addison Wesley Object Technology Series. Harry, A. (1996): Formal Methods. Fact File. John Wiley & Sons. Meyer, B. (1998): Construccin de Software Orientado a Objetos. Prentice Hall. Omg: OMG Unified Modeling Language Specification. Version 1.5. Object Management Group Inc., http:/www.omg.org/technology/documents/formal/uml.htm , March 2003. Piattini, M.G. et al. (1996): Anlisis y Diseo Detallado de Aplicaciones Informticas de Gestin, Rama. Pressman, R. S. (2002): Ingeniera del Software, un enfoque prctico. McGraw Hill, 5 edicin. Rumbaught, J.; Jacobson, I.; Booch, G. (2000): El Lenguaje Unificado de Modelado. Manual de Referencia. Addison-Wesley Object Technology Series. Sommerville, I. (2002): Ingeniera de Software 6 ed., Addison Wesley. Warmer J.; Kleppe, A. (1999): The Object Constraint Language. Precise Modeling with UML. Addison-Wesley Object Technology Series. EVALUACIN Examen final. Trabajos prcticos.

296

Facultad de Ciencias
PROCESADORES DE LENGUAJE (TRONCAL) SEMESTRAL. 9 crditos (6 tericos + 3 prcticos) PROFESOR/ES: D. Luis Alonso Romero D. Vivian Flix Lpez Batista

PROGRAMA Teora: 1. Introduccin. Generalidades. Historia. Compiladores. 2. Aspectos formales. Definiciones. BNF. Lenguajes Formales. Gramticas. Anlisis sintctico. Grafos sintcticos. 3. Anlisis de lxico. Tablas de smbolos. 4. Anlisis sintctico. Construccin de analizadores. 5. Semntica y anlisis de tipos. 6. Gestin y manejo de errores de lxico, sintcticos y semnticos. 7. Generacin y Optimizacin de cdigo. 8. Aspectos dependientes de mquina: arquitecturas, microcdigo, RISC. Prcticas: 9. Lex, yacc. BIBLIOGRAFA: Teufel, Schmidt - Compiladores: conceptos fundamentales. Addison Wesley 95. Aho, Sethi, Ullmann - Compiladores: principios, tcnicas y herramientas. Addison 90. Appel, Gisnberg - Modern Compiler Implementation in C. Cambridge Univers. 97. Levine, Mason, Brown - Lex & Yacc.- OReilly 92. Bal. Grune - Programming Language Essentials. Addison Wesley 97. OBJETIVOS Proporcionar una panormica de las herramientas de compilacin de lenguajes, tanto desde el punto de vista terico (anlisis de lxico, sintctico y semntico) como de algunas de las herramientas de construccin de traductores existentes. EXAMEN Teora (60%): Cuestiones cortas sobre las partes 1 a 8. Prctica (40%): Generacin de un pequeo compilador empleando alguna de las herramientas disponibles (lex, yacc, etc). Para la superacin de la asignatura, es necesario aprobar cada una de las dos partes. Se valorar la realizacin de trabajos que se propondrn a lo largo del curso. HORARIO DE TUTORAS Lunes, Mircoles, Jueves de 10 a 12h.

297

UNIVERSIDAD DE SALAMANCA
REDES (TRONCAL) SEMESTRAL. 9 crditos (6 tericos + 3 prcticos) PROFESOR/ES: D. ngel Lus Snchez Lzaro D. ngeles M. Moreno Montero PROGRAMA A. TCP/IP (IPv6) B. LANs DE ALTA VELOCIDAD C. REDES DE REA ANCHA. 1. Retransmisin de tramas (Frame Relay). 2. RDSI de banda estrecha. 3. RDSI de banda ancha. Retransmisin de celdas (ATM) D. SNMP E. SEGURIDAD EN REDES. 1. Generalidades. 2. Cifrado Convencional. 3. Confidencialidad usando cifrado convencional. 4. Criptologa de clave pblica. 5. Validacin de identificacin (Autentificacin de mensajes) y firmas digitales. 6. Aplicaciones de seguridad en Inter-redes. F. REDES INALAMBRICAS PARTE PRCTICA Aplicaciones en red (Sockets). Elementos de interconexin (switchers y routers). Gestin de red (SNMP). Seguridad. BIBLIOGRAFA: Tanenbaum, A.S. - Redes de Computadoras. Ed. Prentice-Hall. Stallings, W. - Comunicaciones y Redes de Computadores. Ed. Prentice-Hall Sexta Edicin. 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.

298

AMPLIACIN DE SISTEMAS OPERATIVOS (OBLIGATORIA) SEMESTRAL. 9 crditos (4,5 tericos + 4,5 prcticos) PROFESOR/ES: D. Luis Antonio Miguel Quintales PROGRAMA Tema 1.- Caracterizacin de los sistemas distribuidos Tema 2.- Modelos de sistemas Tema 3.- Middleware Tema 4.- Tiempo y estados globales Tema 5.- Coordinacin entre procesos Tema 6.- Memoria compartida distribuida Tema 7.- Sistemas de archivos distribuidos Tema 8.- Replicacin Tema 9.- Servicios de nombres

Facultad de Ciencias
BIBLIOGRAFA Coulouris, G.; Dollimore, J.; Kindberg, T. (2002): Sistemas Distribuidos. Conceptos y diseo. 3 edicin. 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 Adquisicin por los alumnos de los conocimientos necesarios para: 1. Entender los conceptos tericos bsicos relativos a los Sistemas Operativos Distribuidos 2. Entender los distintos mtodos de diseo y algoritmos implicados en la implementacin de los Sistemas Operativos Distribuidos. 3. A nivel prctico, disear e implementar distintos algoritmos distribuidos, utilizando un middleware que permita utilizar las tcnicas de llamada a procedimiento y/o mtodo remoto.

ADMINISTRACIN DE SISTEMAS INFORMTICOS (OPTATIVA) SEMESTRAL. 6 crditos (2 tericos + 4 prcticos) PROFESOR/ES: D. Luis Antonio Miguel Quintales PROGRAMA 1 Parte Administracin de Sistemas UNX 1.- Labores del Administrador del Sistema 2.- Sistema de ficheros 3.- PERL 4.- Arranque, parada y niveles de ejecucin 5.- Gestin de usuarios 6.- Control del espacio en disco 7.-Copias de seguridad 8.- Procesos, planificacin y monitorizacin 9.- Contabilidad 10.- Seguridad 2 Parte Administracin de Servicios de Internet en sistemas UNX 11.- Instalacin y configuracin de un servidor de HTTP 12.- Instalacin y configuracin de un servidor de FTP 13.- Instalacin y configuracin de un servidor de correo: SENDMAIL y P0P3 14.- Instalacin y configuracin de un SGBD 15.- PERL CGI y PHP

299

UNIVERSIDAD DE SALAMANCA
BIBLIOGRAFA Frisch, A.; Frisch, E. (2002): Essential System Administration. Help for UNIX System Administrators (3rd Edition) OReilly. 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. OReilly. Wall, l.; Christiansen, T.; Orwant, J. (2000): Programming Perl (3rd Edition). OReilly. OBJETIVOS Adquisicin de los conocimientos necesarios para llevar a cabo las tareas habituales de Administracin de un servidor tipo UNX.

MICROELECTRNICA (OPTATIVA) SEMESTRAL. 6 crditos (4,5 tericos + 1,5 prcticos) PROFESOR/ES: D. Enrique Velzquez Prez D. Toms Gonzlez Snchez PROGRAMA 1.- Dispositivos electrnicos y optoelectrnicos: Transductores. Modelos para dispositivos electrnicos integrados. Dispositivos optoelectrnicos. 2.- Tecnologa y fabricacin de circuitos integrados: Procesos bsicos en la fabricacin de C.I. Fabricacin de C.I. Bipolares. fabricacin de C.I. MOS. Tecnologa BICMOS. 3.- Circuitos integrados analgicos y digitales: Filtros activos. Generadores de funciones Circuitos integrados digitales. 4.- Electrnica de comunicaciones: transmisiones analgicas. Transmisiones digitales. Comunicaciones por fibra ptica.

300
BIBLIOGRAFA Bannister, B.R. y Whitehead, D.G. (1994): Instrumentacin: Transductores e interfaz (2 ed.).Addison-Wesley Iberoamericana. Gray, Paul R. & Meyer, Robert G. (1995): Anlisis y diseo de circuitos integrados analgicos (3 ed.).- Prentice Hall Hispanoamericana, S.A. Morant, Martn J. (1994): Diseo y tecnologa de circuitos integrados.- Addison-Wesley Iberoamericana. Wayne Tomasi (1996): Sistemas de comunicaciones electrnicas (2 ed.).- Prentice Hall Hispanoamericana, S.A.

Facultad de Ciencias
TCNICAS DE INVESTIGACIN OPERATIVA (OPTATIVA) SEMESTRAL. 6 crditos (3 tericos + 3 prcticos) PROFESOR/ES: D. Quintn Martn Martn PROGRAMA Captulo 1. GRAFOS: Conceptos Generales. Grafos no orientados. Grafos orientados. Tipo de grafos. Representaciones matriciales. Algoritmo de bsqueda de caminos hamiltonianos. Bsqueda de caminos mnimos para grafos valuados. Algoritmos de la ruta ms corta: Algoritmo de Dijkstra y Algoritmo de Floyd. rboles. Algoritmo de Kruskal. Algoritmo de Solin. Captulo 2. MODELO DE REDES: Formulacin del Modelo de Transporte. Problema del camino ms corto. La programacin lineal aplicada a los problemas de flujo mximo en redes. Problemas de flujo compatible con coste mnimo. 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: Mtodos PERT y CPM. Diferencia de los mtodos PERT-CPM con el mtodo de Gantt. Fases en un control de proyecto. Mtodo PERT/CPM. Captulo 3. CONTROL DE INVENTARIOS: Definicin y caractersticas. Ventajas e inconvenientes de tener grandes Inventarios. Caractersticas de los Modelos de Inventarios. Componentes de coste de un Sistema de Inventarios. Modelos de inventario. Modelos de cantidad econmica de Lote (EOQ). Modelo EOQ Clsico. Modelo EOQ con descuentos por cantidad. Modelo EOQ de artculos con restricciones de almacenamiento. Produccin conjunta de lotes (con la misma maquinaria). Produccin de un solo producto. Produccin de n productos (lotes). Modelo de inventario con demanda aleatoria. Stock de seguridad. Modelo de inventario probabilstico discreto. Modelos de inventario con revisin peridica. Captulo 4. TEORA DE COLAS: Proceso bsico de las colas. Procesos estocsticos. Propiedades de la distribucin 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 bsico con cola finita (M). Modelo bsico con fuente de entrada finita (m). Modelo dependiente del nmero de clientes en el sistema. Modelo de cola con servidor ausente. Modelo de cola con disciplina de prioridad. Captulo 5. APLICACIN DE LAS REDES NEURONALES ARTIFICIALES Y ALGORITMOS GENTICOS A LA INVESTIGACIN OPERATIVA: Introduccin. Clasificacin de redes neuronales artificiales. El perceptrn multicapa. Algoritmo backpropagation. Redes neuronales artificiales de Kohonen y de Hopfield. Algoritmos Genticos. El Problema del Viajante de Comercio (TSP). Aplicacin de los algoritmos genticos al diseo de redes neuronales. BIBLIOGRAFIA: Bazaraa, M.S.; Sherali, H. D. & Shetty, C. M. (1993): Nonlinear Programming: Theory and Algoritms (2 edicin). John Wiley and Sons, New York. Diaz, A. (Coordinador) (1996): Optimizacin heurstica y redes neuronales. Paraninfo, S.A. Madrid. Martn Martn, Q. (2003): Investigacin Operativa. Ed. Hesprides. Salamanca. Hillier, F. & Lieberman, G. (1980): Introduccin a la investigacin de operaciones. McGraw-Hill. Madrid. Winston, W.L. (1994): Investigacin de Operaciones. Aplicaciones y Algoritmos. Grupo Editorial Iberoamericana, S.A. Mxico. Whitaker, F. (1988): Investigacin Operativa con el computador. Paraninfo, S.A. Madrid.

301

UNIVERSIDAD DE SALAMANCA
OBJETIVOS Proporcionar a los alumnos los conocimientos necesarios sobre tcnicas de Investigacin Operativa (I.O.), de manera que stos puedan plantear los problemas y resolverlos con un programa informtico de I.O. y/o ventanas Applets. Posibilitar a los alumnos, para que desarrollen subrrutinas, que resuelvan problemas concretos de I.O. EVALUACIN: La evaluacin se llevar a cabo mediante un examen en el que el alumno deber plantear los ejercicios y resolverlos mediante la utilizacin de un programa informtico de I.O. y/o ventanas Applets. Se evaluar, tambin, los trabajos de resolucin de problemas implementados en programas informticos.

LGICA COMPUTACIONAL (OPTATIVA) SEMESTRAL. 6 crditos (3 tericos + 3 prcticos) PROFESOR/ES: D. M. Teresa Sancho de Salas PROGRAMA: 1.- lgebra de Boole y lgica clsica. Deducciones en la lgica clsica. 2.- lgebras de De Morgan y lgica difusa. 3.- Conjuntos borrosos. lgebra de predicados en la lgica difusa. Razonamiento aproximado. 4.- Aplicaciones: Sistemas expertos. Problemas de decisin. Modelos borrosos en logstica. BIBLIOGRAFA

302

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 introduccin de la lgica difusa con sus aplicaciones en la inteligencia artificial, sistemas expertos, etc. El curso est dividido en una parte terica, donde se dan con rigor los conceptos que luego se aplican y una parte prctica que se realizar preferentemente con ordenador. EVALUACIN Se realizar durante todo el curso una evaluacin continua mediante exmenes cortos en clase y trabajos a realizar por el alumno o grupo de alumnos. Al final del curso habr un examen terico y prctico.

Facultad de Ciencias SEGUNDO CURSO


ADMINISTRACIN DE PROYECTOS INFORMTICOS (TRONCAL) ANUAL. 9 crditos (6 tericos + 3 prcticos) PROFESOR/ES: D. Mara Moreno Garca PROGRAMA 1. Visin general de la administracin de proyectos. 2. Mtricas del Software. 3. Mtodos de estimacin y gestin del riesgo. 4. Planificacin temporal y organizativa de un proyecto. 5. Control de calidad. 6. Gestin de configuraciones. PRCTICAS Planificacin de un proyecto haciendo uso de una herramienta automatizada. BIBLIOGRAFA Cantor, M. (1998): Object-Oriented Project Management with UML, John Wiley and Sons. Fenton, N.E. y Pfleeger, S.L. (1997): Software metrics. A rigorous & practical approach. Lpez, N. et al. (1998): Integrar UML en los proyectos, Eyrolles. Mcconnell, S. (1997): Desarrollo y gestin de proyectos informticos, Mc Graw Hill. Pressman, R.S. (1998): Ingeniera del Software, un enfoque prctico, Mc Graw Hill. OBJETIVOS La asignatura trata los aspectos de gestin y control de la ingeniera del software. El programa cubre el estudio de las tcnicas y actividades relacionadas con dichos aspectos que deben llevarse a cabo durante el desarrollo de un proyecto de software y durante el mantenimiento posterior del sistema. EVALUACIN Examen final. Puede exigirse la realizacin de algn trabajo.

303

UNIVERSIDAD DE SALAMANCA
INTELIGENCIA ARTIFICIAL E ING DEL CONOCIMIENTO (TRONCAL) SEMESTRAL. 9 crditos (6 tericos + 3 prcticos) PROFESOR/ES: D. Vidal Moreno Rodilla PROGRAMA Tema I. Introduccin a la inteligencia artificial. Tema II. Tcnicas de representacin. Tema III. Procedimientos de bsqueda. Sistemas de produccin. Tema IV. Sistemas expertos. Bases de conocimiento. Mtodos de inferencia. Shells. BIBLIOGRAFA 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. Daz de Santos. OBJETIVOS Obtener un conocimiento con profundidad de los mtodos de la inteligencia artificial en lo que se refiere a la representacin del conocimiento y los procedimientos de bsqueda de solucin. Los alumnos han de disponer de conocimientos previos amplios de algortmia, as como de estructuras de datos. EVALUACIN Una prueba terica final que junto con la nota de prcticas proporcionan la nota final de acuerdo con la distribucin de crditos de la asignatura.

304
SISTEMAS DE INFORMACIN (TRONCAL) SEMESTRAL. 9 crditos (0 tericos + 9 prcticos) PROFESOR/ES: D. Jos R. Garca-Bermejo Giner PROGRAMA Primera parte.- Conceptos bsicos de orientacin a objetos Abstraccin. Encapsulamiento. Herencia. Polimorfismo. Fiabilidad. Modularidad. Segunda parte.- El lenguaje Java. Java frente a C/C++ Tipos de datos primitivos.

Facultad de Ciencias
Tipos de referencia: Matrices, Clases Interfaces Estructuras de control Entrada/Salida elemental Tercera parte.- Applets Conceptos bsicos y casos prcticos. Uso de texto dinmico. Uso de primitivas grficas. Introduccin a las hebras. Uso de imgenes Cuarta parte.- Creacin de aplicaciones en Java. Generalidades: la biblioteca de clases de Java Java Foundation Classes Abstract Windowing Kit Swing Accesibilidad

PROYECTO (TRONCAL) SEMESTRAL. 6 crditos (0 tericos + 6 prcticos) PROFESOR/ES: Todos los profesores del Departamento PLAN DE TRABAJO Consultar los horarios de tutoras del Tutor Tutores del proyecto asignado al alumno. Ver Reglamento de Proyecto o Trabajo Fin de Carrera, y las Normas Complementarias de la Facultad de Ciencias al Reglamento de Proyecto o Trabajo Fin de Carrera publicados en el apartado 4. Normas Generales de esta misma Gua Acadmica.

305

AMPLIACIN DE BASES DE DATOS (OBLIGATORIA) SEMESTRAL. 6 crditos (4,5 tericos + 1,5 prcticos) PROFESOR/ES: D. Luis Alonso Romero D. M. Jos Polo Martn PROGRAMA: I. BASES DE DATOS ORIENTADAS A OBJETOS. Introduccin. Modelos de datos orientados a objetos. Procesamiento de consultas en OODBs. Tcnicas de almacenamiento y de indexacin.

UNIVERSIDAD DE SALAMANCA
II. BASES DE DATOS DISTRIBUIDAS Introduccin. Arquitectura de SGBD distribuidos. Diseo de bases de datos distribuidas. Procesamiento de consultas en SGBD distribuidos. Control de concurrencia en sistemas distribuidos. BIBLIOGRAFA: 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 visin sobre la arquitectura y diseo de los sistemas de bases de datos orientados a objetos. Estudiar los conceptos y tcnicas de desarrollo de los sistemas de bases de datos distribuidos. EVALUACIN Examen final. Puede exigirse la realizacin de algn trabajo.

INFORMTICA GRFICA (OPTATIVA) SEMESTRAL. 6 crditos (3 tericos + 3 prcticos)

306

PROFESOR/ES: D. Juan M. Corchado Rodrguez D. Luis Alonso Romero PROGRAMA Sistemas Grficos. Aplicaciones. Hardware grfico. Modelos de color. Mtodos de comprensin de ficheros. Sistemas 2D.- Sistemas 3D.- APIs.- Transformaciones.- Visualizaciones: sombreados, modelos de luz, texturas.- Ocultacin de superficies: z buffer.- Efectos. BIBLIOGRAFA Angel - Interactive Computer Graphics.- Addison Wesley, 2000. Hearn, Baker - Computer Graphics.- Prentice Hall, 94. Woo - Open GL Programming Guide, SGI 97.

Facultad de Ciencias
DISEO DE CIRCUITOS DIGITALES (OPTATIVA) SEMESTRAL. 6 crditos (3 tericos + 3 prcticos) PROFESOR/ES: D. Javier Mateos Lpez PROGRAMA 1.- Anlisis y diseo de circuitos digitales combinacionales y secuenciales. 2.- Herramientas de diseo asistido por ordenador para circuitos digitales. 3.- Prcticas con diversos programas de simulacin. BIBLIOGRAFA Nelson, V.; Nagle, H.; Carroll, B. & Irwin, D. (1996): Anlisis y Diseo de Circuitos Lgicos Digitales. Edit. Prentice Hall. Ters, L.;Torroja, Y.; Olcoz, S. y Villar, E. (1998): VHDL Lenguaje Estndar de Diseo Electrnico. Edit. McGraw-Hill.

CRIPTOGRAFA (OPTATIVA) SEMESTRAL. 6 crditos (3 tericos + 3 prcticos) PROFESOR/ES: D. Jos M. Muoz Porras D. Francisco Jos Plaza Martn PROGRAMA 1.- Aritmtica Modular. 2.- Criptosistemas clsicos. 3.- Criptografa de llave pblica. 4.- Criptosistemas de curvas elpticas. BIBLIOGRAFA Neal Koblitz - A Course in Number Theory and Criptography. Graduate Texts in Mathematics, 114, Springer. Serafin Ortega Juncuas - Algunas aplicaciones de las curvas elpticas a la criptografa. Serie Breve. Ciencia y Tcnica, Universidad de Valladolid. D. Welsch - Codes and Cryptography. Oxford Univ. Press, New York, 1988. OBJETIVOS El objetivo de este curso es dar al alumno un conocimiento bsico de los principales mtodos de encriptacin de uso en la actualidad. EVALUACIN Evaluacin continuada durante el curso y examen al final del mismo.

307

UNIVERSIDAD DE SALAMANCA
TEORA DE LA INFORMACIN Y TEORA DE CDIGOS (OPTATIVA) SEMESTRAL. 6 crditos (3 tericos + 3 prcticos) PROFESOR/ES: D. Jos M. Muoz Porras D. Francisco Jos Plaza Martn PROGRAMA Cdigos algebro-geomtricos. Cdigos de Goppa. Cdigos aritmticos. Programacin de cdigos. BIBLIOGRAFA: 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, Birkhuser. OBJETIVOS Que los alumnos adquieran unos conocimientos bsicos de la teora de cdigos algebrogeomtricos y de sus aplicaciones. EVALUACIN Se realizar una evaluacin continuada a lo largo del curso, as como un examen tericoprctico al final del mismo.

308
LGICAS PARA LA INFORMTICA Y LA INTELIGENCIA ARTIFICIAL (OPTATIVA) SEMESTRAL. 6 crditos (4 tericos + 2 prcticos) PROFESOR/ES: D. Mara Manzano Arjona PROGRAMA: Primera Parte: Lgicas modales. Tema 1. Introduccin: Breve historia de la lgica modal. Tema 2. El lenguaje de la lgica modal Tema 3. Semntica: modelos de Kripke Tema 4. Clculo deductivo Tema 5. Completud y decidibilidad Tema 6. Lgicas de Hoare Tema 7. Lgica dinmica Tema 8. Semntica de la lgica dinmica Tema 9. Clculo deductivo

Facultad de Ciencias
Segunda Parte: MAUDE Tema 1. Sintaxis Tema 2. Mdulos funcionales Tema 3. Mdulos de sistema Tema 4. Cmo importar mdulos Tema 5. Ejemplos BIBLIOGRAFA 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): Lgica, Lgicas 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 enseanza de la lgica estn disponibles en http://logicae.usal.es El manual de MAUDE, el propio programa y algunos artculos se encuentran en http://maude.cs.uiuc.edu/ Nota: En las clases prcticas, en el aula de informtica, usaremos el mencionado programa MAUDE y algunos paquetes de software de enseanza de lgica. OBJETIVOS En este curso aprenderemos un lenguaje lgico y otro de programacin y usaremos el segundo para especificar las condiciones semnticas y sintcticas del primero, de manera que los clculo se realicen automticamente. Tiene dos partes: (1) Introduccin terica y prctica a las lgicas modales proposicionales, sus aplicaciones -en filosofa, matemticas, I.A., informtica y lingstica-, su alcance y sus limitaciones. (2) Introduccin prctica al lenguaje MAUDE en el que se implementarn las lgicas precedentes. EVALUACIN Habr que entregar dos trabajos prcticos que consistirn en la programacin en el lenguaje MAUDE de algunas de las componentes semnticas o sintcticas de la modal.

309

También podría gustarte