Discrete Structures is a core course in second semester of the B.Sc. (Information Sciences) programme. It builds mathematical foundations and capacities for formal reasoning and describing and manipulating mathematical structures using functional programming.