Week 7

Reading week was nice and only another half a semester to go. However, remaining of the semester I heard is rather difficult when we begin to do proofs with complexity.

So this week, we finished off the using proofs structures and were introduced a new way called proof by cases. My first thoughts on this was it really wasn't that difficult. It was really simply proofing a certain claim for more than one cases but in one statement. So overall, the proofs I feel relatively fine with.

For rest of the week, we began determining the run time of certain code (otherwise called complexity). I'm still rather slow on how many steps and what is meant by the upper bound and lower bound when doing these; so I am rather a little bit scared for this in the future.