Post #2: Venting about Venn diagrams

Many things happened during week 2, including:

a) the first tutorial session and quiz

b) lectures on new topics such as statements, sentences, implications, contrapositives, etc. 

c) the official release of assignment 1

d) the posting of tutorial 2 exercises

As I sit here listing the little and not-so-little milestones accomplished in week 2, as well as the upcoming exercises and projects, I can't help but feel a bit stressed. There's simply so much to do (all day, every day)! The weekly tutorial exercises, quizzes, and SLOG are ingeniously well-planned in that they literally demand consistent and regular effort from students -- not keeping up with the coursework is just not an option. Since I realized this early on, I've made some effort to read lecture notes ahead of time so that when Prof. Heap actually talks about the planned topic, I am able to understand it more fully and clearly. This has worked quite well for me. For example, I had no problems identifying the antecedent and consequent in implication statements such as this one: 

"I get excited (consequent) whenever marks are uploaded onto MarkUs (antecedent)"

In general, I think I managed to grasp the concept of the things learned last week. However, there were some concepts that were quite confusing for me -- namely, the ambiguity of the Venn diagrams and their multiple interpretations. The corrected Venn diagram for proving the statement; "There is one of the three python programs that fails all three test suites," false in 2(d), looked like this:

This is what I had put down before: 

My interpretation of the Venn diagram was that we had to find one specific configuration of programs and tests that would yield a solution to either refute or affirm the statement. Thus, the "O" in the intersection of Q and T, as well as the "X" in the area of Q-not-in-T, should read something like "All three python programs pass all three test suites," which would suggest that none of the three python programs fails all three test suites (therefore the statement is False; this is what we wanted). The solution put up seems to be the general solution, which combines three possibilities...

a) All three python programs pass all three test suites.

b) Two python programs fail all three test suites.

c) All three python programs fail all three test suites.

...so that each area of the resulting Venn diagram is a "?". This makes sense because it is the general case and accounts for all possibilities. At this point, I'm confused as to whether we are required to find the general solution or a specific solution when we're doing these Venn diagrams. As well, the "?" in all of the T-not-in-Q parts is also somewhat unclear for me; shouldn't an "O" in the intersection of T and Q automatically force the other parts of Q and T to both have "X"s? So why does T have "?" in all of the solutions? Since Venn diagrams are extremely important for this course, and these issues have been bugging me since last week, I'm going to clear this up as soon as possible with either my TA or Prof. Heap this week.

While I'm at it, I also have to ask Prof. Heap a few questions about assignment 1 (for example: how much he expects us to write when he says "Explain" for question 4). My partners and I are planning to work on assignment 1 early this week so that we can have time at the end to fix errors and revise. Hopefully everything will run smoothly in the upcoming week! Until then, ciao.