Home Lectures Problem Classes Assessment Resources

Outline Syllabus

What is Computer Science?

Describing and reasoning about collections of objects

Describing and reasoning about relationships between objects

Precise communication, specification and argument

Algorithms and structured collections of objects

Understanding algorithms and counting

Lectures

What is Computer Science?
0 Week 1 General CS Induction  
1 26/09/11 Introduction pdf
2 28/09/11 Algorithms pdf
 
Describing and reasoning about collections of objects
3 03/10/11 Sets and Collections pdf
4 05/10/11 Set Operations pdf
 
Describing and reasoning about relationships between objects
5 07/10/11 Functions pdf
6 12/10/11 Function Properties pdf
7 17/10/11 Relations pdf
8 19/10/11 Relation Operations pdf
9 24/10/11 Single Set Relations pdf
10 26/11/11 Order Relations pdf
  31/10/11 public holiday  
 
Precise communication, specification and argument
11 02/11/11 Introduction to Logic pdf
12 11/11/11 Compound Statements pdf
13 14/11/11 Structure pdf
14 16/11/11 Equivalence pdf
15 18/11/11 Example problems: order relations  
16 21/11/11 Arguments pdf
17 23/11/11 Bad Arguments pdf
18 28/11/11 Quantifiers pdf
19 30/11/11 Quantifiers 2 pdf
20 05/12/11 revision: logic examples  
21 07/12/11 class test  
    Christmas vacation    
22 04/01/12 Logic Review, and Predicates pdf
23 09/01/12 Two Quantifiers pdf
24 11/01/12 Arguments & Quantifiers pdf
25 16/01/12 Sample Quantifier Problems  
 
Algorithms and structured collections of objects
26 18/01/12 Simple algorithms pdf
27 23/01/12 Graphs in Computer Science pdf
28 25/01/12 Paths pdf
29 30/01/12 Shortest paths pdf
30 01/02/12 Circuits pdf
31 06/02/12 Trees pdf
 
Understanding algorithms and counting
32 08/02/11 Intro to algorithm analysis pdf