Course Objectives: This course introduces appropriate mathematical background for computer science students, providing them with the opportunity to apply analytical reasoning to solve problems and to carry out proofs.

Examples: