Competencias 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 |
Metodoloxías
|
Prácticas de laboratorio |
|
Descrición |
Nas sesións en grupos reducidos, resólvense as dúbidas formuladas polo alumnado, en especial cando sexan comúns a varios deles ou ilustren un caso interesante. Se a cuestión é máis particular ou non queda plenamente resolta para algún estudante, trataríase nas horas de titoría individualizada.
O alumnado poderá revisar todas as probas realizadas ao longo do curso co fin de:
- Coñecer as respostas correctas e ser consciente dos erros cometidos,
- Comprobar que a cualificación obtida axústase aos criterios de avaliación establecidos.
|
|
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 |
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. |
|