Commit 4d7156e3 authored by David Quarel's avatar David Quarel

Update README.md

parent 8d6914e0
......@@ -46,6 +46,7 @@ Do the worksheet problems from chapters 5 and 6.
#### Workshop:
Friday 6th July, CSIT N101, 6pm
We will go through more simple proofs from the textbook like first week.
......@@ -66,6 +67,7 @@ introducting "proof by induction", a very powerful proof technique.
#### Workshop:
Thursday 12th July, CSIT N101, 6pm
Some of the questions on the old assignment use induction, (the one about
tilings), so I'll go through that in the workshop.
......@@ -76,11 +78,13 @@ Read chapters 11, 12, 13.
#### Preparatory work:
Do chapters 11, 12, 13 on the worksheet.
These chapters are the trickiest, so whatever you struggle with,
bring it to the workshop.
#### Workshop:
Thursday 19th July, CSIT N101, 6pm
We'll go through the classic cardinality proofs (Cantor's diagonalisation)
along with some interesting non-constructive proofs using the concept of
cardinality.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment