|
Guía DocenteCurso Facultade de Informática |
| Grao en Ciencia e Enxeñaría de Datos |
 Asignaturas |
| Matemática Discreta |
| Contidos |
|
|
| Datos Identificativos | 2019/20 | |||||||||||||
| Asignatura | Matemática Discreta | Código | 614G02002 | |||||||||||
| Titulación |
|
|||||||||||||
| Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
| Grao | 1º cuadrimestre |
Primeiro | Formación básica | 6 | ||||||||||
|
||||||||||||||
| Temas | Subtemas |
| 1. Razoamento Lóxico | Lóxica proposicional: proposicións e operadores lóxicos Implicacións e Equivalencias Lóxicas Métodos de demostración: Táboas semánticas, principio de inducción Lóxica de predicados Formas normais |
| 2.- Conxuntos, aplicacións e relacións | Teoría básica de conxuntos: elementos, subconxuntos Algúns conxuntos de números: os enteiros e os complexos Aplicaións, tipos de aplicacións, composición Relacións binarias, propiedades Relacións de equivalencia, clases de equivalencia e conxunto cociente Relacións de orde, elementos distinguidos, diagrama de Hasse |
| 4.- Combinatoria e Recurrencia | Principios básicos de conteo Variacións, permutaións e combinacións Coeficientes binomiais e multinomiais Principio de inclusión-exclusión Sucesións e series Sucesións recurrentes Resolución de ecuacións de recurrencia. Aplicacións |
| 3.- Relacións e Grafos. | Grafos non dirixidos: conceptos básicos Grafos dirixidos: conceptos básicos Conectividade Árbores con e sin raíz Exploración de árbores Grafos ponderados: o problema da árbore xeradora minimal |
|
