CS1860 is the first of the two mathematics modules in Year 1 (the second is CS1870). By the end of the course, you should be able to argue about sets, functions and relations, use basic recursion, mathematical induction and graph algorithms, and compute probabilities of simple events.