| Grao en Enxeñaría Informática |
 Asignaturas |
| Matemática Discreta |
| Contenidos |
|
|
| Datos Identificativos | 2019/20 | |||||||||||||
| 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. |
|
