Course co-ordinator(s): Matteo Capoferri (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
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.