Week 4


The week started with the announcement of the due assignment 1. This followed by a scarier announcement of the first term test. The lecture focused on bi-implications, and various equivalencies associated with it. The breaking up of a bi-implication into disjunction of two conjunctions and vice-versa was tricky, but at the same fun.

Larry gave us a view about how to structure of a proof, and ended with a few good examples. He gave few good real-life English examples, to justify the point he was making.


The tutorial was comparatively very easy this week, but the next day, we had to submit our assignment. Assignment 1 was really brainy. It was challenging, and required a great amount of time, and discussion with the partner. In the end, writing down the answers in LaTeX was rather more tough than anything. In the end, we (my partner and me) finally figured it out, and submitted the assignment before time.



No comments:

Post a Comment