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