Source: https://guiae.uclm.es/vistaPrevia/27564/999
Timestamp: 2017-09-22 00:46:08+00:00

Document:
GUÍA DOCENTE DE LA ASIGNATURA: TEORÍA DE AUTÓMATAS Y COMPUTACIÓN
Asignatura: TEORÍA DE AUTÓMATAS Y COMPUTACIÓN Código: 42342
Centro: (604) E.S. DE INGENIERIA INFORMATICA ALBACETE Grupo(s): 15
Uso docente de otras lenguas: Material complementario (bibliografía, artículos) en inglés. English Friendly: No
Nombre del profesor: FERNANDO CUARTERO GOMEZ - Grupo(s) impartido(s):
1.A.10 SISTEMAS INFORMÁTICOS 2478 fernando.cuartero@uclm.es Lunes y Martes de 10:00 a 12:00
Lunes, de 18:00 a 20:00
Nombre del profesor: FERNANDO LOPEZ PELAYO - Grupo(s) impartido(s): 15
- Ser capaz de trabajar dentro de un marco matemático y formal, y conocer la sintaxis de un lenguaje de programación.
- Poseer cierta capacidad de abstracción que le permita fijarse en las ideas y conceptos claves por encima de los detalles y la notación utilizada.
En esta materia, donde se fundamenta y se establece la base teórica de los estudios, se encuentran los conceptos que se estudian y se usan en casi todas las demás materias. Qué es un lenguaje de programación, cómo y porqué se define de la forma en que se hace. Cual es el mecanismo en el que se traduce a un formalismo entendible por una máquina, y porqué es precisamente ese. Y cuáles son las limitaciones que se pueden encontrar, entre muchos otros.
Los objetivos fundamentales son dos. En primer lugar exponer al alumno aquellos conceptos de teoría de lenguajes formales que sean aplicables en el ámbito de la informática: definición de lenguaje formal, herramientas para el procesamiento de lenguajes formales, objetivos de ese procesamiento, etc. En segundo lugar, conectar estos conceptos formales con otros conceptos que se utilizan ampliamente a lo largo de la carrera, entre ellos todos los relacionados con los lenguajes de programación.
Tema 3 Gramáticas formales.
Tema 4 Autómatas finitos.
Tema 5 Expresiones regulares.
Tema 6 Propiedades de los lenguajes regulares.
Tema 7 Gramáticas libres del contexto.
Tema 8 Autómatas con pila.
Tema 9 Máquinas de Turing.
Enseñanza presencial (Teoría) [PRESENCIAL] Combinación de métodos CM1, CM2, INS1 0.56 14.00 Sí Sí Sí Clase (grupos grandes)
Resolución de problemas o casos [PRESENCIAL] Resolución de ejercicios y problemas CM1, CM2, INS1, INS5, PER2, SIS1, UCLM3 0.56 14.00 Sí Sí Sí Clase (grupos grandes)
Resolución de problemas o casos [PRESENCIAL] Resolución de ejercicios y problemas CM1, CM2, INS1, PER2, SIS1, SIS3, UCLM3 0.96 24.00 Sí Sí Sí Prácticas de laboratorio
Pruebas de progreso [PRESENCIAL] Pruebas de evaluación CM1, CM2, INS1, PER2, SIS1, UCLM3 0.24 6.00 Sí Sí Sí Controles periódicos
Presentación de trabajos o temas [PRESENCIAL] Trabajo en grupo INS1, PER2, SIS1, UCLM3 0.80 20.00 Sí Sí Sí Defensa de trabajo realizado
Estudio o preparación de pruebas [AUTÓNOMA] Autoaprendizaje CM1, CM2, INS1, PER2, SIS1 2.40 60.00 Sí Sí Sí Repaso y ampliación de temas. Resolución de ejercicios. Terminar prácticas. Preparación de Controles.
Foros y debates en clase [PRESENCIAL] Debates INS1, PER2, SIS1, UCLM3 0.24 6.00 Sí Sí Sí Presentación de tranbajos de temática horizontal
Prueba final [PRESENCIAL] CM1, CM2, INS1, PER2, SIS1, UCLM3 0.24 6.00 Sí No Sí Examen extraordinario
Prueba 50.00% 0.00% Se realizarán exámenes parciales y, en caso necesario, una prueba final de la asignatura.
Trabajo 20.00% 0.00% Trabajos relacionados con la temática de la asignatura. (INF)
Actividades de autoevaluación y coevaluación 20.00% 0.00% Realización de prácticas de laboratorio, incluida la memoria de prácticas. (LAB)
Presentación oral de temas 10.00% 0.00% Exposición oral de trabajos individuales o de grupo.
Prueba escrita, con un peso del 50%.
Trabajos prácticos, bien individuales o en equipo: 20%.
Será requisito obligado la entrega de los trabajos de prácticas, con un peso del 20%.
Foros y debates en clase [PRESENCIAL] [Debates] (6 h tot.) 4
Prueba final [PRESENCIAL] (6 h tot.) 6
Enseñanza presencial (Teoría) [PRESENCIAL] [Combinación de métodos] (14 h tot.) 1
Estudio o preparación de pruebas [AUTÓNOMA] [Autoaprendizaje] (60 h tot.) 2
Foros y debates en clase [PRESENCIAL] [Debates] (6 h tot.) 1
Resolución de problemas o casos [PRESENCIAL] [Resolución de ejercicios y problemas] (14 h tot.) 2
Enseñanza presencial (Teoría) [PRESENCIAL] [Combinación de métodos] (14 h tot.) 2
Resolución de problemas o casos [PRESENCIAL] [Resolución de ejercicios y problemas] (24 h tot.) 4
Presentación de trabajos o temas [PRESENCIAL] [Trabajo en grupo] (20 h tot.) 4
Estudio o preparación de pruebas [AUTÓNOMA] [Autoaprendizaje] (60 h tot.) 10
Periodo temporal: Semana 6-7
Periodo temporal: Semana 8-9
Periodo temporal: Semana 12-13
Estudio o preparación de pruebas [AUTÓNOMA] [Autoaprendizaje] (60 h tot.) 4
Enseñanza presencial (Teoría) [PRESENCIAL] [Combinación de métodos] 14
Resolución de problemas o casos [PRESENCIAL] [Resolución de ejercicios y problemas] 14
Resolución de problemas o casos [PRESENCIAL] [Resolución de ejercicios y problemas] 24
Estudio o preparación de pruebas [AUTÓNOMA] [Autoaprendizaje] 60
Prueba final [PRESENCIAL] [] 6
F. Sande González Prácticas de teoría de autómatas y lenguajes formales Gobierno de Canarias Tenerife 2001 Texto para prácticas de la asignatura http://www.gobiernodecanarias.org/educacion/dgoie/publicace/scripts/detalle.asp?p=477
Isasi P., Martínez P., Borrajo D Lenguajes, Gramáticas y Autómatas. Un enfoque práctico Addison Wesley 9788478290147 http://www.casadellibro.com/libro-lenguajes-gramaticas-y-automatas-un-enfoque-practico/9788478290147/792972

References: Resolución 
 Resolución 

Resolución 
 Resolución 
 Resolución 

Resolución 

Resolución 

Resolución 

Resolución