Comments

I wasn't sure whether we had to put up a different post for the comments we have made on our other mates' slogs, but following the trend, I'm hereby pasting few of the comments I did make on my friends' wonderful slogs:

Anam Alvi:
I loved the way you presented, 'Adidas, you might want to re-brand your campaign because impossible definitely is NOT nothing.' It is definitely NOT wrong to say that after this course. Good luck for the exam!

Jahid Ahmed:
Your problem seems fairly interesting. The way you have clearly mentioned it out is easy to understand and does the job of explaining it pretty well. I followed a slightly similar process, but the general outline was pretty much the same. Well done!

Quinn Daneyko:
The first time I saw the Big O proofs, I also had a similar feeling like yours. I now believe I have grasped the idea behind it, and hope you too also would have. I found a valid point you mentioned about the difference in the proofs we do in MAT137. Both courses circle around proofs, but slightly in a different manner.

Qasim Iqbal:
Firstly, I really like the theme you adopted for the Slog. It's really appealing the way you have put up the information throughout. Computing and halting are confusing for sure. Computerphile have a really good video on the topic here: https://www.youtube.com/watch?feature=player_embedded&v=macM_MtS_w4 I posted the link in my slog also. I hope it helps you out a little bit.


Signing off again,
Abhinav

Goodluck everybody!

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.

Week 11

No Class!

Week 10

Halt? Computable?

The class focused on the topic of halting and computability. At first, it seemed weird when you come across the fact that when a program halts, it doesn't halts and when a program doesn't halts, it halts. Though, later I realized it wasn't that bad as it seemed at the first look. This video made it a lot simpler for me:

We also covered some more over the Big O and Big Omega proofs, followed by some proofs involving theta, which weren't too bad to be frank. I guess, this weeks tutorial made it a lot clearer to me about these proofs.