Guia docente 2011_12 E. S. de Ingeniería Informática

Contidos

Tema	Subtema
Indución e recursividade. Reconto e combinatoria.	4. Indución e recursividade: indución matemática. Definición recursiva de conxuntos e aplicacións. Algoritmos recursivos. Relacións de recorrencia. Resolución de relacións de recorrencia. Funcións xeradoras. 5. Reconto e combinatoria: técnicas de reconto. Fundamentos de combinatoria. Estruturas combinatorias. Estruturas combinatorias con repetición.
Relacións binarias. Álxebras de Boole.	6. Relacións binarias: correspondencia ou relación. Matriz dunha relación. Relación inversa. Aplicacións. Tipos. Operacións. Relacións binarias dun conxunto. Propiedades. Representación gráfica. Relacións de equivalencia. Clases de equivalencia. Conxunto cociente. Congruencia. Relacións de orde. Conxuntos ordenados. Isomorfismo. Elementos notables. Estrutura de retículo. 7. Álxebras de Boole: álxebras de Boole. Propiedades. Funcións booleanas. Táboas de verdade. Polinomios booleanos. Simplificación de expresións booleanas. Diagramas lóxicos. Aplicacións.
Grafos e árbores.	8. Grafos: xeneralidades. Exemplos. Representación. Tipos de grafos. Camiños. Grafos conexos. Grafos eulerianos e hamiltonianos. Grafos coloreados. Aplicacións. 9. Árbores: xeneralidades. Exemplos. Recorridos en árbores. Árbores xeradores. Aplicacións.
Prácticas de laboratorio.	1. Cálculo numérico e simbólico. 2. Conxuntos e aplicacións. 3. Teoría de números. 4. Reconto e combinatoria. 5. Relacións. 6. Teoría de grafos.
()5: Sistemas secuenciales.	()5.1: Introdución.5.2: Sistemas secuenciales asíncronos.5.2.1: Biestables asíncronos.5.3: Sistemas secuenciales síncronos.5.3.1: Biestables síncronos.5.3.2: Análise e síntese de sistemas secuenciales síncronos. Modelos de Mealy e Moore.5.3.3: Bloques funcionales síncronos5.3.3.1: Contadores.5.3.3.2: Registros.
()6: Memorias semiconductoras.	()6.1: Introdución.6.2: Memorias de acceso directo (RAM).6.3: Memorias de acceso serie ou secuencial.6.4: Expansión de memorias. Módulos SIMM e DIMM.
()7: Procesadores *digitales.	(*)7.1 Introdución