|
Guía DocenteCurso Facultade de Informática |
| Grao en Enxeñaría Informática |
 Asignaturas |
| Matemática Discreta |
| Contidos |
|
|
| Datos Identificativos | 2019/20 | |||||||||||||
| Asignatura | Matemática Discreta | Código | 614G01004 | |||||||||||
| Titulación |
|
|||||||||||||
| Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
| Grao | 1º cuadrimestre |
Primeiro | Formación básica | 6 | ||||||||||
|
||||||||||||||
| 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. |
|
