Description: The course presents basic material in discrete mathematics and the theory of switching circuits. It provides electrical and computer engineering students with a firm basis in the modern theory of logic design, and illustrates some applications through formal characterization of combinational functions and sequential machines, using contemporary techniques for the automatic synthesis and diagnosis of digital systems.