Guía DocenteCurso Facultade de Informática |
Grao en Ciencia e Enxeñaría de Datos |
Asignaturas |
Matemática Discreta |
Contidos |
|
|
Datos Identificativos | 2021/22 | |||||||||||||
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 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 |
|