Showing posts with label Week Seven. Show all posts
Showing posts with label Week Seven. Show all posts

Week 7

Unfortunately, I missed the Monday lecture with the guest lecturer because I was frantically studying for another midterm. Anyway, we looked at program correctness this week. I think compared to the material we were covering the last couple of weeks, I find this a lot easier to take in and understand. There is something about time complexity that I just despise. Program correctness, on the other hand, feels more straightforward. I just need to follow the code and check if the postcondition is satisfied or not given the precondition. 


Thus, I found the problem set for this week pretty easy. I think problem sets are normally quite easy though. Assignment questions, however, are much harder. I also think weekly problem sets are a great way to force lazy people (like myself) to practice and do problems related to the course material recently taught. It makes me feel less behind than I would've been :P