news
Wednesday, Oct 11 | | | | | Finalized next week's exercises |
Tuesday, Oct 10 | | | | | Fixed book references in this week's exercises |
Thursday, Sep 21 | | | | | Published answers to this week's exercises |
Thursday, Sep 14 | | | | | Published answers to this week's exercises |
Tuesday, Sep 12 | | | | | Upated lecture notes on induction |
Thursday, Sep 7 | | | | | Published answers to this week's exercises |
Wednesday, Aug 30 | | | | | Published answers to this week's exercises |
Tuesday, Aug 29 | | | | | Published groups and time schedule for the exercises |
Sunday, Aug 27 | | | | | The new course homepage is up |
| | upcoming dates
old dates
Wednesday, Sep 13 | | | | | (at 13:00) First deadline Assignment 2, Logic and Proofs |
Wednesday, Sep 20 | | | | | (at 13:00) First deadline Assignment 3, Induction |
Wednesday, Oct 4 | | | | | (at 13:00) First deadline Assignment 4, Arithmetic |
Thursday, Oct 5 | | | | | Last day to register for the exam (registration is obligatory!) |
Wednesday, Oct 11 | | | | | (at 13:00) First deadline Assignment 5, Structural Induction |
Friday, Oct 20 | | | | | (at 23:59) First deadline Assignment 6, Graphs and Combinatorics |
Monday, Oct 23 | | | | | Final deadline Assignment 5 |
Sunday, Oct 29 | | | | | Final deadline Assignment 6 |
|