This course provides an introduction to digital systems. Major topics include: binary arithmetic, Boolean algebra; mapping techniques and function minimization; hardware description language; logic equivalent circuits and symbol transformations; electrical characteristics; binary and decimal arithmetic logic circuits; theory of sequential circuits; timing diagrams; analysis and synthesis of D-, T-, and JK-based sequential circuits; CMOS integrated circuits for combination of logic and sequential circuits.