Week 5 to 6

This week is alright...

The midterm was pretty fair, though I made a lot of really, really, stupid mistakes that cost me a hefty sum of marks, like finding the negation of quantifier functions. I should catch up on my sleep more -_________________-(no I did not cram).

Aside from the midterm learning proofs for now is pretty simple, in terms of writing their structure. But I think I'll have trouble practicing how to solve them, but for here, again I am most likely going to rely on doing previous assignments or exercises from old CSC 165 sites.

From week 4 to 5

I have three midterms this week -_-

Yes I just killed 3 seconds of your life by making you read that :D

And now onto CSC 165...

Now that more mathematical operations are being introduced, especially in proofs, I have begun to find CSC 165 easier to understand. I just need a lot of practice for writing proofs in the weird indented format introduced in Friday's lecture using some old past tutorial assignments from previous years... except they have no solutions! >_<

So far I feel pretty comfortable using symbolic and logical notation, except I had trouble with translating statements with multiple quantifiers and variables declared in a  statement to plain English(in Assignment 1).

Say you have a question similar to 3.c) from Assignment 1: 
The variable w introduced within the parentheses right after the declaration of a variable before it(y) means that it will only exist as long as single y exists? And so that for any other variable that is not y variable w does not exist at all, or if it does, it is a different w variable with none of the attributes of the w that exists alongside y despite them having the same name?

Week 4...

This week was pretty smooth-sailing. I liked the paper-folding "social-engineering" experiment Professor Heap had in last Friday's lecture - even though I didn't bother making new friends(lol). Being able to interact with the problem through an actual experience help me remember or understand a concept waaaaay more than just sitting and listening, you can dissect the problem yourself and feel pretty darn well satisfied about it.

I found this week's concepts on proofs and using manipulation laws with symbols pretty straight forward because it involves basic math operations. The only things I am stuck on for this week are translating some key English words to symbols. The word "unless" is always equivalent to the logical "iff-not"?

And for question 6 of the practice questions on the course website, states that

For the 6.b) how is the value of x dependant on the value of x^2 being even such that x^2 => x since

x^2 = x * x wouldn't it be more likely to be dependant on the value of x being even valued rather than x^2?