Unit information: Discrete Mathematics 2 in 2016/17

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	Professor. Martin
Open unit status	Not open
Pre-requisites	EMAT10704
Co-requisites	None
School/department	School of Engineering Mathematics and Technology
Faculty	Faculty of Engineering

Description including Unit Aims

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.

Aims:

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 Information

Lectures.

Assessment Information

Written examination (2 hours): 100% (all learning outcomes)

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