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