Grade only. [Prerequisite: MATH 122 or MATH 251 or equivalent; MATH 130 or equivalent.] Introduces discrete structures used in Computer Science with an emphasis on their applications, including programming. Covers topics such as Functions; Relations and Sets; Basic Logic; Proof Techniques; Basics of Counting; Graphs and Trees; and Discrete Probability. [D; CSU; UC; C-ID COMP 152]