Teaching GuideTerm Faculty of Computer Science |
Grao en Enxeñaría Informática |
Subjects |
Discrete Mathematics |
Contents |
|
|
Identifying Data | 2017/18 | |||||||||||||
Subject | Discrete Mathematics | Code | 614G01004 | |||||||||||
Study programme |
|
|||||||||||||
Descriptors | Cycle | Period | Year | Type | Credits | |||||||||
Graduate | 1st four-month period |
First | FB | 6 | ||||||||||
|
Topic | Sub-topic |
1. Lóxica e álxebras de Boole | Proposicións e Operadores lóxicos. Táboas de verdade. Implicacións lóxicas ou regras de inferencia. Equivalencias lóxicas. Teoremas e demostracións. Táboas semánticas. Cuantificadores. Demostración por inducción. Álxebras de Boole. Funcións de Boole: forma normal conxuntiva e forma normal disxuntiva. 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.- 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. |
4.- Combinatoria. | Técnicas básicas. Permutacións, variacións e combinacións. Fórmulas combinatorias. Principio de inclusión-exclusión. |
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. |
|