COMS10014

Mathematics for Computer Science A

Unit materials

This page will be updated as term progresses.

Files linked to on this page will require you to log in with your university username and password. Just click the link and you will be redirected to a login page, please check it starts with login.microsoftonline.com. Never, ever enter your university password on a site without checking first whether it is the real login page or a fake one trying to steal your account (and your maintenance loan) - the real one starts with the address mentioned and your browser must not give any kind of security warning when you are on the page.

Textbooks

We do not closely follow any one textbook, and you are not required to buy any textbooks for this unit: this is not a “one chapter of the book per lecture” kind of unit. Instead, your main resources will be the lectures and lecture notes, along with the worksheets and solutions.

That said, for students who do like to learn from books, the following ones may be worth checking:

The main link to the materials folder is this teams link. You will need to sign in with your university account.

Revision Notes

You can find a list of the main topics and calculations/procedures you should know for the exam in this document.

Part 1 - Logic and Proof

Week 1, Workshop 1 on Tuesday 26 September

Week 1, Workshop 2 on Thursday 28 September

Week 2, Workshop 3 on Tuesday 3 October

Week 2, Workshop 4 on Thursday 5 October

In this workshop, we will do a class test under semi-exam conditions. You will fill in your answers on an answer sheet that you hand in at the end of the workshop.

The class test will be on the material from workshops 1-3 (propositional logic).

You must bring a pencil and eraser to fill in the answer sheet. You must not use pen or correction fluid. You may use a non-programmable calculator.

You may bring up to one side A4 of original handwritten notes.

Week 3, Workshop 5 on Tuesday 10 October

Week 3, Workshop 6 on Thursday 12 October

Week 4, Workshop 7 on Tuesday 17 October

Week 4, Workshop 8 on Thursday 19 October

Week 5, Workshop 9 on Tuesday 24 October

Due to illness, the lecture had to be cancelled at short notice. Please read the lecture notes in your own time: the material may still be assessed in the exam.

In this workshop, we will have our second class test. The material is everything up to lecture 8 on sets.

You must bring a pencil and eraser to fill in the answer sheet. You must not use pen or correction fluid. You may use a non-programmable calculator.

You may bring up to one side A4 of original handwritten notes.

Week 5, Workshop 10 on Thursday 26 October

Week 6

Week 6 is reading week. There are no lectures, workshops or drop-ins.

Part 2 - Probability Theory

For the second half of the unit, I’m trying something slightly new in the lecture notes. When presenting mathematics, there’s always a question how much “back story” to include - the history of the topics, the people who discovered them, the questions they were trying to answer in the first place, philosophical and sometimes even theological points that were relevant to the discoveries in question. Alongside this, there’s the question of how much intuition and motivation to present, separately from the definitions and formulas and calculations.

My experiment for this half of the course is to have the first page of each set of written lecture notes be solely about back story and motivation, narrated by Celian the Elf (pronounced Kelian). I’m sure for some of you, this will help you understand the topic better or make it more interesting; for others, you might not like the style - that’s ok, you can just skip the first page of the written notes and the “mathsy” part starts on Page 2.

Week 7, Workshop 1 on Tuesday 7 November

Week 7, Workshop 2 on Thursday 9 November

Week 8, Workshop 1 on Tuesday 14 November

Week 8, Workshop 2 on Thursday 16 November

Week 9, Workshop 1 on Tuesday 21 November

Small change of plan:

Week 9, Workshop 2 on Thursday 23 November

Week 10, Workshop 1 on Tuesday 28 November

Week 10, Workshop 2 on Thursday 30 November

Week 11, Workshop 1 on Tuesday 5 December

Week 11, Workshop 2 on Thursday 7 December

Week 12

Week 12 is revision week.