The objective of the second year course for Discrete Mathematics is to integrate the mathematical and computational perspectives that underpin Discrete Mathematics. The modules provide a broader theoretical base for Discrete Mathematics students, and help to equip them for different kinds of specialisation in the advanced study of discrete structures and algorithms. The core modules cover the areas of combinatorics, graph theory, and the design of algorithm and data structures, as taught jointly in Mathematics and Computer Science.

The normal load is 120 CATS credits. Students are required to take four core modules totalling 55 CATS and further modules selected from the list of optional modules below, including at least 20 CATS credits from List A. List B contains level 2 modules delivered by Computer Science, Mathematics and Statistics.

Core Modules

Code	Name	Term	CATS Credits
CS254	Algorithmic Graph Theory	TBC	15
CS259	Formal Languages	TBC	15
CS260	Algorithms *	TBC	15
MA241	Combinatorics	TBC	10

Optional Modules - List A

Code	Name	Term	CATS Credits
CS262	Logic and Verification	TBC	15
MA222	Metric Spaces	TBC	10
MA267	Groups and Rings	TBC	10
MA252	Combinatorial Optimisation	TBC	10
MA257	Introduction to Number Theory	TBC	10
MA250	Partial Differential Equations	TBC	10
MA271	Mathematical Analysis 3	TBC	10
ST227	Stochastic Processes	TBC	10
ST232	Introduction to Mathematical Statistics	TBC	15

Optional Modules - List B

Code	Name	Term	CATS Credits
Modules selected from level 2 modules delivered by Computer Science, Mathematics and Statistics. The modules approved by the Course Director for study in 2025-26 academic year will be agreed with contributing departments in Spring 2025. To be considered for enrolment on other modules the unusual options process must be followed.

Modules from Other Departments

More information on modules taught by other departments can be found in the Module Catalogue: https://courses.warwick.ac.uk.

* This module will be examined normally in the first week of Term 3.