# Module 06-21254 (2017)

## Mathematical Techniques for Computer Science

## Level 2/I

Achim Jung | Semester 1 | 10 credits |

### Outline

Computer Science makes use of a variety of mathematical techniques to describe and solve computational problems. Often, these techniques are quite deep and outside the scope of standard mathematical syllabuses, for example, the use of structural recursion in the analysis of data structures and programming languages. The module aims to present a core of mathematical techniques in a sample computational context, and tries to strike a balance between systematic introduction and an application-orientated "maths-by-need" approach.

### Aims

The aims of this module are to:

- present mathematical techniques that underly Computer Science
- present these techniques in a sample Computer Science context
- illustrate the power of mathematics in solving problems in Computer Science
- provide an introduction to Linear Algebra, Set Theory, and Probability

### Learning Outcomes

On successful completion of this module, the student should be able to:

- solve simple mathematical problems in the areas covered by the module
- apply a given mathematical technique to solve a problem within a computer science setting

### Restrictions

06-20415 (Introduction to Mathematics for Computer Science) or A-level Mathematics at grade C or above (or equivalent)

### Pre-requisites

- 06-20415 - Introduction to Mathematics for Computer Science

### Teaching methods

2 hrs/week of lectures plus 1 hr/week exercise classes.

Contact Hours: 34

### Assessment

Sessional: 1.5 hr examination (80%), continuous assessment (20%).

Supplementary (where allowed): By examination only.

The continuous assessment consists of two class tests (10%) plus weekly homework (10%).

### Detailed Syllabus

- Linear Algebra
- solving systems of linear equations
- finite fields
- matrices
- describing geometric objects in the plane and in space
- vector spaces

- The language of sets
- sets
- cardinality
- functions
- relations
- inductive definitions

- Probability
- finite probabilities
- distributions
- random variables

### Programmes containing this module

- BSc Artificial Intelligence & Computer Science [0144]
- BSc Artificial Intelligence & Computer Science with an Industrial Year [9502]
- BSc Artificial Intelligence & Computer Science with Study Abroad [452B]
- BSc Computer Science [4436]
- BSc Computer Science with an Industrial Year [9499]
- BSc Computer Science with Study Abroad [5571]
- MEng Computer Science/Software Engineering [4754]
- MEng Computer Science/Software Engineering with an Industrial Year [9501]
- MSci Computer Science [4443]
- MSci Computer Science with an Industrial Year [9509]
- MSci Computer Science with Study Abroad [5576]