Week 3


The class was based about some more elements of the language of Math. It started with conjunctions and disjunctions, which was fairly easy to grasp. Larry made sure that we don't get confused with the English meaning, and gave a laughable example of a pen-phone! Then, followed this:

A logician’s wife is having a baby. The
doctor immediately hands the newborn to
the dad.
His wife asks impatiently: “So, is it a boy or
a girl?”
The logician replies: “Yes.

I couldn't believe, that such a mathematical joke could bring a smile on your face. Welcome to Computer Science! Welcome to UofT!

This was followed by discussing the steps of negation, which we were already aware off by now. But points made on scope were helpful. Truth tables were next in turn. He explained why we need truth tables with simple but effective example. We worked over few of the truth tables, and concluded at the meanings of satisfiable, contradiction and tautology. The most important concept of the day was the De Morgan's law.

The second tutorial was nice brain-exercise. The class was loud with discussion and different view-points. This lead to a better understanding of the concept, and was good to tackle something challenging.


No comments:

Post a Comment