Skip to main content

Unit information: Discrete Mathematics 2 in 2020/21

Unit name Discrete Mathematics 2
Unit code EMAT20540
Credit points 10
Level of study I/5
Teaching block(s) Teaching Block 1 (weeks 1 - 12)
Unit director Dr. Colin Campbell
Open unit status Not open




School/department Department of Engineering Mathematics
Faculty Faculty of Engineering


This unit will provide an overview of advanced topics in discrete mathematics. In particular the unit will consider partial orderings, algebraic structures and vector spaces. These are axiomatic frameworks that generalise many mathematical systems as well as providing powerful tools for computer science in areas such as cryptography and databases. Also introduced will be mathematical concepts of probability.


The aim of this unit is to provide students with a foundational understanding of the abstract structures underlying much of mathematics and computing. It also aims to provide examples of how such ideas can be used in practical applications.

Intended learning outcomes

On completing this unit students should be:

  1. competent in the manipulation of discrete abstract structures including groups, semigroups, monoids, rings, integral domains, fields, vector spaces and lattices
  2. have an understanding of how they can be applied in areas such as computing and knowledge engineering.

Teaching details

Teaching will be delivered through a combination of synchronous and asynchronous sessions, including lectures, supported by live online sessions, problem sheets and self-directed exercises. The unit will be supported by weekly workshops, which will provide blended learning involving class discussion, problem solving, and/or group presentations. Students will be expected to actively participate in the workshops, and engage with readings, self-directed exercises, and problem-solving activities

Assessment Details

The unit is assessed by 100% coursework, as follows:

3 x worksheets (20% each)

1 x worksheet (40%)

Worksheets will assess all ILOs.

Reading and References

  • Introduction to Lattices and Order, B.A. Davey and H.A Priestley, Cambridge University Press
  • Introduction to Abstract Algebra, T.A. Whitelaw, Interpharm/CRC
  • Computability and Logic, George S. Boolos, Richard C. Jeffrey, Cambridge University Press