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