Unit name | Mathematical Methods for Computer Scientists |
---|---|

Unit code | COMS10003 |

Credit points | 20 |

Level of study | C/4 |

Teaching block(s) |
Teaching Block 4 (weeks 1-24) |

Unit director | Professor. Calway |

Open unit status | Not open |

Pre-requisites |
None |

Co-requisites |
None |

School/department | Department of Computer Science |

Faculty | Faculty of Engineering |

The course will demonstrate the nature and power of mathematics to students by teaching core mathematical material which is both broadly important to mathematics and computer science and illustrative of the nature of mathematics itself. It will give the students an understanding of mathematical ideas through their experience of solving mathematical problems of importance to their current and future work. The course is organized around the two key mathematical themes of proof and abstractions.

- Mathematical objects: This part of the course recaps material the students will have encountered in school; real and imaginary numbers, polynomials and other functions, elementary calculus, set theory and relations but does this in a way that foreshadows the next two parts of the course: proof and abstraction.
- Proof: know what you know. The power of mathematics rests on mathematical proof, the ability to decide rigorously whether a mathematical proposition is true or to decide what limits there are on the accuracy of an estimate. This is demonstrated with examples from calculus, this will include limits and convergence, differentiation and integration and power series.
- Abstraction: abstract, construct and apply. At its heart, mathematics is about abstraction: usually with inspiration from simple examples, mathematical objects are defined axiomatically and the consequences of these axioms are derived, often leading to a rich and beautiful structure with diverse applications far away from the original inspiring example. This is demonstrated with examples from linear algebra, graph and group theory, abstract structures which nonetheless have important applications in computer science.
- The mathematics of uncertainty. The decisive and definite nature of mathematics does not mean that it can only be applied to narrow and well defined situations and so the two themes, proof and abstraction, are brought together in a treatment of probability theory and random variables, an area with many applications in computer science. This component will provide a basis for further concepts in probability and statistics introduced at level I.

On completing this course student will:

- Have experienced mathematical ideas and the basic nature of mathematics as a discipline.
- Have practised calculations and proofs in calculus, linear algebra and probability theory.
- Have discovered the utility of a mathematical approach to problem solving.
- Be able to recognise a correct proof.
- Understand the breadth and diversity of application of abstract mathematical structures.
- Have the confidence and numeracy to learn further mathematics from relevant sources as they required.

2 lectures per week supported by problems classes

50% coursework - consisting of a combination of class tests, problem sheets and small programming assignments - and 50% exam.

Introductory Logic and Sets for Computer Science Nimal Nissanke (ISBN:0-201-17957-1)

Graphs and Applications: An Introductory Approach J M Aldous and R J Wilson Springer, 2000, ISBN:185233259X

Modern Engineering Mathematics (4th edition)

Glyn James et. al. Pearson Aug 2007, Paperback, 1128 pages ISBN: 9780132391443