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/12 |
Intro to algorithm analysis |
pdf |
| 33 |
13/02/12 |
More counting rules |
pdf |
| 34 |
15/02/12 |
Counting combinations |
pdf |
| 35 |
20/02/12 |
More combinations |
pdf |
| 36 |
22/02/12 |
Algorithm complexity |
pdf |
|
| 37 |
27/02/12 |
Sorting |
pdf |
38 |
29/02/12 |
Induction |
pdf |
| 39 |
05/03/12 |
Recursion |
pdf |
| 40 |
07/03/12 |
Proof |
pdf |
| 41 |
12/03/12 |
Revision |
pdf |
| 42 |
14/03/12 |
Revision |
pdf |
| |
19/03/12 |
public holiday |
|
| 43 |
21/03/12 |
Class Test |
|