Datos Identificativos 2020/21
Asignatura (*) Matemática Discreta Código 614G01004
Titulación
Grao en Enxeñaría Informática
Descriptores Ciclo Periodo Curso Tipo Créditos
Grado 1º cuatrimestre
Primero Formación básica 6
Idioma
Gallego
Modalidad docente Híbrida
Prerrequisitos
Departamento Ciencias da Computación e Tecnoloxías da Información
Computación
Coordinador/a
Perez Vega, Gilberto
Correo electrónico
gilberto.pvega@udc.es
Profesorado
Aguado Martin, Maria Felicidad
Barja Pérez, José María
Costoya Ramos, Maria Cristina
Doncel Juarez, Jose Luis
Perez Vega, Gilberto
Souto Salorio, Maria Jose
Suárez Canedo, Emilio José
Vidal Martin, Concepcion
Vieites Rodriguez, Ana Maria
Correo electrónico
felicidad.aguado@udc.es
j.m.barja@udc.es
cristina.costoya@udc.es
jose.luis.doncel@udc.es
gilberto.pvega@udc.es
maria.souto.salorio@udc.es
emilio.scanedo@udc.es
concepcion.vidalm@udc.es
ana.vieites@udc.es
Web http://campusvirtual.udc.es/moodle
Descripción general La asignatura de Matemática Discreta es una asignatura cuatrimestral que se imparte en el primer cuatrimestre del primer curso de la titulación de Grado en Ingeniería Informática, corresponde al módulo de Formación Básica.

En esta asignatura se deben adquirir los hábitos de abstracción y rigor necesarios en el ámbito profesional de un informático. Los conceptos que se estudian son básicos para el desarrollo de otras asignaturas; por ejemplo, en álgebra, algoritmos, seguridad informática, bases de datos, fundamentos de computadores, proyectos y gestión de calidad...

El carácter de los estudios y las necesidades de formación de los estudiantes del Grado en Informática aconseja un enfoque computacional de esta asignatura, por ello, se pondrá especial énfasis en los conceptos de matemática discreta que se emplean en teoría de computación, destacando el enfoque algorítmico en los métodos.
Plan de contingencia 1. Modificacións nos contidos

Non haberá modificacións nos contidos salvo que non se dispoña do tempo suficiente para unha adecuada exposición dos mesmos e/ou para traballar nos boletíns de exercicios. Neste caso os alumnos serán informados a través das plataformas oficiais (Moodle, Teams).

2. Metodoloxías

* Metodoloxías docentes que se manteñen

- Sesión maxistral: A través das plataformas virtuais da Universidade, o alumno segue recibindo as notas elaboradas para ás clases teóricas presenciais de cada tema.
- Prácticas de laboratorio: A través das plataformas virtuais da Universidade, o alumno dispón do boletín de exercicios propostos.
- Seminarios: Mediante a plataforma Teams, o alumno poderá formular as súas dúbidas ó profesor, sobre os conceptos teóricos e a resolución dos exercicios.

* Metodoloxías docentes que se modifican

- Sesión maxistral: Haberá clases asíncronas e clases síncronas. Nas primeiras usaremos Moodle para que o alumno teña acceso a vídeos explicativos sobre diversos conceptos e resultados da materia, seguidos de documentos con máis exemplos favorecendo que o alumno poda traballar de manera autónoma. Nas clases síncronas faremos uso das vídeoconferencias a través da plataforma Teams. Con este modelo de clase invertida, é especialmente importante recalcar ao alumno a necesidade de preparar pola súa conta as clases asíncronas antes da súa asistencia ás clases síncronas.
- Prácticas de laboratorio: Haberá clases prácticas síncronas e asíncronas a través da plataforma Teams. Os alumnos terán acceso ós vídeos correspondentes. Incluiránse as solucións.

3. Mecanismos de atención personalizada ao alumnado

Cada grupo de prácticas terá atención semanal a través da plataforma virtual Teams. Asemesmo o profesor poderá programar sesións de tutorías cos alumnos de cara á resolver dúbidas de carácter individual ou grupal.

4. Modificacións na avaliación:

* Observacións de avaliación:

Tendo en conta as circunstancias do momento, as prácticas terán unha puntuación máxima do 30% e a proba obxectiva puntuará o restante. Esta última realizarase en dúas partes: unha delas contará o 40% da nota final, e a outra o resto. Para aprobar á asignatura o alumno deberá obter 5 puntos ou máis como nota total e, ademáis, na proba obxectiva o alumno debe alcanzar a lo menos o 40% do seu peso.

Os alumnos que non superen a primeira oportunidade, terán que presentarse a unha soa proba para recupera-lo porcentaxe da nota final correspondente á suma das dúas probas realizadas.

5. Modificacións da bibliografía ou webgrafía

Existen versións pdf en liña, aínda que sexa de edicións anteriores ás que aparecen na bibliografía, da maioría das obras que forman a bibliografía básica.
Se añaden:
- Diestel, R. Graph Theory. Fourth Edition 2010, Springer-Verlag, Graduate Texts in Mathematics, Volume 173. (http://diestel-graph-theory.com/basic.html) (Capítulos 1, 3, y 10).
- Bogart, Kenneth. Combinatorics through guided discovery. Dartmouth College, 2004.(https://open.umn.edu/opentextbooks/textbooks/combinatorics-through-guided-discovery)

Para algúns títulos existirá a posibilidade de acceso electrónico. O alumno deberá consultar o catálogo da biblioteca.

Competencias del título
Código Competencias del título
A1 Capacidad para la resolución de los problemas matemáticos que puedan plantearse en la ingeniería. Aptitud para aplicar los conocimientos sobre: álgebra lineal; cálculo diferencial e integral; métodos numéricos; algorítmica numérica; estadística y optimización.
A3 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.
B3 Capacidad de análisis y síntesis
B7 Preocupación por la calidad
B9 Capacidad para generar nuevas ideas (creatividad)
C1 Expresarse correctamente, tanto de forma oral como escrita, en las lenguas oficiales de la comunidad autónoma.
C6 Valorar críticamente el conocimiento, la tecnología y la información disponible para resolver los problemas con los que deben enfrentarse.

Resultados de aprendizaje
Resultados de aprendizaje Competencias del título
Capacidad para comprender y dominar los conceptos básicos de Matemática Discreta y su aplicación para la resolución de problemas propios de la ingeniería. En concreto: Conocer y manejar el lenguaje simbólico, formalizar argumentos lógicos y probar la validez de los mismos.  Operar compuertas lógicas mediante funciones booleanas reducidas, aplicando diferentes métodos de simplificación de funciones booleanas. Conocer los conceptos básicos de la teoría de conjuntos y aplicaciones. Conocer los conceptos fundamentales de la teoría de relaciones y grafos y su aplicación a la resolución de problemas. Conocer las técnicas de recuento y sus aplicaciones. Definiciones básicas de máquinas de estado finito, autómatas finitos deterministas y expresiones regulares. A1
A3
Entender y manejar el lenguaje matemático de forma correcta para expresar las ideas. A1
A3
C1
C6
Desarrollar la capacidad de abstracción, concreción, concisión, imaginación, intuición, razonamiento, crítica, objetividad, síntesis y precisión, para utilizarlas en cualquier momento de la actividad académica o laboral, con el fin de poder afrontar con garantías de éxito los problemas que se planteen. A1
A3
B3
B7
B9
C1
C6
Adquirir herramientas y destrezas para resolver los problemas de forma adecuada. Expresar e interpretar de forma precisa los resultados obtenidos. Verificar el resultado y, en caso de obtener una incongruencia, revisar el proceso para detectar el error cometido. A1
A3
B3
B7
B9
C1
C6
Saber aplicar los conceptos fundamentales de la asignatura y saber relacionar los conceptos matemáticos con los algorítmicos y computacionales. A1
A3
B3
B7
B9
C1
C6
Saber aplicar métodos asociados con las estructuras discretas a situaciones reales. A1
Saber seleccionar las técnicas más idóneas para resolver cada problema. A1
A3
B3
Mostrar una actitud crítica y responsable. B7
C1

Contenidos
Tema Subtema
1. Lógica y álgebras de Boole Proposiciones y Operadores lógicos.
Implicaciones y equivalencias lógicas.
Argumentos y métodos de demostración.
Tablas semánticas.
Lógica de predicados: Cuantificadores.
Argumentos en lógica de predicados.
Demostración por inducción.
Álgebras de Boole. Funciones booleanas.
Puertas lógicas básicas. Circuitos combinacionales.
Minimización de circuitos: Diagramas de Karnaugh.
2.- Conjuntos y aplicaciones. Noción intuitiva de conjunto.
Subconjuntos y complementario.
Unión e intersección de conjuntos. Propiedades.
Producto cartesiano.
Definición de aplicación. Tipos de aplicaciones.
Composición de aplicaciones. Aplicación inversa.
3.- Combinatoria. Principios básicos de conteo.
Variaciones y combinaciones.
Coeficientes binomiales y multinomiales.
Principio de inclusión-exclusión.
4. Relaciones y grafos. Relaciones binarias.
Relaciones de equivalencia y conjunto cociente.
Relaciones de orden: elementos especiales de un conjunto ordenado y diagrama de Hasse.
Conceptos básicos y terminología de grafos.
Matriz de adyacencia y conexión.
Tipos de grafos.
Árboles.
5. Máquinas de estado finito y expresiones regulares. Máquinas de estado finito con salida.
Autómatas finitos.
Lenguaje reconocido por un autómata.
Expresiones regulares y conjuntos regulares.
Simplificación de autómatas finitos.

Planificación
Metodologías / pruebas Competéncias Horas presenciales Horas no presenciales / trabajo autónomo Horas totales
Sesión magistral A1 A3 B7 C1 30 45 75
Seminario A1 A3 B3 B9 C1 C6 8 12 20
Prueba objetiva A1 A3 B3 C1 3 0 3
Prácticas de laboratorio A1 A3 B3 B7 B9 C6 20 30 50
 
Atención personalizada 2 0 2
 
(*)Los datos que aparecen en la tabla de planificación són de carácter orientativo, considerando la heterogeneidad de los alumnos

Metodologías
Metodologías Descripción
Sesión magistral A través de la plataforma virtual de la universidad, se pondrá a disposición del alumnado la información detallada de los contenidos de cada tema con el fin de que cada alumno/a configure, según su criterio y necesidades, el material adecuado para el seguimiento y comprensión de la materia, para ello podrá hacer uso de la bibliografía recomendada y/o material disponible en la red.

Las clases teóricas y prácticas se irán desarrollando de forma simultánea en el aula, realizando ejercicios después de las explicaciones teóricas. Se iniciará la explicación de las técnicas formales por medio de ejemplos, poniendo énfasis en cálculos concretos y en la naturaleza algorítmica de algunas de ellas. Se pretende que los alumnos sean capaces de obtener conclusiones de los resultados obtenidos, intentando motivar a los alumnos para que participen y sean capaces de inferir conclusiones.
Seminario En las horas de tutorías los alumnos podrán plantear dudas sobre los conceptos, ejercicios y procedimientos vistos en las sesiones de teoría y problemas.
Prueba objetiva Se realizará un examen escrito que consistirá en una colección de cuestiones teóricas y/o de problemas (del mismo tipo que los propuestos en los seminarios (TGR) y en los boletines de ejercicios).
Prácticas de laboratorio Al inicio de cada tema se le facilitará a los alumnos un boletín de ejercicios relacionados con los contenidos teóricos explicados en las clases de teoría. En estas sesiones se pretende:

I) incentivar al alumno mediante la resolución de ejercicios, con la ayuda del profesor, para reforzar la comprensión de los conceptos estudiados,

II) fomentar la resolución razonada de los ejercicios, evitando la utilización de “recetas”.

Dependiendo del tema y de los recursos disponibles, se podrán plantear trabajos con programas informáticos que refuercen los conceptos trabajados en las clases teóricas y de ejercicios.

Atención personalizada
Metodologías
Prácticas de laboratorio
Descripción

En las sesiones en grupos reducidos, se resuelven las dudas planteadas por los alumnos, en especial cuando sean comunes a varios de ellos o ilustren un caso interesante. Si la cuestión es más particular o no queda plenamente resuelta para algún alumno, se trataría en las horas de tutoría individualizada.

Los alumnos conocerán la evaluación de las pruebas realizadas a lo largo del curso, con el fin de corregir los errores y/o mejorar las respuestas a los ejercicios, con vistas a una formación más sólida.

Asimismo, los alumnos tienen la posibilidad de revisar la calificación obtenida en la prueba final escrita, comprobando que la misma se ajusta a los criterios de evaluación establecidos.

Evaluación
Metodologías Competéncias Descripción Calificación
Prácticas de laboratorio A1 A3 B3 B7 B9 C6 A lo largo del curso se realizarán pruebas sobre algunos temas de la asignatura, en estas pruebas se plantearán cuestiones y ejercicios similares a los de los correspondiente boletines. Se valorará la respuesta correcta a las cuestiones y ejercicios planteados, así como la presentación y la claridad de la exposición realizada.

Se podrá tener en cuenta la actitud participativa del alumnado en la resolución de las cuestiones planteadas durante las prácticas.
20
Prueba objetiva A1 A3 B3 C1 Al final del curso se realizará una prueba escrita. Esta prueba incluye:
- Preguntas cortas que permitan valorar si el alumno ha comprendido los conceptos teóricos básicos.
- Problemas con un grado de dificultad similar a los realizados en clase y a los presentados en las colecciones de ejercicios propuestos.
Se evaluará el dominio de los conceptos teóricos de la materia, la comprensión de los mismos y su aplicación en la resolución de ejercicios. Asimismo, se valorará la claridad, el orden y la presentación de los resultados expuestos.

Para aprobar la asignatura es necesario obtener más de 3,2 puntos de los 8 posibles en la prueba escrita.

La presentación a la prueba final del curso supone que el estudiante ha completado el proceso de evaluación continua.
80
 
Observaciones evaluación

Evaluación del alumnado matriculado a tiempo parcial: Dependiendo de las particularidades de cada caso concreto y las posibilidades del profesorado encargado del grupo a lo que esté asignado un estudiante matriculado a tiempo parcial, se ajustará las pruebas de la evaluación continua para que el dicho estudiante pueda obtener la misma calificación que un estudiante de matrícula ordinaria.

Evaluación del alumnado matriculado con necesidades de alguna adaptación curricular:  Dependiendo de las particularidades de cada caso y las posibilidades del profesorado, se ajustarán las pruebas de evaluación para que el dicho estudiante pueda realizar las mismas pruebas que sus compañeros. 

En la oportunidad adelantada a diciembre:  El examen se calificará sobre diez puntos, siendo necesario obtener por lo menos un cinco para aprobar la materia.


Fuentes de información
Básica Caballero, R., Hortalá, M.T., Martí, N., Nieva, S., Pareja, A. y Rodríguez, M. (2007). Matemática Discreta para Informáticos. Ejercicios resueltos. Pearson
Rosen, K. H. (2011). Discrete Mathematics and Its Applications. McGraw-Hill
Aguado, F. et al (2018). Problemas resueltos de Combinatoria. Laboratorio con SageMath. Paraninfo
García Merayo, F.; Hernández Peñalver, G. y Nevot Luna, A. (2003). Problemas Resueltos de Matemática Discreta. Thomson
Vieites A. et al (2014). Teoría de grafos. Ejercicios resueltos y propuestos. Laboratorio con SAGE. Paraninfo

Complementária Grimaldi, R. P. (2006). Discrete and Combinatorial Mathematics. Pearson Education
Biggs, N. L. (1994). Matemática Discreta. Vicens Vives
Scheinerman, E. R. (2001). Matemáticas Discretas. Thomson Learning


Recomendaciones
Asignaturas que se recomienda haber cursado previamente

Asignaturas que se recomienda cursar simultáneamente

Asignaturas que continúan el temario

Otros comentarios

Se recomienda haber cursado las asignaturas de Matemáticas del bachillerato.



(*) La Guía Docente es el documento donde se visualiza la propuesta académica de la UDC. Este documento es público y no se puede modificar, salvo cosas excepcionales bajo la revisión del órgano competente de acuerdo a la normativa vigente que establece el proceso de elaboración de guías