Description: Basic mathematical tools and methods needed for computer science are introduced. Elementary mathematical skills for defining, analysing and reasoning with abstract objects used in programming are developed. Topics include integers and rational numbers, strings and sets, methods of proof (including induction), algorithms and functions, and elementary introductions to graphs, trees, counting and probability.