Discrete Mathematics for Computer Science

3 credits · Undergraduate

This course is an introduction to formal reasoning and discrete mathematics with applications to computer science. Students will be introduced to formal notation and reasoning about problems and algorithms. Topics include: sets, sequences, and summations, simple proof techniques, elementary number theory, back-of-the-envelope approximations, combinatorial objects. Applications and relevance of these concepts in computer science will be emphasized. CALENDAR NOTES: Students should either have some programming experience or be taking an introductory course on programming at the same time as this course. PREREQUISITES: Nova Scotia Advanced Mathematics 441 or equivalent EXCLUSIONS: CSCI 2112.03 or MATH 2112.03