-
Lógica proposicional, equivalencias lógicas, Algebra Booleana, funciones booleanas y síntesis de circuitos.
-
Organización de un sistema de computación y una introducción histórica de la evolución de los sistemas.
-
Teoría de las estructuras discretas, grafos.
-
Sistemas de numeración: binario, decimal, octal, hexadecimal; cambios de base, representación de los números en formato de máquina y detección y corrección de errores.
-
Circuitos de computadoras:Circuitos lógicos combinacionales y circuitos secuenciales, concepto de autómata finito: estados internos, tablas y funciones de transición.
-
Técnicas de pruebas.
-
Estructura de las pruebas formales