This course introduces the foundations of discrete mathematics as they apply to computer science, focusing on providing a solid theoretical foundation for further work. Topics include functions, relations, sets, simple proof techniques, Boolean algebra, propositional logic, elementary number theory, writing, analyzing and testing algorithms.
Credit(s): 3
Prerequisites: (MAT 1375 or higher) and (CST 1201 or CST 2403)