news
Wednesday, Oct 12 | | | | | Assignment 6 (Graphs and Combinatorics) published |
Wednesday, Oct 5 | | | | | Assignment 5 (Structural Induction) published |
Tuesday, Sep 13 | | | | | Published Proof Methods (pdf), a summary of proof methods used in the course, with examples |
Wednesday, Aug 31 | | | | | Assignment 1 (Sets and Functions) published |
Monday, Aug 29 | | | | | The new course homepage is up |
| | upcoming dates
old dates
Wednesday, Sep 14 | | | | | (at 13:00) First deadline Assignment 2, Logic and Proofs |
Wednesday, Sep 21 | | | | | (at 13:00) First deadline Assignment 3, Induction |
Wednesday, Oct 5 | | | | | (at 13:00) First deadline Assignment 4, Arithmetic |
Wednesday, Oct 12 | | | | | (at 13:00) First deadline Assignment 5, Structural Induction |
Friday, Oct 21 | | | | | (at 23:59) First deadline Assignment 6, Graphs and Combinatorics |
Monday, Oct 24 | | | | | Final deadline Assignment 5 |
Sunday, Oct 30 | | | | | Final deadline Assignment 6 |
|