Bath, UCL, Durham, Bristol, Edinburgh, Birmingham, Manchester, Lancaster for example. Some of these are "Computer Science and Maths" courses, which may mean a lean towards computer science.
I'm sure you know this already, but Warwick's maths & CS course is called discrete maths for some reason, but it is just a maths and CS degree (with combinatorics being compulsory in second and third year).