Week#1 & Week#2

The Week-1 material wasn't so difficult, but I still needed to re-cap "set theory" which I learned in my former university. (I have BA in Economics from Glendon College, York University.) Since my BA was completed for a while ago, the math part of the lecture was a bit challenging until I organize my brain to pull out my math memory from the cortex. But the tutorial helped me understand the basics and Venn Diagram which clarifies the problems.

Now, the Week-2 material is something that I have to note it here in my blog, because "implication" is new discovery for me.

Universal claim is verified when there are no counterexamples, and is falsified when there is at least on counterexample. Existential claim is verified when there is at least one example, and is falsified when there is no example at all. This is clear to me.

Once it comes to "implication", the fun part begins (as I'm a computer geek or nerd haha). I actually have my own business in Web Hosting and IT Solution since 1999 and I sometimes have to create a program. There is always at least one if then statement when programming for a client. Well... that's because if statement is the most useful one to control/prohibit/allow several arguments within the program, and it's quite logical or I would say it's simple But when it comes to a plain English statement, things are more complicated (and also fun).

If you eat vegetables, then you can get a snack.

This is something I always tell my daughter and son. If my son does not eat vegetables, the function called eat_snack won't be executed. But then... as I'm a good daddy, I execute the eat_snack function even though my son didn't eat the vegetables. Well... this is the biggest difference between computer language and natural language. So this statement can be falsified in a real world, but it cannot be falsified in Python program (I mean, of course U of T is good at AI, so this may be programmable in computer world, but... anyways, usually it's not doable in the simple Python program). I've enjoyed a lot in thinking about "implication" like this. I believe I've got some idea to this course.

One another fun part I want to note here is "Vacuous Truth".

So, what is vacuous?

By the way, my first language is Japanese even though I was born in Canada. I've spent my childhood up to high school in Tokyo.

Anyways, vacuous means emptied of or lacking content ("Merriam-Webster.com"). Okay, this is very intriguing.

This equation implies x is bigger than x + 5 . Okay, it sounds astronomical to me. If the number gets larger and larger, it could happen at some point of time. But it doesn't exist in real numbers. But vacuous truth holds for this equation because there is no counterexample. Now CSC165 is getting more serious and becoming a "U of T" course. My first impression was "what?", but now it's getting more comfortable to me.

I still don't know how this course relates to "programming" yet. But I at least enjoy this course means that I should be able to handle (or I would say do well) on this course.

Now it's time to prepare myself for the next tutorial...