week #3

This week, we are continuing on basic symbols like conjunction, disjunction, negation and implication. And especially  the differences between predicates (∧and ∨) and sets (∩ and ∪). What's more, some more complicated examples of negation and the truth table were introduced by professors. Through all those new things I learned, I personally think that the truth table makes more sense to me as I can't even figure out what the relationship between variables P , Q and disjunction, conjunction and implication of P, Q until I learned the truth table. It really helps a lot on proving.Although I get more familiar with the teaching style and get more used to the university life than the last week, there is still something dissatisfied happening to me, which is the first quiz that I ever took in the university. It's actually not as difficult as I thought and the format of quiz is exactly the same as the practice that appears on the course website. But I still get a worse mark on it, which makes me frustrated. After the quiz, I do think about the reason and I think the most possible reason is that I still lack of the understanding of the knowledge which is on the quiz so that I can't figure out what to do with it once it's only changed a little bit  but with the same knowledge as the practice.
In conclusion, as this course is necessary for computer science program, I'll always keep in mind  that how important for me to learn it well and I'll make all those stuff which is unclear to me clear.

csc165 week 2

It has been two weeks since my university life began. I was always being told by my friends who are in higher grade that university is quite different from high school like the teaching styles by professors. But I didn’t realise until the moment I was in the campus. After the first week, it seemed quite easy to study in university and I was kind of excited about everything around me. However, I didn’t know that the real university life just began. The second week was totally different from the first week as we began to learn something new based on the program I chose. And it seemed obvious that I had to change a way of studying in order to get used to the university life as quickly as I can. For this course, to tell the truth, I really didn’t know what it is about in the beginning. I got totally confused when I did the problem solving for the first tutorial like translating English in to symbolic form.  Thankfully, I have more sense on this course, on the logic after finishing the first tutorial and I realise the significance of taking this course.

Basically, what I learnt from this course this week is about some symbols, such as universal and existential duality (“for all” and “there exits”), implication , conjunction and disjunction and negation, as well as how to use them. It’s kind of hard for me to understand if the question has a combination of all the symbols. Therefore, it’s quite important for me to get more familiar with those symbols and do practises related to them. 

I also look at the slog from http://slogcsc165.blogspot.ca/. He introduces a type of puzzle called "ship puzzle" which I think is pretty interesting.Solving puzzles like this is also a good way to learn logic.

slogURL.txt

slogURL.txt