|
|
|
Curso Experto Universitario en Lógica Computacional: Verificación de Sistemas y Gestión del Conocimiento
|
|
|
|
|
| |
|
|
Temario: |
I) Fundamentos de Sistemas Lógicos
II) Ingeniería Lógica: Complejidad y Algoritmos
III) Aplicaciones Lógicas para la Gestión del Conocimiento - Sistemas Expertos, Ontologias, Web Semántica, etc. IV) Aplicaciones Lógicas para la Verificación de Sistemas - Model Checking, Autómatas, etc.
V) Estado del Arte en Demostración Automática - Herramientas (SPIN, SPASS, RACER), modo de uso, heurísticas y optimizaciones |
|
|
Objetivos del curso: |
|
Con la novena edición del Curso de Especialización Universitaria sobre "Ciencia, Tecnología y Sociedad: Perspectivas Sociológicas", se pretende profundizar en la comprensión de la Ciencia y la Tecnología como procesos sociales. Objetivos: Ofrecer una formación interdisciplinar adecuada, que permita preparar especialistas en la comrensión, análisis y evaluación de los avances científicos-tecnológicos, y sus impactos sociales Desarrollar exhaustivamente las áreas de este campo temático. Desarrollar un análisis prospectivo de la evolución previsible de la Ciencia y la Tecnología, y sus impactos sociales, estableciendo escenarios de futuro que permitan aplicar las modernas tecnologías de evaluación de impactos en tres áreas fundamentales: Ingeniería Genética, Tecnologías de la Información y la Comunicación, y Robótica Desarrollar los contenidos curriculares de la asignatura Ciencia, Tecnología y Sociedad |
|
|
¿A quién va dirigido?:
|
|
Destinado a diplomados o licenciados con interés en las aplicaciones prácticas de los sistemas lógicos más eficientemente utilizados. Se facilitará suficiente soporte teórico como para que no sea necesario un conocimiento previo en Lógica. El alumno deberá incluir en el sobre de matrícula de la UNED fotocopia compulsada del título oficial que le da acceso al curso. |
|
|
Metodología y Material didáctico:
|
|
La metodología del curso es la propia de la UNED, basada en la enseñanza a distancia, lo que permite al alumno/a seguir el curso cualquiera que sea su lugar de residencia, compatibilizándolo con sus responsabilidades laborales y familiares, y realizando unos desplazamientos mínimos, obteniendo una formación adecuada a partir de: - Material didáctico: se entregarán editados los 29 temas del programa, correspondientes a los dos bloques temáticos en los que se divide el curso. Incluyen bibliografía, propuestas de investigación, casos prácticos de evaluación de tecnlogías, material para los alumnos de Bachillerato que cursan la asignatura Ciencia, Tecnología y Sociedad, y textos fundamentales sobre "Ciencia, Tecnología y Sociedad". -Cuadernos de evaluación: tres cuadernos de evaluación a distancia, que deberán cumplimentarse y remitirse a la secretaría del curso trimestralmente. - Tres sesiones presenciales, con la finalidad de presentar el curso, invitar a reputados especialistas en la materia, interrelacionarse con los profesores del curso y alumnos/as, puesta en común, tratamiento de aspectos esenciales, presentación y análisis de metodologías prospectivas, etc... Las sesiones se desarrollarán en los locales de la UNED de Madrid, y se intentará establecer conexión directa a través de Internet, con sistemas de audio y video. Las sesiones presenciales suponen un total de 60 horas presenciales sobre el total de 400 horas de que consta el curso. - Trabajo de investigación, dirigido por un profesor doctor, en una de las áreas del curso |
|
|
|
Otras Cuestiones: |
|
Inicio: Noviembre |
|
| |
| |
|
|
|
| |
|
|
Otros cursos de UNED:
|
|
|
