|
Teaching GuideTerm Faculty of Computer Science |
| Grao en Enxeñaría Informática |
 Subjects |
| Discrete Mathematics |
| Learning aims |
|
|
| Identifying Data | 2022/23 | |||||||||||||
| Subject | Discrete Mathematics | Code | 614G01004 | |||||||||||
| Study programme |
|
|||||||||||||
| Descriptors | Cycle | Period | Year | Type | Credits | |||||||||
| Graduate | 1st four-month period |
First | Basic training | 6 | ||||||||||
|
||||||||||||||
| Learning outcomes | Study programme competences | ||
| 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 |
|
