Description
Introduces the foundations of discrete mathematics as they apply to computer science, focusing on providing a solid theoretical foundation for future work. Topics include functions, relations, sets, simple proof techniques, Boolean algebra, propositional logic, the fundamentals of counting, and elementary probability.