Plan docente de la asignatura

 

 

Català Castellano English Cerrar imatge de maquetació

 

Imprimir

 

Datos generales

 

Nombre de la asignatura: Lógica y Lenguajes

Código de la asignatura: 364310

Curso académico: 2021-2022

Coordinación: Juan Carlos Martinez Alonso

Departamento: Departamento de Matemáticas e Informática

créditos: 6

Programa único: S

 

 

Horas estimadas de dedicación

Horas totales 150

 

Actividades presenciales y/o no presenciales

60

 

-  Teoría

Presencial

 

30

 

(presencial y no presencial)

 

-  Prácticas de problemas

Presencial

 

30

 

(presencial y no presencial)

Trabajo tutelado/dirigido

30

Aprendizaje autónomo

60

 

 

Recomendaciones

 

Se recomienda que el estudiante dedique una hora de estudio por cada hora presencial de teoría y que dedique cuatro horas a la semana a la resolución de problemas.

 

 

Competencias que se desarrollan

 

   -

9aG-GENERAL. Capacidad para resolver problemas con iniciativa, tomar decisiones y ser autónomo y creativo.

   -

4T-TRANSV. Capacidad para el razonamiento crítico y lógico.

   -

1T-TRANSV. Aplicación de los conocimientos adquiridos a la elaboración y defensa de argumentos, así como a la resolución de problemas relacionados con la informática.

   -

2ESP-TECNOLOGÍA ESPECÍFICA: COMPUTACIÓN. Capacidad para conocer los fundamentos teóricos de los lenguajes de programación y las técnicas de procesamiento léxico, sintáctico y semántico asociadas, así como habilidad para aplicarlos a la creación, el diseño y el procesamiento de lenguajes.

   -

1ESP-TECNOLOGÍA ESPECÍFICA: COMPUTACIÓN. Capacidad para conocer en profundidad los principios fundamentales y los modelos de la computación, así como habilidad para aplicarlos a la interpretación, selección, valoración, modelación y creación de nuevos conceptos, teorías, usos y desarrollos tecnológicos relacionados con la informática.

   -

En la medida de lo posible se incorporará la perspectiva de género en el desarrollo de la asignatura.

 

 

Objetivos de aprendizaje

 

Referidos a conocimientos

— Conocer las nociones básicas de la lógica de proposiciones y de la lógica de predicados.

 

— Conocer algoritmos y herramientas básicas de la teoría de autómatas.

 

— Conocer las fases en el diseño de un compilador.

 

Referidos a habilidades, destrezas

— Saber formalizar proposiciones del lenguaje natural en la lógica de proposiciones y en la lógica de predicados.

 

— Saber determinar el valor de verdad de fórmulas en interpretaciones.

 

— Saber utilizar los métodos de resolución y de Davis-Putnam.

 

— Saber diseñar autómatas para el reconocimiento de lenguajes.

 

— Saber diseñar analizadores léxicos.

 

— Saber diseñar tablas de análisis para el reconocimiento sintáctico de expresiones.

 

— Saber diseñar analizadores sintácticos básicos.

 

 

Bloques temáticos

 

1. Lenguajes de proposiciones

1.1. Definiciones básicas

1.2. Formalizaciones

1.3. Resolución

1.4. SAT-solvers

2. Lenguajes de predicados

2.1. Predicados y dominios

2.2. Términos y fórmulas

2.3. Interpretaciones

2.4. Resolución

2.5. El lenguaje Prolog

3. Lenguajes regulares

3.1. Autómatas finitos

3.2. Programación de autómatas deterministas

3.3. Las fases del diseño de un compilador

3.4. Diseño de analizadores léxicos

4. Lenguajes incontextuales

4.1. Autómatas con pila

4.2. Gramáticas incontextuales

4.3. Equivalencia entre autómatas y gramáticas

4.4. Análisis sintáctico

4.5. Tablas de análisis

 

 

Metodología y actividades formativas

 

Se impartirán dos horas semanales de clases de teoría y dos horas semanales de clases de laboratorio de problemas. El curso estará organizado de manera que tras la exposición de la teoría por parte del profesor, los estudiantes trabajen en los problemas propuestos y los resuelvan en la pizarra. Para ello, los estudiantes podrán formar grupos de un máximo de tres personas.  Se colgarán entonces listas de problemas en el Campus Virtual, los cuales se asignarán a los grupos que hayan formado los estudiantes para que los resuelvan en las clases de laboratorio de problemas.

En el escenario de 50 % de presencialidad, se retransmitirán las clases presenciales en streaming. De este modo, los estudiantes alternarán una semana de docencia presencial con una semana de docencia virtual.

En el escenario de 100 % de presencialidad, los estudiantes podrán seguir toda la actividad de forma presencial. 

Las clases quedarán grabadas en el Campus Virtual de la asignatura.

Se subirán apuntes de teoría al Campus Virtual de la asignatura, así como listas de problemas resueltos.

 

 

Evaluación acreditativa de los aprendizajes

 

Se realizarán las siguientes actividades de evaluación continua:

a) Ejercicios resueltos por los estudiantes en las clases de laboratorio de problemas.

b) Tres pruebas parciales de problemas.

c) Una prueba parcial de teoría.

d) Un examen final de teoría y problemas.

Las pruebas parciales de b) y c) se realizarán durante el periodo de clases.

Para obtener la nota final, se aplicará la siguiente fórmula:

F = 0,8 x P + 0,2 x T + 0,1 x E  donde P es la nota final de problemas, T es la nota final de teoría y E es la nota obtenida en las entregas y en los ejercicios resueltos en clase.

Por tanto, los ejercicios resueltos en clase por los estudiantes servirán para subir la nota global de teoría y problemas hasta un máximo de 1 punto, dependiendo de la destreza que demuestren en la resolución de los problemas.  Para aprobar la asignatura, se tendrá que cumplir que F > = 5.


Nota final de problemas (nota P)

Cada una de las pruebas parciales de problemas del apartado b) consistirá en un ejercicio que los estudiantes deberán resolver. La parte de problemas del examen final del apartado c) consistirá en cuatro ejercicios, de manera que los temas de los tres primeros ejercicios se corresponderán con los temas de los ejercicios de las tres pruebas parciales de b). Los estudiantes pueden liberar los temas de las tres pruebas parciales de cara al examen final, si la media de las tres notas obtenidas en dichas pruebas es mayor o igual que 5.

Los estudiantes cuya nota media de las tres pruebas parciales del apartado b) sea mayor o igual que 5 pueden hacer únicamente el cuarto problema del examen final, en cuyo caso se calculará su nota final de problemas dividiendo por 4 la suma de las notas de las tres pruebas parciales de problemas y la nota del cuarto ejercicio del examen final de problemas. Asimismo, si lo desean, pueden realizar el cuarto problema del examen final y otro de los tres restantes problemas del examen final que ellos elijan, en cuyo caso su nota final de problemas será P = 0,5 x P1 + 0,5 x P2, donde P1 es la nota media obtenida en los dos problemas realizados en el examen final y P2 es la nota media de las dos pruebas parciales restantes del apartado b). En otro caso, se calculará su nota final de problemas dividiendo por 4 la suma de las notas de los cuatro problemas del examen final.

Los estudiantes cuya nota media de las tres pruebas parciales del apartado b) sea menor que 5 pero hayan aprobado dos de las tres pruebas parciales, pueden hacer el cuarto problema del examen final y el problema del examen final correspondiente a la prueba parcial que no hayan aprobado, en cuyo caso su nota final de problemas será P = 0,5 x P1 + 0,5 x P2, donde P1 es la nota media obtenida en los dos problemas realizados en el examen final y P2 es la nota media de las dos pruebas parciales aprobadas del apartado b). En otro caso, se calculará su nota final de problemas dividiendo por 4 la suma de las notas de los cuatro problemas del examen final.

Para los demás estudiantes, se calculará su nota final de problemas dividiendo por 4 la suma de las notas de los cuatro problemas del examen final.


Nota final de teoría (nota T)

Será la nota media entre la nota del parcial de teoría del apartado (c) y la nota de la parte de teoría del examen final.


Reevaluación

La reevaluación consistirá en un examen cuya composición será la misma que la del examen final de la evaluación continua.

Cualquier estudiante matriculado en la asignatura podrá presentarse al examen de reevaluación, si así lo desea.

Para los estudiantes que hagan el examen de reevaluación, la nota definitiva será la nota obtenida en el examen de reevaluación.

Para los estudiantes que hayan realizado la evaluación continua y no hagan el examen de reevaluación, la nota definitiva será la nota obtenida en la evaluación continua.

 

Evaluación única

Coincidirá con el examen final de la evaluación continua. Por tanto, el examen de evaluación única será el examen final de la evaluación continua. 

Los estudiantes que deseen acogerse a la evaluación única tendrán que hacerlo constar por escrito dentro del plazo establecido por la Facultad de Matemáticas.


Reevaluación

La reevaluación consistirá en un examen, cuya composición será la misma que la del examen de evaluación única.

Cualquier estudiante matriculado en la asignatura podrá presentarse al examen de reevaluación, si así lo desea.

Para los estudiantes que hagan el examen de reevaluación, la nota definitiva será la nota obtenida en el examen de reevaluación.

Para los estudiantes que se hayan acogido a la evaluación única y no hagan el examen de reevaluación, su nota definitiva será la nota obtenida en el examen de evaluación única.