Sistemas numéricos y códigos. Métodos algebraicos para el análisis y síntesis de circuitos lógicos. Algebra booleana. Simplificación de las funciones de conmutación. Lógica combinatoria modular. Diseño de un circuito combinatoria con dispositivos lógicos programables. Introducción a los dispositivos secuenciales. Lógica secuencial modular. Análisis y síntesis de circuitos. Simplificación de circuitos secuenciales. Circuitos secuenciales asíncronos. Circuitos secuenciales con dispositivos lógicos programables. Verificación de circuitos lógicos y diseño verificable