Guía Docente MODELOS DE COMPUTACIÓN CURSO 1, SEMESTRE 2 GRADO: ING. DE SISTEMAS DE INFORMACIÓN MODALIDAD: PRESENCIAL CURSO 2016/2017 FACULTAD ESCUELA POLITÉCNICA SUPERIOR
1. IDENTIFICACIÓN DE LA ASIGNATURA 1.- ASIGNATURA: Nombre: Modelos de Computación Código: c112 Curso(s) en el que se imparte: 1 Semestre(s) en el que se imparte: 2 Carácter: Básica ECTS: 6 Horas ECTS: 25 Idioma: Español Modalidad: Presencial Grado en que se imparte la asignatura: Ingeniería de Sistemas de Información Facultad en la que se imparte la titulación: Escuela Politécnica Superior 2.- ORGANIZACIÓN DE LA ASIGNATURA: Departamento: Tecnologías de la Información Área de conocimiento: Ciencia de la Computación e Inteligencia Artificial 2. PROFESORADO DE LA ASIGNATURA 1.- IDENTIFICACIÓN DEL PROFESORADO: Responsable de Asignatura Nombre: Tlfno (ext): Email: Despacho: Perfil Docente e Investigador Líneas de Investigación: DATOS DE CONTACTO Sergio Saugar García Por determinar Por determinar Por determinar Doctor en Ingeniería Informática y Nuevas Tecnologías de la Información por la Universidad Rey Juan Carlos Sistemas distribuidos, Middleware, Arquitecturas de Middleware Social, Arquitecturas Web, RESTful Web Services, Lenguajes de Programación Sociales, Inteligencia Artificial, Sistemas Multiagente 2.- ACCIÓN TUTORIAL: Para todas las consultas relativas a la asignatura, los alumnos pueden contactar con el/los profesores a través del e-mail, del teléfono y en el despacho a las horas de tutoría que se harán públicas, en el portal del alumno. 3. DESCRIPCIÓN DE LA ASIGNATURA 2
Esta asignatura, englobada dentro de la informática teórica, presenta diferentes modelos de computación esenciales en la informática moderna tal y como la conocemos. De esta manera, se introduce la relación entre lenguajes formales y máquinas que los reconocen, esencial para la comprensión del funcionamiento de los compiladores e intérpretes actuales. Así como el modelo de computación definido por Alan Turing, que conforma la base actual de los ordenadores que utilizamos. 1.- COMPETENCIAS: 4. COMPETENCIAS Código CG1 CB2 Competencias Básicas y Generales Cognitivos, como solución de problemas, pensamiento analítico y sistémico, emitir juicios documentados, uso eficiente de información, dirigir observaciones, investigaciones, inventar y crear cosas nuevas, analizar datos, presentar datos, expresión oral y escrita. Que los estudiantes sepan aplicar sus conocimientos a su trabajo o vocación de una forma profesional y posean las competencias que suelen demostrarse por medio de la elaboración y defensa de argumentos y la resolución de problemas dentro de su área de estudio. Código BAS-3 Competencias Específicas Capacidad para comprender y dominar los conceptos básicos de matemática discreta, lógica, algorítmica y complejidad computacional, y su aplicación para la resolución de problemas propios de la ingeniería. 2.- RESULTADOS DE APRENDIZAJE: Código Resultados de Aprendizaje RAEB-4 Entender los conceptos básicos de teoría de autómatas y lenguajes formales. RAEB-5 Ser capaz de representar datos mediante lenguajes formales. RAEB-6 Ser capaz de modelar controladores utilizando máquinas secuenciales. Utilizar modelos de computación de tipo 3 en la resolución de problemas 5. ACTIVIDADES FORMATIVAS 1.- DISTRIBUCIÓN TRABAJO DEL ESTUDIANTE: Total Horas de la Asignatura 150 Código Nombre Horas Presenciales AF1 Clase magistral 8 AF2 Seminario 26 AF3 Taller, seminario de grupo o tutoría académica 10 3
AF4 Prácticas 10 AF5 Otras 2 TOTAL Horas Presenciales 56 Código Nombre Horas No Presenciales Trabajo Autónomo del Estudiante 94 2.- DESCRIPCIÓN ACTIVIDADES FORMATIVAS: Actividad Clase magistral Seminario Taller, seminario de grupo o tutoría académica Prácticas Definición Actividad formativa orientada preferentemente a la competencia de adquisición de conocimiento (competencia 1 RD 861) y representativa de las materias más teóricas. Prioriza la transmisión de conocimientos por parte del profesor, exigiendo al alumno la preparación previa o el estudio posterior. Actividad formativa que potencia la participación del alumno en la interpretación razonada de los conocimientos y de las fuentes del área de estudio. Se orientada preferentemente a la competencia de aplicación de los conocimientos (competencia 2 RD 861), así como a la capacidad de reunir, interpretar y juzgar información y datos relevantes (competencia 3 RD 861). Es representativa de las materias o actividades de perfil mixto, teóricas - práctico. Actividad formativa orientada preferentemente a la competencia de adquisición de habilidades para la transmisión de conocimientos (competencia 4 RD 861) y representativa de las materias de carácter más metodológico. Prepara al alumno para la comunicación escrita - oral y la transmisión de conocimientos. Actividad formativa orientada preferentemente a la competencia de aplicación de los conocimientos (competencia 2 RD 861) y representativa de las materias o actividades prácticas (laboratorios, trabajos de campo, prácticas tuteladas, prácticas regladas, prácticas asistenciales, prácticum, etc.). 6. SISTEMAS Y CRITERIOS DE EVALUACIÓN 1.- ASISTENCIA A CLASE: Para poder acogerse al sistema de evaluación continua es precisa la asistencia al 75% de las clases de teoría (se realizarán controles de asistencia). Ya que el alumno puede faltar el 25% del total de las clases, no se admitirán justificaciones de ausencia. 2.- SISTEMAS Y CRITERIOS DE EVALUACIÓN: CONVOCATORIA ORDINARIA (Evaluación Continua) 4
Código Nombre Peso COR1 Examen intermedio 20% COR2 Examen final 45% COR3 Prácticas 30% COR4 Trabajo individual 5% CONVOCATORIA EXTRAORDINARIA Código Nombre Peso CEXT1 Examen extraordinario 100% 3.- DESCRIPCIÓN SISTEMAS DE EVALUACIÓN: Sistemas de Evaluación Examen intermedio Examen final Prácticas Definición Examen escrito con aproximadamente un 10% tipo test (o prueba objetiva), un 25% de preguntas de razonamiento y un 65% de problemas, ejercicios, supuestos, etc. Examen escrito con aproximadamente un 10% tipo test (o prueba objetiva), un 25% de preguntas de razonamiento y un 65% de problemas, ejercicios, supuestos, etc. Es imprescindible obtener un 5 sobre 10 en este examen para poder aprobar la asignatura. Los alumnos desarrollarán un proyecto basado en el diseño e implementación de un programa a lo largo de la asignatura. La nota final de prácticas estará desglosada de la siguiente manera: o Memoria: 15% o Producto: : 50% o Defensa de la práctica: 35% Es imprescindible aprobar la práctica para poder aprobar la asignatura. Trabajo individual Examen extraordinario El alumno deberá elaborar un artículo, tutorial, noticia, etc. que sea de interés para sus compañeros. El alumno que no supere la asignatura en la convocatoria ordinaria tendrá la opción de presentarse a la convocatoria extraordinaria. Esta convocatoria constará de una prueba presencial única (CEXT1) que determinará la calificación final de la asignatura, sin tener en cuenta su rendimiento académico en la convocatoria ordinaria. 1.- PROGRAMA DE LA ASIGNATURA: 7. PROGRAMA DE LA ASIGNATURA 5
PROGRAMA TEÓRICO: INTRODUCCIÓN A LOS MODELOS DE COMPUTACIÓN o Justificación de la asignatura. o Visión panorámica de la asignatura. CONCEPTOS BÁSICOS SOBRE LENGUAJES FORMALES o Palabras y operaciones sobre palabras. o Lenguajes y operaciones sobre lenguajes. o Gramáticas y tipos de gramáticas. EXPRESIONES REGULARES o Definición de expresión regular. o Representación mediante expresiones regulares. o Equivalencia entre lenguajes y expresiones regulares. o Uso de una API de reconocimiento de expresiones regulares. LENGUAJES DE TIPO 2 o Modelización mediante gramáticas libres del contexto. o Lenguajes prácticos de tipo 2. o APIs de tratamiento de lenguajes de tipo 2. MÁQUINAS SECUENCIALES o Máquinas de Mealy y máquinas de Moore. o Modelización mediante máquinas secuenciales. o Minimización de autómatas secuenciales. o Patrón de diseño para implementar máquinas secuenciales. AUTÓMATAS FINITOS o Autómatas finitos deterministas y no deterministas. o Minimización de autómatas. o Equivalencias entre modelos de nivel 3. AUTÓMATAS A PILA o Definición de autómata a pila. o Equivalencia entre autómatas a pilas y gramáticas libre del contexto. MÁQUINAS DE TURING o El papel de la máquina de Turing en la ciencia de la computación. o Definición de máquina de Turing. o La máquina de Turing universal. o Máquina de Turing y complejidad de algoritmos. COMPUTACIÓN ALTERNATIVA o Computación con ADN. o Computación cuántica. PROGRAMA DE PRÁCTICAS: Procesamiento de lenguajes formales de aplicación práctica. 8. BIBLIOGRAFÍA DE LA ASIGNATURA 1.- BIBLIOGRAFÍA BÁSICA: INTRODUCCIÓN A LA TEORÍA DE AUTÓMATAS, LENGUAJES Y COMPUTACIÓN. J.E. Hopcroft, R. Motwani, J.D. Ullman. Addison-Weley 2.- BIBLIOGRAFÍA COMPLEMENTARIA: 6
TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES. Alfonseca-Cubero E, Alfonseca-Moreno M, Moriyón- Salomón R. McGraw-Hill, Madrid, España INTRODUCTION TO THE THEORY OF COMPUTATION. M. Sypser. Course Technology 4.- RECURSOS WEB DE UTILIDAD: Curso del MIT de Autómatas, computabilidad y complejidad: http://ocw.mit.edu/ocwweb/electrical-engineeringand-computer-science/6-045jspring-2005/coursehome/index.htm 1.- NORMAS: 9. NORMAS DE COMPORTAMIENTO Las faltas en la Integridad Académica (ausencia de citación de fuentes, plagios de trabajos o uso indebido/prohibido de información durante los exámenes), así como firmar en la hoja de asistencia por un compañero que no está en clase, implicarán la pérdida de la evaluación continua, sin perjuicio de las acciones sancionadoras que estén establecidas. 7