Week 12

Finally, a final class as we approach closer than ever to the final exam. (Too much of final, yeah?)

Last class, so nothing that important was covered. Larry gave us a few tips about the a3. Then we briefly looked over induction (Domino effect) and discussed our format for the final exam (or we can say three term tests back-to-back)

Overall, I liked the course, and feel glad that Computer Science has such Mathematical Logic courses going on side by side to the hardcore programming as these proofs seriously a side of brain, rather a new aspect through which you look at the programming world. These 3 months have been worth, learning new concepts and visualizing things with a better angle.

This course has made be able to speak in terms of Mathematics which is fascinating (and was promised by Larry in the first week of class.)

Good luck everyone for finals,
Signing off,
Abhinav.