This course is an introduction to the discrete structures in computer science with an emphasis on their applications. Topics covered include: Functions, Relations and Sets; Basic Logic; Proof Techniques; Basics of Counting; Graphs and Trees; and Discrete Probability. (C-ID COMP 152) (CSU/UC) (CSU-B4)