Skip to navigation | Skip to main content | Skip to footer

COMP11120 Mathematical Techniques for Computer Science syllabus 2021-2022

COMP11120 materials

COMP11120 Mathematical Techniques for Computer Science

Level 1
Credits: 20
Enrolled students: 494

Course leader: Andrea Schalk

Additional staff: view all staff

Additional requirements

  • Students who are not from the School of Computer Science must have permission from both Computer Science and their home School to enrol.

Assessment methods

  • 80% Written exam
  • 20% Coursework
Sem 1 w1-5,7-12 Examples Roscoe 4.3 Wed 09:00 - 10:00 -
Sem 1 w1-5,7-12 Examples Roscoe 4.3 Tue 09:00 - 10:00 -
Sem 1 w1-5,7-12 Examples Roscoe 4.3 Wed 10:00 - 11:00 -
Sem 1 w1-5,7-12 Examples Roscoe 4.3 Tue 10:00 - 11:00 -
Sem 1 w1-5,7-12 ONLINE Examples Tue 11:00 - 12:00 R
Sem 1 w1-5,7-12 Examples Roscoe 4.3 Wed 11:00 - 12:00 -
Sem 1 w1-5,7-12 Lecture Uni Place TH B Thu 11:00 - 12:00 -
Sem 1 w1-5,7-12 Examples Roscoe 4.3 Tue 14:00 - 15:00 -
Sem 1 w1-5,7-12 Examples Roscoe 3.4 Mon 15:00 - 16:00 -
Sem 1 w1-5,7-12 Examples Roscoe 4.3 Tue 15:00 - 16:00 -
Sem 1 w1-5,7-12 Examples Roscoe 1.007 Tue 16:00 - 17:00 -
Sem 1 w1-5,7-12 Examples Roscoe 4.3 Tue 16:00 - 17:00 -
Sem 1 w1-5,7-12 Examples Roscoe 4.4 Tue 17:00 - 18:00 -
Sem 2 w20-27,31-34 Lecture Simon 3.44A Tue 12:00 - 13:00 -
Sem 2 w20-27,31-33 Examples Simon 3.44B Tue 09:00 - 10:00 W
Sem 2 w20-27,31-33 Examples Simon 3.44B Tue 10:00 - 11:00 X
Sem 2 w20-27,31-33 Examples 2.19 Tue 15:00 - 16:00 Y
Sem 2 w20-27,31-33 Lecture Roscoe TH A Thu 15:00 - 16:00 -
Sem 2 w20-27,31-33 Examples 2.19 Tue 16:00 - 17:00 Z


This course covers the fundamental maths required by Computer Science students in order to successfully complete the reminder of their courses as well as for a career in computer science. Topics covered include complex numbers, logic, probability, recursion and induction, relations, vectors, matrices and transformations.

This course unit detail provides the framework for delivery in 20/21 and may be subject to change due to any additional Covid-19 impact.  Please see Blackboard / course unit related emails for any further updates.


This is a full year course that focuses on areas of mathematics required to model and analyse the kind of problems that arise in computer science.

Probabilities are used for example in artificial intelligence, and play a vital role in machine learning, while the combinatorics required here also plays a role in the field of computational complexity. Vectors and matrices are the mathematical model underlying computer graphics. Logic is a tool used to reason about computer programs as well as the real world. Recursion is an important programming principle that comes with an associated proof rule, and other mathematical notions such as functions and relations are used routinely in computer science, for example when talking about database systems. Theoretical computer science can be considered an area of mathematics, and the unit also provides an introduction to the fundamental notions of this area.

Specifically the unit aims to

- introduce  mathematical notions relevant to computer science and their applications;

- illustrate how abstraction allows the formulation and proof of properties for real-world and computational phenomena, and enable students to apply this technique;

- give an understanding and some practice in the fundamental notion of proof.

Students are required to undertake background reading, which is supported by lectures to explain various notions and to show the application of various techniques using examples. The coursework requires the students to solve exercises each week. Feedback for and help with this work is provided in the examples classes.

Teaching methods


This unit is delivered in a blended manner. Self-study materials are made available in the form of detailed notes which include exercises, as well as videos and formative self-assessment quizzes that allow students to check their understanding. Each week there is a session that allows students to ask questions about the materials and beyond, and discuss the ideas underlying the taught material. Further there are weekly examples classes to were solutions to the assessed exercises are discussed.

Students are expected to spend 4-5 hours per week engaging with the self-study materials and solving the assessed exercises.

Study hours:

Attendance: two hours per week

Self-study and solving coursework: ca 4-5 hous per week

Revision and exams: approximately 50 hours.

Feedback methods

Feedback is provided via marks for the weekly exercise sheets, solutions to these exercises, and the weekly examples classes, and also via the self-assessment quizzes

Study hours

  • Assessment written exam (4 hours)
  • Lectures (22 hours)
  • Practical classes & workshops (22 hours)

Employability skills

  • Analytical skills
  • Problem solving

Learning outcomes

On successful completion of this unit, a student will be able to:

  • perform the standard operations on complex numbers
  • apply formal definitions and construct formal arguments based on these in the context of mathematics relevant to computer science.
  • employ abstraction to move from concrete phenomena to ones which are amenable to the application of mathematical techniques.
  • interpret the meaning of logical formulae as part of a natural deduction system, via the model based on truth values, or via a given intended model.
  • construct logical formulae to describe aspects of a given system, and manipulate these formulae to derive properties of the system.
  • apply concepts from the mathematical theory of probability to describe and analyse a variety of situations.
  • use Bayesian reasoning to construct a simple algorithm for learning in a variety of situations.
  • recognize recursively defined structures and define recursive operations satisfying some given specification, as well as construct inductive arguments to prove some given property for such operations.
  • use vectors and matrices to describe suitable situations, such as systems of equations or operations in two- and three-dimensional space, and are able to carry out relevant calculations for these.
  • choose suitable mathematical techniques to analyse questions from computer science and devise approaches to solving them.


Reading list

Discrete mathematics with applications Epp, Susanna S.9781337694193Cengage Learning2019
Interactive computer graphics : a top-down approach with WebGL Angel, Edward, author.9781292019345Pearson2015
Discrete mathematics for new technology Garnier, Rowan.0750306521Institute of Physics2002.
How to think like a mathematician a companion to undergraduate mathematics Houston, Kevin, 1968-9781139129718Cambridge University Pressc2009.
Mathematical techniques : an introduction for the engineering, physical, and mathematical sciences Jordan, D. W. (Dominic William)9780199282012Oxford University Press2008.
Linear algebra : a modern introduction Poole, David, 1955- author.9781285463247Cengage Learning2015
Discrete mathematics for computer scientists Truss, J. K.0201360616Addison-Wesley1999.

Additional notes

Course unit materials

Links to course unit teaching materials can be found on the School of Computer Science website for current students.