| Competencias / Resultados do título |
| Código | Competencias / Resultados do título |
| Resultados de aprendizaxe | |||
| Resultados de aprendizaxe | Competencias / Resultados do título | ||
| Coñecer e manexar a linguaxe simbólica, formalizar argumentos lóxicos e probar a validez destes. Coñecer o concepto de Álxebra de Boole e as súas propiedades e aplicar ditas propiedades para simplificar expresións booleanas. | A1 A3 |
B3 |
C1 |
| Coñecer os conceptos básicos da teoría de conxuntos e aplicacións. | A1 A3 |
B1 |
|
| Coñecer as técnicas de reconto e as súas aplicacións. | A1 A3 |
B1 B3 |
|
| Coñecer os conceptos fundamentais da teoría de relacións e grafos e a súa aplicación á resolución de problemas. | A1 A3 |
B1 |
|
| Coñecer as definicións e resultados básicos sobre máquinas de estado finito, autómatas finitos deterministas e expresións regulares. | A1 A3 |
||
| Desenvolver a capacidade de abstracción, concreción, concisión, imaxinación, intuición, razoamento, crítica, obxectividade, síntese e precisión, para utilizalas en calquera momento da actividade académica ou laboral, co fin de poder afrontar con garantías de éxito os problemas que se formulen. | A1 A3 |
B3 B7 B9 |
C1 C6 |
| Adquirir ferramentas e destrezas para resolver os problemas de forma axeitada. Expresar e interpretar de forma precisa os resultados obtidos. Verificar o resultado e, en caso de obter unha incongruencia, revisar o proceso para detectar o erro cometido. | A1 A3 |
B3 B7 B9 |
C1 C6 |
| Contidos |
| Temas | Subtemas |
| 1. Lóxica e álxebras de Boole. | Proposicións e Operadores lóxicos. Implicacións e equivalencias lóxicas. Argumentos e métodos de demostración. Táboas semánticas. Lóxica de predicados: Cuantificadores. Argumentos en lóxica de predicados. Demostración por inducción. Álxebras de Boole. Funcións de Boole. Portas lóxicas básicas. Circuítos combinacionais. Minimización de circuítos. Diagramas de Karnaugh. |
| 2.- Conxuntos e aplicacións. | Noción intuitiva de conxunto. Subconxuntos e complementario. Operacións con conxuntos. Propiedades. Producto cartesiano. Definición de aplicación. Tipos de aplicacións. Composición de aplicacións. Aplicación inversa. |
| 3.- Combinatoria. | Principios básicos de conteo. Variacións e combinacións. Coeficientes binomiais e multinomiais. Principio de inclusión-exclusión. |
| 4.- Relacións e grafos. | Relacións binarias. Relacións de equivalencia e conxunto cociente. Relacións de orden: elementos especiais dun conxunto ordenado e diagrama de Hasse. Conceptos básicos e terminoloxía de grafos. Matriz de adyacencia e conexión. Algúns tipos de grafos. Árboles. |
| 5. Máquinas de estado finito e expresións regulares. | Máquinas de estado finito con saída. Autómatas finitos. Linguaxe recoñecida por un autómata. Expresións regulares e conxuntos regulares. Simplificación de autómatas finitos. |
| Planificación | ||||
| Metodoloxías / probas | Competencias / Resultados | Horas lectivas (presenciais e virtuais) | Horas traballo autónomo | Horas totais |
| Sesión maxistral | A1 A3 B7 C1 | 30 | 45 | 75 |
| Seminario | A1 A3 B3 B9 C1 C6 | 8 | 12 | 20 |
| Proba obxectiva | A1 A3 B1 B3 C1 | 3 | 0 | 3 |
| Prácticas de laboratorio | A1 A3 B1 B3 B7 C6 | 20 | 30 | 50 |
| Atención personalizada | 2 | 0 | 2 | |
| *Os datos que aparecen na táboa de planificación son de carácter orientativo, considerando a heteroxeneidade do alumnado | ||||
| Metodoloxías |
| Metodoloxías | Descrición |
| Sesión maxistral | A través da plataforma virtual da universidade, porase a disposición do alumnado a información detallada dos contidos de cada tema co fin de que cada alumno/a configure, segundo o seu criterio e necesidades, o material adecuado para o seguimento e comprensión da materia, para iso poderá facer uso da bibliografía recomendada e/ou material dispoñible na rede. As clases teóricas e prácticas iranse desenvolvendo de forma simultánea na aula, realizando exercicios despois das explicacións teóricas. Iniciarase a explicación das técnicas formais por medio de exemplos, pondo énfases en cálculos concretos e na natureza algorítmica dalgunhas delas. Preténdese que os/as estudantes sexan capaces de obter conclusións dos resultado obtidos, tentando motivarles para que participen e sexan capaces de inferir conclusións. |
| Seminario | Nas horas de tutorías poderanse expor dúbidas sobre os conceptos, exercicios e procedementos vistos nas sesións de teoría e problemas. |
| Proba obxectiva | 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 | Ao comezo de cada tema facilitaráselle ao alumnado un boletín de exercicios relacionados cos contidos teóricos explicados nas clases de teoría. Nestas sesións preténdese: - incentivar ao estudante, mediante exercicios interactivos que deben resolver para reforzar a comprensión dos conceptos estudados, - fomentar a resolución razoada dos exercicios, evitando a utilización de "receitas". Dependendo do tema e dos recursos dispoñibles, poderánse plantear traballos con programas informáticos que reforcen os conceptos traballados nas clases teóricas e de exercicios. |
| Atención personalizada |
|
|
| Avaliación | |||
| Metodoloxías | Competencias / Resultados | Descrición | Cualificación |
| Prácticas de laboratorio | A1 A3 B1 B3 B7 C6 | Ao longo do curso realizarase unha avaliación dos distintos temas onde se exporán definicións dos conceptos introducidos, cuestións e exercicios similares aos do correspondente boletín. Valorarase a resposta correcta ás cuestións e exercicios expostos e, a presentación e a claridade da exposición realizada. Poderase ter en conta a actitude participativa do alumnado na resolución das cuestións formuladas durante as prácticas. |
20 |
| Proba obxectiva | A1 A3 B1 B3 C1 | Ao final do curso haberá unha proba escrita. Esta proba inclúe: - Preguntas curtas que permiten avaliar se o estudante comprendeu os conceptos teóricos básicos. - Problemas cun grao de dificultade similar aos realizados na clase e aos presentados nas coleccións de exercicios propostos. Avaliarase o dominio dos conceptos teóricos da materia, a comprensión deles e a súa aplicación na resolución de exercicios. Asimesmo, valorarase a claridade, a orde e a presentación dos resultados expostos. Para aprobar o curso é necesario obter máis de 3,2 puntos dos 8 posibles na proba escrita. A presentación á proba final do curso supón que o/a estudante rematou o proceso de avaliación continua. |
80 |
| Observacións avaliación | |||
|
Observación importante: A realización fraudulenta das Avaliación do alumnado matriculado a tempo parcial: Dependendo das particularidades de cada caso concreto e as posibilidades do profesorado encargado do grupo ao que estea asignado un estudante matriculado a tempo parcial, axustarase as probas da avaliación continua para que o devandito estudante poida obter a mesma cualificación que un estudante de matrícula ordinaria. Avaliación do alumnado matriculado con necesidades dalgunha adaptación curricular: Dependendo das particularidades de cada caso e as posibilidades do profesorado, axustaranse as probas de avaliación para que o devandito estudante poida realiza-las mesmas probas que os seus compañeiros. Na oportunidade adiantada a decembro: O exame cualificarase sobre dez puntos, sendo necesario obter polo menos un cinco para aprobar a materia. |
|||
| Fontes de información |
| Bibliografía 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. (2019). Discrete Mathematics and Its Applications. McGraw-Hill
Aguado, Felicidad 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, Ana et al (2014). Teoría de grafos. Ejercicios resueltos y propuestos. Laboratorio con SAGE. Paraninfo |
|
|
|
| Bibliografía complementaria |
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 |
|
|
| Recomendacións | |
| Materias que se recomenda ter cursado previamente |
| Materias que se recomenda cursar simultaneamente |
| Materias que continúan o temario |
| Observacións | |
|
Recoméndase ter cursado as materias de Matemáticas do bacharelato. |