Emphasizes elements of discrete mathematics appropriate for computer engineering. Topics: logic, proof techniques, algorithms, complexity, relations, and graph theory. Prereqs., ECEN 1030/CSCI 1300 and APPM 1360.