Week #12

This is the last week before the class ends and it will be my last slog which is needed to hand in. What we learnt this week is about countability and computability and most interestingly, induction, which is another method used in proof. Since I've already learnt about induction at the beginning of MAT137 and we did a lots of practice at that time. It much easier for me and much clearer to me when I listened to it as the second time. In my opinion, induction is quite useful to solve questions with variable n, which is uncountable as long as this method is actually in your head. 

Although the term test result really frustrated me these days, there is a good news happens to me, which is I got a full mark on my second assignment, which surprised me a lot. I can't even imagine that I can get any full mark in university because courses in university seem much more difficult than high school. But I did it!  I suddenly feel like maybe I can do better than I used to do by changing my mind of these courses. And it actually encourages me to prepare well on final exam.
I see many amazing slogs on the course website especially slogs from http://www.reddit.com/r/journeythrough165/. I think keep writing slogs every week is a good habit because it can actually record your mental journey through this semester.

Here is a proof using induction :

Week #11

This week is the last second week before the class ends, plus there is a fall break with two days off on Monday and Tuesday, which makes me excited. Although this week doesn't cover too many things, what we learnt, again, makes me confused. I heard that this is the last chapter for this course, which i think is also the most difficult part. Basically, what we need to do is to prove non_computable function and computable function using reduction, which is something related to halting function. I still have no idea about it until I see the course note from course website. I can understand the example that was given and structure is clear to me. But that it, I don't think I can solve the same type of question by myself. I really hope that there will be more examples with solutions on this type so that I could have a deep understanding. The following question is the one appears on the course note, which I think is pretty typical. At least, I think we can figure out the structure of same type of questions after understanding this example.
I also check other students' slog like http://davidhanslog.blogspot.ca/to see if we have the same problem on halting problem.And yes! Many people are confused by this kind of problem.

The following is an example using induction:

Week #10

This week, the second term test result has come out, which frustrated me. I remember that when I first saw the test paper, there were only three prove questions and it seemed like i had done them before because it looked familiar. But actually, like the last test, I spent too much time on the first two questions and when I moved on to the last question, I realized that I didn't have enough time to finish. After the test, I heard that the second question is the most difficult and the last one is pretty easy. But what I did is just opposite because I get a full mark of proof on questions two but get 0 on question three.That looks ridiculous. The most regretful thing is that the question that I get 0 is the one that appears on assignment2 which is just due before the test. Although I use a more complicated way to solve it in assignment , I should have done it on the test.I felt like I could have enough time to finish it, then I was so careful to do first two that I forgot the time, which is the main problem. Also, I always think that what if I get more familiar for the stuff that is tested, this result may not happen to me.

It has already been two tests, and only one final left. I can't loose chance to get high mark next time, so I really need to look everything carefully and get familiar with the whole bunches of knowledge that I have learnt in this course.

problem solving:

 if we want to prove something equal, we have to show as following:

Week #9

This week, we began to learn Big O and Big Omega and how to prove or disprove it. This part is pretty interesting, which, I think, is my favorite part in this course. The way we did the prove of Big O and Big Omega is quite different from that we did for other questions. Maybe that's why I like it:)
Although what we learnt this week is kind of easy to me, we have the second assignment that is due on Monday. Some them are pretty easy and we practice lots of time. But others seem not easy to solve like the following question.
∀ x ∈ ℝ, ∀ e ∈ ℝ!, ∃ d ∈ ℝ!, ∀ w ∈ ℝ, |x−w| < d ⇒ | x − w | < e
Here is the way I did:

    

Every time I see there are too many variables in a question, I feel confused and don't know which way should I do it first. However, there is something interesting hidden in this question, which is that this statement is actually a definition of continuous function. Since the graph of floor is obviously not a continuous function, we can say that this statement is False and we need to disprove it, which eventually gives me some ideas to solve the next question that looks similar to this one.
∃ x ∈ ℝ, ∀ e ∈ ℝ!, ∃ d ∈ ℝ!, ∀ w ∈ ℝ, |x−w| < d ⇒ | x − w | < e

Here is the way I did:

Week #8

This is the 8th week and we learn about counting steps using worst case.Basically, what it asks us to do is just counting how many times a line should run in python, which eventually has something related to the course csc108. Overall, this part is not so hard though as long as we understand the meaning of the code which is necessary to know in csc108. What's more, professor also talks a little bit about Big O. At first, I was really confused because there are too many variables in the definition. But later, after we did the prove stuff, I gradually figure out what does it mean and the definition seems pretty clear to me.

There will be a second term test next week, which mainly tests us how to prove based on what we learnt these weeks. I personally have more confidence on this test than on the previous one partly because I did very well on tutorials and the example test that was given to us is pretty easy. But still, I need to do much work to review just in case that there was any knowledge that I didn't cover before.I hope I can get a higher mark on it.

Problem solving:(counting steps)

week # 7

It's been seven weeks since this semester started, which means we are already in half way through the whole term. Every time I look at the stuff learned before, I feel like that the time in university goes so fast. This week, we are still continuing on proofs but more complicated than before, which is to prove by cases. This kind of proof is not hard but we have to separate it into several cases and prove every case in order to make a good proof. What's more, I think the most useful part during this week is to introduce some rules, which can also be seen as the conclusion of some basic and necessary rules of proof.
Elimination:
conjunction elimination: If you know A ^ B, you can conclude A separately (or B separately).
existential instantiation: If you know that there exists k in X, P(k), then you can certainly pick an element with that property, let k' in X, P(k').
disjunction elimination: If you know A or B, the additional information :A allows you to conclude B.
implication elimination: If you know A implies B, the additional information A allows you to conclude B. On the other hand, the additional information :B allows you to conclude :A.
universal elimination: If you know for all x in X, P(x ), the additional information a in X allows you to conclude P(a).
Introduction:
implication introduction:If you assume A and, under that assumption, B follows, than you can conclude A implies B.
universal introduction: If you assume that a is a generic element of D and, under that assumption, derive P(a), then you can conclude for all a in D, P(a).
existential introduction: If you show x in X and you show P(x ), then you can conclude not x in X, P(x ).
conjunction introduction: If you know A and you know B, then you can conclude A ^ B.
disjunction introduction: If you know A you can conclude A or B.
The most difficult part this week, which I think is the worst case by introducing two functions which are the upper bound O(U) and the lower bound. The formal definition was pretty complicated and confused when I first saw it. However, after understanding the actual meaning of them, it is much clearer to me. The issue is that I can understand it when I'm looking at the definition but can hardly write it down by myself. Therefore, it is probably a good idea by practicing related problems in order to get familiar with it.

week # 6

We have a long weekend  as Monday is a thanksgiving day, so we only have two lectures  and no tutorials this week. Personally I think the work in this week is much easier than that in previous weeks. And we are continuing on proof of different types of problems including the proof of non-boolean functions and limits as well as the proof of something false. Since we've already learned how to write the outline of a good proof on last week, it's not  as confused as I thought at the time in which I learned proving in MAT137. It's really helpful for me when the professor taught us the proof about limits with an example of asking us to proof the definition of the functions which is exactly the same as what I learned during MAT137 lectures. In fact, I've been frustrated and confused about those kind of questions for a long time and eventually, I chose to totally memorize them instead of understanding them. However, I got really excited when I saw this proof in165 lecture on Friday using the different way of thinking but the same solution. As a result,  I'm not as confused as before, and I even wanna go back to do all the questions that I didn't get one more time using the method I was learned in 165.

The following graph is a typical graph to illustrate the definition of limit:

week #5

Good news in this week was that I didn't lose mark on my quiz, but bad news was that we just had a test which is my first term test in university and more importantly I didn't even finish it. I focused on the first two questions which spent me lots of time and I didn't realize that the time passed so quickly. As a result, I had little time to think about the last question, which again, made me frustrated after the test. I think the most possible reason of this situation is that I'm not so familiar with those knowledge so that I'm afraid to make mistakes on them which at last waste me a lot of time. I'm on the way back and I have to catch up with other classmates and then keep pace with them. That's my foremost goal of 165 now. Thankfully, this week's work is to proof some fundamental questions, which means that I'm able to spend more time focusing on reviewing previous knowledge through my notes and lecture slides on course webpage.

Problem solving:

week #4

It has been four weeks since this course began. And what I found interesting is that this course is kind of similar to the course MAT137 which I'm also taking in this semester, such as the proof of limit. Although the ways of teaching might be slightly different, I'm still quite happy about that because that helps me to improve understanding of this field of knowledge.
Basically, what I have learned this week is about proof. Not the proof of a real problem like what we learned in MAT137 but the outline of proof, which I think is helpful on both course in the future because what we actually need is not to solve a real question correctly on the test but to understand the problem and design a plan to solve it. This week's stuff is pretty clear to me and hopefully I can still be like this next week.
However, the issue of this week is not about the lectures during the class but about the first assignment. This assignment only includes 5 questions with several subquestions each, but the fact is that I have been doing it with a group of 3 for two days. It looks like pretty easy but once we do that, lots of problems come out as each of us has different understanding of those questions. In particular the last two questions, none of us is pretty sure about them. As a result, we studied the notes from lectures over and over again in order to find the solutions, which spent us plenty of time.
         4. For each pair of statements below, given an example of sets D; P, and Q that make one statement true
and the other false. Explain the difference in words, and show it with a Venn diagram.
(a) The pair 8d 2 D; P(d) ) Q(d) and 8d 2 D; P(d) ^ Q(d).
(b) The pair 9d 2 D; P(d) ^ Q(d) and 9d 2 D; P(d) ) Q(d).
We still don't get the satisfying solution of question 4 above until the answer key has been out, which is quiete simple using the basic knowledge we learned. I looked through the solution carefully in order not to get confused next time after I meet a question similarly.

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