Temas Subtemas
1. Lóxica e álxebras de Boole. Proposicións e Operadores lóxicos.
Implicacións e equivalencias lóxicas.
Argumentos e métodos de demostración.
Táboas semánticas.
Lóxica de predicados: Cuantificadores.
Argumentos en lóxica de predicados.
Demostración por inducción.
Álxebras de Boole. Funcións de Boole.
Portas lóxicas básicas. Circuítos combinacionais.
Minimización de circuítos. Diagramas de Karnaugh.
2.- Conxuntos e aplicacións. Noción intuitiva de conxunto.
Subconxuntos e complementario.
Operacións con conxuntos. Propiedades.
Producto cartesiano.
Definición de aplicación. Tipos de aplicacións.
Composición de aplicacións. Aplicación inversa.
3.- Combinatoria. Principios básicos de conteo.
Variacións e combinacións.
Coeficientes binomiais e multinomiais.
Principio de inclusión-exclusión.
4.- Relacións e grafos. Relacións binarias.
Relacións de equivalencia e conxunto cociente.
Relacións de orden: elementos especiais dun conxunto ordenado e diagrama de Hasse.
Conceptos básicos e terminoloxía de grafos.
Matriz de adyacencia e conexión.
Algúns tipos de grafos.
Árboles.
5. Máquinas de estado finito e expresións regulares. Máquinas de estado finito con saída.
Autómatas finitos.
Linguaxe recoñecida por un autómata.
Expresións regulares e conxuntos regulares.
Simplificación de autómatas finitos.