Sunday 12 October 2014

Week 5

This week has been a difficult one for me. I don't think I did too well on the test even though I studied for it. I simply took too long trying to answer the questions and even then I wasn't entirely sure they were correct. This was especially frustrating to me since it was supposed to be an easy test as it was very similar to one of the past tests. I simply blanked out and couldn't recall how it was done on the old tests.

It didn't get any easier after the test. The lecture on the process of proofs was very difficult to comprehend to me. As I've stated before, I've never been very good at creating equations from scratch. I felt very lost as professor Zhang just pulled out equations from word problems very easily.

I also didn't understand the pre-tutorial homework very well as I didn't know what exactly it meant by proof structures though by the end of tutorial I understood what it meant and I think I understood the quiz. The real problem I feel is going to be the actual proofs that I will need to provide. I think I'll head into office hours for some extra help next week as I feel that it will only get worse from here.

Thursday 9 October 2014

Week 4

This week's lecture was mixed for me. Some of the lecture I understood and some I couldn't grasp very well. Implication, bi-implication, transitivity and mixed quantifiers I understood decently well. However, when the subject turned more mathematical, I simply got lost. It's been a long time since I've done proper math, and even then I wasn't too adept at it. So when the examples were presented they were a bit daunting to look at. When proofs came up it didn't get any easier for me. When the answers to the proof examples were presented I could follow the logic, however, I was never the best at creating my own equations from scratch so I knew it would be difficult for me to do on my own. Perhaps I will try to study more and see if I can do some examples on my own while studying for the midterm.


Monday 29 September 2014

Week 3

I enjoyed this week's lecture. After reviewing terms and definitions of logical notation, I have a better grasp of understanding the sentences and statements described in lecture, tutorial and the assignment. This week's lecture on negation was fairly easy to grasp and interesting. The tutorial was also good as good questions were raised and the quiz simple.

I have been working through the assignment and some of the questions were challenging, particularly questions 2 and 5. There's not too many examples I can review on to make sure I fully have the correct answer though I have a fairly good idea of my translations. Hopefully I can get a better grasp on the assignment details and do well.

Friday 19 September 2014

Week 1 and Week 2

When I first entered the lecture hall for CSC165, I wasn't sure what to exactly to expect. I imagined that it wasn't simply math nor programming as those have courses of their own. After getting through some slides and the syllabus, the Jackie Chan image used by professor Zhang was apt as I was thoroughly confused by the symbols used for computer science mathematical reasoning. Many symbols and their uses were foreign to me and I realized that it would take some getting used to. However, I believe that I can and will get the hang of the symbols and how to use them properly.

As the second week rolled around, I was still finding some difficulty following the logic and expressions used. The main difficulty I had was attempting to recreate expressions on my own. I had memorized most of the symbols and what they meant but creating the expression from scratch from a sentence or statement was difficult as they didn't seem to adhere to a formula but were rather fluid. The tutorial assignment wasn't too bad to work on. It took a few minutes but I could follow along with the answers. It takes me a bit of time to hone in on what sentences and statements demand but I will continue to work on it through study and practice.