Agencia Estatal Boletín Oficial del Estado

APROBADO POR LA UNIVERSIDAD DE GRANADA EL PLAN DE ESTUDIOS DE SEGUNDO CICLO DE LICENCIADO EN INFORMATICA DE LA FACULTAD DE CIENCIAS, DE CONFORMIDAD CON LO DISPUESTO EN LOS ARTICULOS 28 Y 29 DE LA LEY ORGANICA 11/1983, DE 25 DE AGOSTO, DE REFORMA UNIVERSITARIA (<BOLETIN OFICIAL DEL ESTADO> NUM.

209, DE 1 DE SEPTIEMBRE) Y 225 Y CONCORDANTES DE LOS ESTATUTOS DE DICHA UNIVERSIDAD, PUBLICADOS POR DECRETO 162/1985, DE 17 DE JULIO (<BOLETIN OFICIAL DEL ESTADO> NUM. 55, DE 5 DE MARZO DE 1986), Y EN CUMPLIMIENTO DE LO SEÑALADO EN EL ARTICULO 10.2 DEL REAL DECRETO 1497/1987, DE 27 DE NOVIEMBRE, SOBRE DIRECTRICES GENERALES COMUNES DE LOS PLANES DE ESTUDIOS DE LOS TITULOS DE CARACTER OFICIAL Y VALIDEZ EN TODO EL TERRITORIO NACIONAL (<BOLETIN OFICIAL DEL ESTADO> DE 14 DE DICIEMBRE),

ESTE RECTORADO HA RESUELTO ORDENAR LA PUBLICACION DEL ACUERDO DEL CONSEJO DE UNIVERSIDADES QUE A CONTINUACION SE TRANSCRIBE, POR EL QUE SE HOMOLOGA EL REFERIDO PLAN DE ESTUDIOS, SEGUN FIGURA EN EL ANEXO:

VISTA LA SOLICITUD EFECTUADA POR EL RECTORADO DE LA UNIVERSIDAD DE GRANADA EN ORDEN A LA HOMOLOGACION DEL PLAN DE ESTUDIOS DE SEGUNDO CICLO DE LICENCIADO EN INFORMATICA DE LA FACULTAD DE CIENCIAS DE DICHA UNIVERSIDAD, Y CONFORMIDAD CON LO DISPUESTO EN LOS ARTICULOS 24, APARTADO 4.B), Y 29 DE LA LEY ORGANICA 11/1983, DE 25 DE AGOSTO, DE REFORMA UNIVERSITARIA,

ESTE CONSEJO DE UNIVERSIDADES, POR ACUERDO DE LA SUBCOMISION DE PLANES DE ESTUDIO I DE 6 DE OCTUBRE DE 1989 (EN USO DE LA FACULTAD CONFERIDA POR LA COMISION ACADEMICA EN SU REUNION DEL DIA 26 DE SEPTIEMBRE DE 1989), HA RESUELTO HOMOLOGAR EL PLAN DE ESTUDIOS DEL SEGUNDO CICLO DE LICENCIADO EN INFORMATICA DE LA FACULTAD DE CIENCIAS DE LA UNIVERSIDAD DE GRANADA, QUE QUEDARA ESTRUCTURADO CONFORME FIGURA EN EL ANEXO.

LO QUE COMUNICO A V. M. E.

PARA SU CONOCIMIENTO Y A EFECTOS DE LO PREVISTO EN EL ARTICULO 10.2 DEL REAL DECRETO 1497/1987, DE 27 DE NOVIEMBRE (<BOLETIN OFICIAL DEL ESTADO> DE 14 DE DICIEMBRE).

GRANADA, 8 DE ENERO DE 1990. EL RECTOR, PASCUAL RIVAS CARRERA.

ANEXO

PLAN DE ESTUDIOS DEL SEGUNDO CICLO DE LICENCIADO EN INFORMATICA DE LA FACULTAD DE CIENCIAS DE LA UNIVERSIDAD DE GRANADA

1. TITULO OFICIAL: LICENCIADO EN INFORMATICA.

2. PLAN DE ESTUDIOS DE SEGUNDO CICLO.

3. DURACION EN AÑOS ACADEMICOS: DOS AÑOS, SEGUNDO CICLO.

4. CENTRO RESPONSABLE DE LA ORGANIZACION DEL PLAN: FACULTAD DE CIENCIAS (GRANADA).

5. CARGA LECTIVA: 174 CREDITOS.

6. CREDITOS Y PORCENTAJE PARA LA LIBRE CONFIGURACION DE SU CURRICULUM POR EL ALUMNO: 18 CREDITOS.

7. NO SE EXIGE TRABAJO O EXAMEN DE FIN DE CARRERA.

8. REGIMEN DE ACCESO AL SEGUNDO CICLO: ESTAR EN POSESION DEL TITULO DE DIPLOMADO EN INFORMATICA O HABER SUPERADO EL PRIMER CICLO DE LA LICENCIATURA EN INFORMATICA.

CURSO / DENOMINACION / CREDITOS ANUALES (TEORICAS - PRACTICAS - TOTAL) / BREVE DESCRIPCION DEL CONTENIDO / ADSCRIPCION A AREAS DE CONOCIMIENTO

OBLIGATORIAS

4. COMPUTABILIDAD. 4.5 1.5 6 MODELOS ABSTRACTOS DE DATOS. PROGRAMAS Y FUNCIONES CALCULABLES. FUNCIONES RECURSIVAS. TESIS DE CHURCH-TUTING. MAQUINAS UNIVERSALES. DECIDIBILIDAD. PROGRAMAS NO CALCULABLES. CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL. LENGUAJES Y SISTEMAS INFORMATICOS.

4. LOGICA MATEMATICA. 4.5 1.5 6 LOGICA PROPOSICIONAL CLASICA. DEDUCCION NATURAL. LOGICAS PROPOSICIONALES NO CLASICAS. LOGICA DE PRIMER ORDEN. DEMOSTRACION AUTOMATICA DE TEOREMAS. PROGRAMACION LOGICA.

VERIFICACION LOGICA DE PROGRAMAS. ALGEBRA. CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL. LENGUAJES Y SISTEMAS INFORMATICOS.

4. PROGRAMACION CONCURRENTE. 4.5 3 7.5 PROBLEMAS DE EXCLUSION MUTUA. SEMAFOROS. MONITORES.

CITAS. PROBLEMAS CLASICOS DE PROGRAMACION CONCURRENTE.

LENGUAJES DE PROGRAMACION. TECNICA DE DISEÑO DE SISTEMAS EN TIEMPO REAL. LENGUAJES Y SISTEMAS INFORMATICOS. CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL.

4. TEORIA DE ALGORITMOS.

4.5 3 7.5 ANALISIS DE ALGORITMOS. TECNICAS DE DISEÑO DE ALGORITMOS. ALGORITMOS DE GRAFOS. ALGORITMOS PROBALISTICOS.

CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL. LENGUAJES Y SISTEMAS INFORMATICOS.

OPTATIVAS (A ELEGIR 6)

4. COMBINATORIA Y ESTRUCTURAS FINITAS. 4.5 1.5 6 CONJUNTOS FINITOS: SELECCIONES Y PARTICIONES.

ESTRUCTURAS ALGEBRAICAS SOBRE CONJUNTOS FINITOS. MULTIGRAFOS. REDES. ALGEBRA.

4.

DISEÑO Y CONTROL DE MODELOS. 4.5 3 7.5 INTRODUCCION A LA TEORIA DE SISTEMAS.

SIMULACION. DISEÑO E IMPLEMENTACION DE SISTEMAS. CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL. LENGUAJES Y SISTEMAS INFORMATICOS.

4.

DISEÑO Y GESTION DE BASES DE DATOS. 4.5 3 7.5 DISEÑO LOGICO. DISEÑO FISICO.

GESTION DE BASES DE DATOS. BASES DE DATOS DISTRIBUIDAS. LENGUAJES Y SISTEMAS INFORMATICOS. CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL.

4. MICROELECTRONICA. 4.5 4.5 9 DISPOSITIVOS SEMICONDUCTORES.

TECNOLOGIA DE CONSTRUCCION DE CIRCUITOS INTEGRADOS. DISEÑO DE CIRCUITOS INTEGRADOS <CUSTOM>: METODOLOGIA, REGLAS Y HERRAMIENTAS DE DISEÑO. DISEÑO DE CIRCUITOS INTEGRADOS <SEMICUSTOM>. ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES.

ELECTRONICA. TECNOLOGIA ELECTRONICA.

4. PROGRAMACION DIRIGIDA A OBJETOS.

4.5 3 7.5 OBJETOS, MENSAJES Y ENCAPSULACION. CLASES. HERENCIA. CATEGORIA DE CLASES. LENGUAJES DE PROGRAMACION. TECNICAS DE DISEÑO ORIENTADAS A OBJETOS. LENGUAJES Y SISTEMAS INFORMATICOS. CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL.

4. SISTEMAS DE CONTROL. 4.5 3 7.5 INTRODUCCION A LOS SISTEMAS DE CONTROL. PRINCIPIOS DE CONTROL. CONTROLADORES ANALOGICOS.

CONTROLADORES DIGITALES. CARACTERISTICAS DINAMICAS DE SISTEMAS DE REALIMENTADOS.

ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES. ELECTRONICA. TECNOLOGIA ELECTRONICA.

4. CIRCUITOS ANALOGICOS E HIBRIDOS. 4.5 3 7.5 AMPLIFICADORES.

GENERADORES Y CONFORMADORES DE SEÑALES. AMPLIFICADORES DE POTENCIA. FUENTES DE ALIMENTACION. CONTROL DE POTENCIA. CONVERSORES DE DATOS Y ADAPTADORES DE SEÑALES. ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES.

ELECTRONICA. TECNOLOGIA ELECTRONICA.

4. CIRCUITOS DE CONMUTACION.

4.5 3 3.5 CIRCUITOS SECUENCIALES ASINCRONOS Y DE PULSOS. DISEÑO REED-MULLER. DISEÑO ASM (MAQUINA DE ESTADOS ALGORITMICA). SINTESIS UTILIZANDO CIRCUITOS PROGRAMABLES.

CIRCUITOS SECUENCIALES. TEST DE CIRCUITOS DIGITALES. ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES. ELECTRONICA. TECNOLOGIA ELECTRONICA.

4.

COMPLEJIDAD ALGORITMICA. 4.5 1.5 6 COMPLEJIDAD ABSTRACTA. ACOTACIONES EN EL TIEMPO PARA MAQUINAS DE TURING. CLASES P Y NP. COMPLETITUD. CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL. LENGUAJES Y SISTEMAS INFORMATICOS.

4.

INFORMATICA GRAFICA. 4.5 4.5 9 SISTEMAS GRAFICOS. ALGORITMOS BASICOS DE DIBUJO. DIBUJO EN DOS DIMENSIONES. NORMALIZACIONES GRAFICAS. REPRESENTACION EN TRES DIMENSIONES. LENGUAJES Y SISTEMAS INFORMATICOS. CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL.

4. INTRODUCCION A LA ROBOTICA. 4.5 3 7.5 RESOLUCION DE PROBLEMAS CON ROBOT. PERCEPCION. SISTEMAS GENERADORES DE PLANES BASICOS. CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL. LENGUAJES Y SISTEMAS INFORMATICOS.

4. RESOLUCION DE PROBLEMAS.

4.5 3 7.5 FORMULACION Y DESCRIPCION DE PROBLEMAS. METODOS PARA LA RESOLUCION DE PROBLEMAS. PROBLEMAS DE DECISION. CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL. LENGUAJES Y SISTEMAS INFORMATICOS.

4. TEORIA DE AUTOMATAS Y LENGUAJES FORMALES. 4.5 3 7.5 AUTOMATAS FINITOS Y EXPRESIONES REGULARES. AUTOMATAS POST-DOWN Y LENGUAJES DE CONTEXTO LIBRE. MAQUINAS DE TURING. JERARQUIAS DE CHOMSKY Y OTRAS CLASES IMPORTANTES DE LENGUALES Y AUTOMATAS. CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL. LENGUAJES Y SISTEMAS INFORMATICOS. ALGEBRA.

OBLIGATORIAS

5. ARQUITECTURA DE COMPUTADORES. 4.5 3 7.5 ARQUITECTURAS PARALELAS. ARQUITECTURAS ORIENTADAS A APLICACIONES Y LENGUAJES. OTRAS TECNICAS DE MEJORA DE PRESTACIONES. IMPLANTACION HARDWARE DE ALGORITMOS. ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES.

ELECTRONICA. TECNOLOGIA ELECTRONICA.

5. INGENIERIA DEL CONOCIMIENTO.

4.5 4.5 9 ADQUISICION Y REPRESENTACION DEL CONOCIMIENTO. METODOS DE RAZONAMIENTO.

SISTEMAS BASADOS EN EL CONOCIMIENTO. CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL. LENGUAJES Y SISTEMAS INFORMATICOS.

5. INGENIERIA DEL SOFTWARE.

6 4.5 10.5 ANALISIS Y DEFINICION DE REQUISITOS. PROTOTIPOS SOFTWARE.

REUSABILIDAD DEL SOFTWARE. CONTROL DE MODIFICACIONES. PLANIFICACION Y GESTION DE PROYECTOS INFORMATICOS. MANTENIMIENTO DEL SOFTWARE. LENGUAJES Y SISTEMAS INFORMATICOS. CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL.

5.

PROCESADORES DE LENGUALES. 4.5 3 7.5 COMPILADDORES, TRADUCTORES E INTERPRETES. FASES DE LA COMPILACION. OPTIMIZACION DE CODIGO MACROPROCESADORES. LENGUAJES Y SISTEMAS INFORMATICOS. CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL.

5. PROYECTOS INFORMATICOS. 12 12 METODOLOGIA PARA LA REALIZACION DE PROYECTO INFORMATICO. HERRAMIENTAS PARA EL DISEÑO DE SISTEMAS INFORMATICOS. REALIZACION DE PROYECTOS INFORMATICOS. ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES. ALGEBRA. CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL. ELECTRONICA. LENGUAJES Y SISTEMAS INFORMATICOS.

MATEMATICA APLICADA.

5. TRANSMISION DE DATOS Y REDES DE COMPUTADORAS.

4.5 3 7.5 TRANSMISION DE LA INFORMACION. MODELO DE REFERENCIA ISO: REDES DE AREA AMPLIA Y REDES LOCALES. DISEÑO DE REDES. ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES. LENGUAJES Y SISTEMAS INFORMATICOS. ELECTRONICA. TECNOLOGIA ELECTRONICA.

OPTATIVAS (A ELEGIR 4)

5. CONTROL DIGITAL Y ROBOTICA.

4.5 3 7.5 SISTEMAS DE REGULACION DIGITALES. ANALISIS Y DISEÑO DE CONTROLADORES DIGITALES. CINMATICA Y DINAMICA DE ROBOTS. GENERACION Y CONTROL DE TRAYECTORIAS. PROGRAMACION Y APRENDIZAJE.

ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES.

ELECTRONICA. TECNOLOGIA ELECTRONICA.

5. DISEÑO ASISTIDO POR COMPUTADORA. 4.5 4.5 9 FUNDAMENTOS DE HARDWARE. ENTORNO A SOFTWARE.

MODELOS. SIMULACION. DOCUMENTACION DEL MODELO. BASES DE DATOS PARA CAD.

LENGUAJES Y SISTEMAS INFORMATICOS. CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL.

5. ELEMENTOS DE ENTRADA/SALIDA Y PERIFERICOS. 4.5 3 7.5 SENSORES Y TRANSDUCTORES. ACTUADORES Y ELEMENTOS DE CONTROL. INTERFASES.

DISPOSITIVOS DE ENTRADA. DISPOSITIVOS DE SALIDA.

DISPOSITIVOS DE MEMORIA MASIVA.

ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES. ELECTRONICA. TECNOLOGIA ELECTRONICA.

5. LENGUAJES DE LA INTELIGENCIA ARTIFICIAL. 4.5 4.5 9 COMPRENSION Y MANIPULACION DE SIMBOLOS. PRIMITIVAS BASICAS DE LISP. RECURSION E INTERACION.

ASOCIACION DE LISTAS. COMPLEMENTOS. CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL. LENGUAJES Y SISTEMAS INFORMATICOS.

5. LOGICA MATEMATICA (AMPLIACION). 4.5 3 7.5 LOGICA COMBINATORIA Y LAMBDA-CALCULO. SEMANTICA OPERACIONAL, DENOTACIONAL Y ALGEBRAICA. LOGICAS INTUICIONISTAS, INTERMEDIAS, MODALES Y DINAMICA. LOGICAS POLIVALENTE Y SU INTERPRETACION COMPUTACIONAL. LOGICAS NO MODALES Y AUTOEPISTEMICAS. LOGICA TEMPORAL.

ALGEBRA.

5. MODELOS DE LA INTELIGENCIA ARTIFICIAL. 4.5 3 7.5 RESOLUCION DE JUEGOS. APRENDIZAJE DE LA EXPERIENCIA. DESCRIPCION DE SISTEMAS EXPERTOS.

CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL. LENGUAJES Y SISTEMAS INFORMATICOS.

5. PROCESADORES DE LENGUALES (AMPLIACION).

4.5 1.5 6 PROCESADORES DE LENGUALES DE PROGRAMACION.

CONTROL DE SECUENCIA. CONTROL DE DATOS.

GESTION DE MEMORIA. COMPILACION. ENTORNOS OPERATIVOS Y DE PROGRAMACION.

LENGUAJES Y SISTEMAS INFORMATICOS. CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL.

5. SISTEMAS OPERATIVOS (AMPLIACION). 4.5 1.5 6 DISEÑO DEL NUCLEO DEL SISTEMA. GESTION DE MEMORIA. TRATAMIENTO DE INTERRUPCIONES.

MANEJADOR DE DISCO. DISEÑO DE UN PLANIFICADOR EN TIEMPO REAL. FICHEROS Y DISPOSITIVOS. TRATAMIENTO DE EXCEPCIONES.

CONFIGURACION DEL SISTEMA. LENGUAJES Y SISTEMAS INFORMATICOS. CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL. ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES.

5. TEORIA ALGEBRAICA DE CODIGOS Y CRIPTOGRAFIA. 4.5 3 7.5 CODIGOS GRUPO BINARIOS.

CODIGOS HAMNING. CODIGOS POLINOMIALES.

CODIGOS N-ARIOS. INTRODUCCION A LA TEORIA DE NUMEROS Y ARITMETICA MODULAR. CRIPTOSISTEMAS Y CRIPTOFUNCIONES.

CRIPTOSISTEMAS DE CLAVE PUBLICA. ANALISIS DE CRIPTOSISTEMAS. ALGEBRA. CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL. LENGUAJES Y SISTEMAS INFORMATICOS.

5. TEORIA DE LA INFORMACION Y CODIFICACION. 4.5 1.5 6 INFORMACION Y COMUNICACION. TEORIA DE LA INFORMACION. CODIFICACION. CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL. LENGUAJES Y SISTEMAS INFORMATICOS.

5.

TEORIAS DE SEÑAL Y DE COMUNICACIONES. 4.5 1.5 6 REPRESENTACION DIGITAL DE SEÑALES. TRANSFORMADAS PARA TRATAMIENTO DIGITAL. FILTROS DIGITALES.

CIRCUITOS PARA MODULACION CONTINUAS Y DISCONTINUAS. TRANSMISION DE PULSOS.

ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES.

ELECTRONICA. TECNOLOGIA ELECTRONICA.