Course co-ordinator(s): Dr Anatoly Konechny (Edinburgh), Adrian Turcanu (Dubai).
Aims:
By the end of the course, students should be able to:
• Understand the basic terminology of set theory, graph theory, linear algebra and probability theory
• Understand how formal mathematical objects like sets, graphs, matrices, recurrence relations arise in computer
science related problems
• Solve elementary counting problems,
• Solve systems of linear equations
• Apply graph algorithms
• Solve simple recurrence relations
• Compute probabilities
• Appreciate the power of mathematical formalisation, facilitated by the use of precise definitions and notations,
in solving practical problems.
• Appreciate the value of careful, quantitative reasoning in analysing problems related to computer science and
to recognise that the outcome of such reasoning can defy naıve intuition
Detailed Information
Course Description: Link to Official Course Descriptor.
Pre-requisites: none.
Location: Dubai, Edinburgh.
Semester: 2.
Assessment Methods: Due to covid, assessment methods for Academic Year 2021-22 may vary from those noted on the official course descriptor. Please see the Computer Science Course Weightings and the Maths Course Weightings for 2020-21 Semester 1 assessment methods.
SCQF Level: 7.
Credits: 15.

