Grao en Enxeñaría Informática |
![]() |
![]() |
![]() |
|
|
Datos Identificativos | 2024/25 | |||||||||||||
Asignatura | Matemática Discreta | Código | 614G01004 | |||||||||||
Titulación |
|
|||||||||||||
Descriptores | Ciclo | Periodo | Curso | Tipo | Créditos | |||||||||
Grado | 1º cuatrimestre |
Primero | Formación básica | 6 | ||||||||||
|
Tema | Subtema |
1. Lógica y álgebras de Boole | Proposiciones y Operadores lógicos. Implicaciones y equivalencias lógicas. Argumentos y métodos de demostración. Tablas semánticas. Lógica de predicados: Cuantificadores. Argumentos en lógica de predicados. Demostración por inducción. Álgebras de Boole. Funciones booleanas. Puertas lógicas básicas. Circuitos combinacionales. Minimización de circuitos: Diagramas de Karnaugh. |
2.- Conjuntos y aplicaciones. | Noción intuitiva de conjunto. Subconjuntos y complementario. Unión e intersección de conjuntos. Propiedades. Producto cartesiano. Definición de aplicación. Tipos de aplicaciones. Composición de aplicaciones. Aplicación inversa. |
3.- Combinatoria. | Principios básicos de conteo. Variaciones y combinaciones. Coeficientes binomiales y multinomiales. Principio de inclusión-exclusión. |
4. Relaciones y grafos. | Relaciones binarias. Relaciones de equivalencia y conjunto cociente. Relaciones de orden: elementos especiales de un conjunto ordenado y diagrama de Hasse. Conceptos básicos y terminología de grafos. Matriz de adyacencia y conexión. Tipos de grafos. Árboles. |
5. Máquinas de estado finito y expresiones regulares. | Máquinas de estado finito con salida. Autómatas finitos. Lenguaje reconocido por un autómata. Expresiones regulares y conjuntos regulares. Simplificación de autómatas finitos. |
|