Tuesday 26 February 2013

Exercise 5

This weeks exercise has been the most challenging!!!
I understand the proof structures but i find really challenging to come up with the in between part, specially when it seems so obvious or when we have to use precise definitions.
I found the first question to be really helpful to check basic understanding of proofs.
The second and third questions where a bit more challenging but i liked that it gave us the chance to disprove something in  the right format instead of just presenting a counter example.
What i have not been able to fully understand was question number 4

Friday 8 February 2013

test 1

The test was really fair for what i was expecting.
For the first part i think list comprehensions are a good way to demonstrate ones abilities to read and understand code as well as to understand the logic behind them. I got confused with the or statement, and by accident treated as a and. I also found a little bit hard to visualize the inputs and outputs for P(x).

The second part was a little bit unexpected, I was lucky to be taking mat 137 and work my way through it. Epsilon Delta questions are always challenging.

Part three was sooo easy that I mixed up the terms, I think i got it right the first time, but i found that as i reread them i started doubting my self.

Saturday 2 February 2013

Assignment 1

I found the assignment to be relatively fair. I find translating from English to logic harder than the other way around, and so for the first part of the assignment was a bit challenging. The second part although it was hard to translate from English to Logic, I found going through the first part really helped me to understand the second part. Part three was fairly easy as i got the hang of translating. Part four was the most challenging as i found that it was easy for me to get confused about which one was being implied or implying the other. I think this assignment really pushed my understanding of the concepts learned in class.