Discrete Mathematics for Computer Science

This course presents a survey of the fundamental mathematical tools used in computer engineering: sets, relations, and functions; propositional and predicate logic; proof writing strategies such as direct, contradiction and induction; summations and recurrences; elementary asymptotics and timing analysis; counting and discrete probability; undirected and directed graphs with applications in computer science.

Prerequisites: 
http://bulletin.uga.edu/CoursesHome.aspx

Semester Offered: 
Fall
Spring
Level: 
Course Information File: