Computer Science - Discrete Mathematics for Computer Science CSCI 1315   Discrete Mathematics for Computer Science
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.
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