Lectures
| What is Computer Science? | |||
| 0 | Week 1 | General CS Induction | |
| 1 | 15/09/14 | pp1 | Introduction |
| 2 | 17/09/14 | Algorithms | |
| Describing and reasoning about collections of objects | |||
| 3 | 22/09/14 | pp2--3 | Sets I |
| 4 | 24/09/14 | pp3--5 | Sets II |
| Describing and reasoning about relationships between objects | |||
| 5 | 29/09/14 | pp6--7 | Functions |
| 6 | 01/10/14 | pp7--8 | More on functions |
| 7 | 13/10/14 | p9 | Relations |
| 8 | 15/10/14 | pp9 | Relation properties |
| 9 | 20/10/14 | pp9-10 | Single set relations |
| 10 | 21/10/14 | p10 | Order relations |
| Precise communication, specification and argument | |||
| 11 | 22/10/14 | p11 | Introduction to logic |
| 12 | 29/10/14 | p11 | Compound statements |
| 13 | 03/11/14 | p12 | Structure of logical statements |
| 14 | 05/11/14 | p12-13 | Logical Equivalence |
| 15 | 10/11/14 | Examples: functions and relations | |
| 16 | 12/11/14 | Class Test | |
| 17 | 17/11/14 | pp13-14 | Logical Argument |
| 18 | 19/11/14 | p14 | Translation and Bad Argument |
| 19 | 24/11/14 | Propositions review I | |
| 20 | 26/11/14 | Arguments review | |