| |
 |
 |
Nº Horas:
320 |
|
|
|
Titulación:
Doctorado En Sistemas Informáticos y Programación. |
|
|
Bolsa de Trabajo: consultar |
|
| |
|
Objetivos: |
| |
|
- Agentes Software
- Demostración Automática
- Combinación De Paradigmas De Programación Declarativa
- Desarrollo De Sistemas Distribuidos
- Programación Funcional Concurrente
- Reutilización De Software
- Sistemas Basados En El Conocimiento
- Sistemas De Información
- Utilización De Técnicas Formales En La Modelización De Sistemas
|
|
| |
|
Metodología: |
| |
|
consultar |
|
| |
|
Programa: |
| |
|
1/ Cursos De Carácter Fundamental:
-------------------------------
001 Diseño Integral De Software Con Maude
Créditos: 5,00
el Curso Será Impartido Por: Dra. Margarita Bradley Delso
dra. Maria Ines Fernandez Camacho, Dra. Yolanda Ortega Mallen
y Dr. Narciso Marti Oliet
esta Asignatura Se Impartirá En El Centro:
12200 Facultad De Informatica
--------------------
002 Implementación De Lenguajes Funcionales
Créditos: 4,00
el Curso Será Impartido Por: Dr. Narciso Marti Oliet
dra. Yolanda Ortega Mallen, Dr. Ricardo Peña Mari
y Dr. Cristobal Pareja Flores
esta Asignatura Se Impartirá En El Centro:
12200 Facultad De Informatica
--------------------
003 Técnicas Para El Desarrollo De Software Distribuido
Créditos: 4,00
el Curso Será Impartido Por: Dr. David De Frutos Escrig
dr. Manuel Nuñez Garcia, Dr. Luis Fernando Llana Diaz
esta Asignatura Se Impartirá En El Centro:
11600 Facultad De Ciencias Matematicas
--------------------
004 Procesamiento De Lenguaje Natural
Créditos: 4,00
el Curso Será Impartido Por: Dr. Antonio Vaquero Sanchez
dra. Maria Lourdes Araujo Serna, Dra. Raquel Martinez Unanue
esta Asignatura Se Impartirá En El Centro:
12200 Facultad De Informatica
--------------------
005 Técnicas Avanzadas De Tratamiento De La Información
Créditos: 4,00
el Curso Será Impartido Por: Dr. Baltasar Fernandez Manjon
dr. Alfredo Fernandez-valmayor Crespo, Dr. Pedro Antonio Gonzalez Calero
esta Asignatura Se Impartirá En El Centro:
12200 Facultad De Informatica
--------------------
006 Componentes Reutilizables
Créditos: 3,00
el Curso Será Impartido Por: Dr. Pedro Antonio Gonzalez Calero
dr. Luis Antonio Hernandez Yañez, Dr. Juan Luis Pavon Mestras
esta Asignatura Se Impartirá En El Centro:
12200 Facultad De Informatica
------------------------------------
007 Agentes Software
Créditos: 4,00
el Curso Será Impartido Por: Dr. Juan Luis Pavon Mestras
dra. Maria Del Carmen Fernandez Chamizo
dr/a. Luis Javier Garcia Villalba
esta Asignatura Se Impartirá En El Centro:
12200 Facultad De Informatica
--------------------
008 Demostración Automática
Créditos: 4,00
el Curso Será Impartido Por: Dr. Antonio Gavilanes Franco
dr. Javier Leach Albert, Dra. Susana Nieva Soto
esta Asignatura Se Impartirá En El Centro:
12200 Facultad De Informatica
--------------------
009 Sistemas De Programación Lógico-funcional
Créditos: 4,00
el Curso Será Impartido Por: Dr. Juan Carlos Gonzalez Moreno
dr. Francisco Javier Lopez Fraguas, Dr. Mario Rodriguez Artalejo
esta Asignatura Se Impartirá En El Centro:
12200 Facultad De Informatica
--------------------
010 Resolución De Problemas De Planificación Con Técnicas De Restricciones
Créditos: 3,00
el Curso Será Impartido Por: Dra. Maria Teresa Hortala Gonzalez
y Dr. Fernando Saenz Perez
esta Asignatura Se Impartirá En El Centro:
12200 Facultad De Informatica
--------------------
011 Programación Declarativa Orintada a Objetos
Créditos: 4,00
el Curso Será Impartido Por: Dra. Purificacion Arenas Sanchez
dr. Antonio Gavilanes Franco, Dra. Ana Gil Luezas
esta Asignatura Se Impartirá En El Centro:
12200 Facultad De Informatica
---------------------------------------------------------------------------
Periodo De Investigacion
------------------------
4/ Trabajos De Investigación Ofertados:
------------------------------------
012 Generación De Código Para Lenguajes Funcionales Perezosos
Créditos: 12,00
dirigido Por: Dr. Ricardo Peña Mari
áreas De Conocimiento a Las Que Se Adscribe El Trabajo:
075 Ciencia De La Computacion e Inteligencia Artificia
570 Lenguajes y Sistemas Informaticos
--------------------
014 Relaciones Entre La Lógica De Reescritura y Los Calculos De Programación Lógico-funcional Créditos: 12,00
dirigido Por: Dr. Narciso Marti Oliet
áreas De Conocimiento a Las Que Se Adscribe El Trabajo:
075 Ciencia De La Computacion e Inteligencia Artificia
570 Lenguajes y Sistemas Informaticos
--------------------
018 Especificación y Análisis Formal De Programas Funcional-concurrentes
Créditos: 12,00
dirigido Por: Dra. Yolanda Ortega Mallen
áreas De Conocimiento a Las Que Se Adscribe El Trabajo:
075 Ciencia De La Computacion e Inteligencia Artificia
570 Lenguajes y Sistemas Informaticos
5/ Temas De Investigación Ofertados:
---------------------------------
013 Programación Declarativa Con Multiconjuntos
Créditos: 12,00
dirigido Por: Dra. Purificacion Arenas Sanchez
y Dra. Ana Gil Luezas
áreas De Conocimiento a Las Que Se Adscribe El Tema:
075 Ciencia De La Computacion e Inteligencia Artificia
570 Lenguajes y Sistemas Informaticos
--------------------
015 Técnicas Avanzadas De Tratamiento De La Información
Créditos: 12,00
dirigido Por: Dr. Alfredo Fernandez-valmayor Crespo
y Dr. Baltasar Fernandez Manjon
áreas De Conocimiento a Las Que Se Adscribe El Tema:
075 Ciencia De La Computacion e Inteligencia Artificia
570 Lenguajes y Sistemas Informaticos
------------------------------------
016 Tecnicas De Implementación Para Sistemas Lógico-funcionales
Créditos: 12,00
dirigido Por: Dr. Juan Carlos Gonzalez Moreno
dra. Maria Teresa Hortala Gonzalez, Dr. Mario Rodriguez Artalejo
áreas De Conocimiento a Las Que Se Adscribe El Tema:
075 Ciencia De La Computacion e Inteligencia Artificia
570 Lenguajes y Sistemas Informaticos
--------------------
017 Agentes Software
Créditos: 12,00
dirigido Por: Dra. Maria Del Carmen Fernandez Chamizo
dr. Juan Luis Pavon Mestras, Dr. Pedro Antonio Gonzalez Calero
áreas De Conocimiento a Las Que Se Adscribe El Tema:
075 Ciencia De La Computacion e Inteligencia Artificia
570 Lenguajes y Sistemas Informaticos
|
|
| |
|
Requisitos de acceso: |
| |
|
Ver Observaciones |
|
| |
|
Observaciones: |
| |
|
-- Requisitos De Admisión --
- Titulación En Ingeniero En Informática, u Otra Titulación Superior De Carácter Universitario Que Presente Un Contenido Similar En Asignaturas
de Las Áreas De Conocimiento Del Departamento De Sistemas Informáticos y
programación
el Programa Oferta Un Total De 11 Cursos Divididos En:
1/ Carácter Fundamental,nº De Cursos: 11, Créditos: 43
2/ Carácter Metodológico,nº De Cursos: 0, Créditos: 0
3/ Campos Afines,nº De Cursos: 0, Créditos: 0
4/ Trabajos De Investigación, Nº De Cursos: 3, Créditos: 36
5/ Temas De Investigación, Nº De Cursos: 4, Créditos: 48
plazas Disponibles En El Periodo De Investigación Para Nuevos Alumnos:1
|
|
|
Acceso Centros
Publica tus cursos
Acceso a Usuarios
Cursos en tu email
