Guía DocenteCurso Facultade de Informática |
Grao en Enxeñaría Informática |
Asignaturas |
Matemática Discreta |
Contidos |
|
|
Datos Identificativos | 2013/14 | |||||||||||||
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ógica y álgebras de Boole | Proposiciones y Operadores lógicos. Tablas de verdad. Implicaciones y equivalencias lógicas. Teoremas y demostraciones. Tablas semánticas. Lógica de predicados. Álgebras de Boole. Funciones de Boole: forma normal conjuntiva y forma normal disyuntiva. Circuitos combinacionales. Minimización de circuitos. Diagramas de Karnaugh. |
2.- Conjuntos y aplicaciones. | Noción intuitiva de conjunto. Subconjuntos y complementario. Operaciones con conjuntos. Propiedades. Producto cartesiano. Definición de aplicación. Tipos de aplicaciones. Composición de aplicaciones. Aplicación inversa. |
3.- 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. Algunos tipos de grafos. Árboles. |
4.- Combinatoria. | Técnicas básicas. Permutaciones, variaciones y combinaciones. Fórmulas combinatorias. Principio de inclusión-exclusión. |
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. |
|