Oct. 29-08
Time passed very fast. I can hardly believe it is the end of October already.
Proving the program correctness is not terribly difficult to do, even through the proof can be tedious when justifying a program with tons of loops and if statements. When proving the accuracy of a program with double loops, I had a hard time to keep track of what exactly I was trying to prove at that moment. One of the TAs suggested me to list out the steps of the proof in the beginning and keep the solution for each phase in separate papers. I will definitely do what he said next time.
We handed in our assignments this Monday. The second assignment was harder than the first one, but it was a great enhancement on the lecture materials.
Wednesday, October 29, 2008
Friday, October 24, 2008
Checking Program Correctness
Oct. 24-08
The class has moved on to the new topic, Program Correctness. It was not as hard as the last topic so I was little relieved.
The due date for problem set #4 was extended to next Monday. The second assignment was posted this week. I haven't given any thoughts to the assignment yet. It is also due next Monday, so I have to rush through it during the weekend. It seems things have been really tight recently for every body. We just have to survive through this crisis.
The class has moved on to the new topic, Program Correctness. It was not as hard as the last topic so I was little relieved.
The due date for problem set #4 was extended to next Monday. The second assignment was posted this week. I haven't given any thoughts to the assignment yet. It is also due next Monday, so I have to rush through it during the weekend. It seems things have been really tight recently for every body. We just have to survive through this crisis.
Friday, October 17, 2008
Thanksgiving Is Over
Oct. 17-08
There was no lecture on Monday since it was Thanksgiving. I was stunned when the class discussed the master theorem because I didn't have any clue of what we were talking about. To keep up with the lecture, I read about the master theorem in the textbook but was not really convinced how it works. I thought it would be helpful if I could see more examples applying the theorem. For this purpose, I went to library but didn't find any book useful. I will go to the help centre next week.
Problem set #3 was due today and we also got our tests back. I did very poor on the first term test and I am losing my confidence. At least I can try to work harder next time.
There was no lecture on Monday since it was Thanksgiving. I was stunned when the class discussed the master theorem because I didn't have any clue of what we were talking about. To keep up with the lecture, I read about the master theorem in the textbook but was not really convinced how it works. I thought it would be helpful if I could see more examples applying the theorem. For this purpose, I went to library but didn't find any book useful. I will go to the help centre next week.
Problem set #3 was due today and we also got our tests back. I did very poor on the first term test and I am losing my confidence. At least I can try to work harder next time.
Monday, October 6, 2008
Ice Age I
Oct. 6-08
This is the time, where I would go around and ask people: "What would you do if this is your last day on the earth?" Whenever you hear me talking about things such as "the end of world" or "the coming of the ice age," then there is probably a term test approaching. I am starting to get tense. Just to relax myself, I will watch a horror movie tonight and begin my test study tomorrow.
Today, we have examined some questions on Fibonacci sequence and binary trees. I have come across the Fibonacci sequence several times in my life, but I never liked it. To make things worse, I didn't get the proof of F(n) = (phi^n - phi_hat^n)/sqrt(5). After the lecture, I stared at the slide trying to find out why phi = (1 + sqrt(5))/2. Two hours later, I finally noticed that I could just go ahead to solve r^2 = r + 1 to obtain the root (this was written on the next page of the slides.) Obviously, I was losing my focus and needed to pull my mind away from CSC236 for a while.
This is the time, where I would go around and ask people: "What would you do if this is your last day on the earth?" Whenever you hear me talking about things such as "the end of world" or "the coming of the ice age," then there is probably a term test approaching. I am starting to get tense. Just to relax myself, I will watch a horror movie tonight and begin my test study tomorrow.
Today, we have examined some questions on Fibonacci sequence and binary trees. I have come across the Fibonacci sequence several times in my life, but I never liked it. To make things worse, I didn't get the proof of F(n) = (phi^n - phi_hat^n)/sqrt(5). After the lecture, I stared at the slide trying to find out why phi = (1 + sqrt(5))/2. Two hours later, I finally noticed that I could just go ahead to solve r^2 = r + 1 to obtain the root (this was written on the next page of the slides.) Obviously, I was losing my focus and needed to pull my mind away from CSC236 for a while.
Friday, October 3, 2008
The End of the Starter
Oct. 3-08
Last week of September we moved to chapter 3, Recursive Definitions. The focus of the course has shifted away from induction, but it doesn't change the fact that we are still dealing with inductive proofs. I guess we can never get away from induction in this course.
The concept of recursion is by no mean a new topic to most of the students including me. I believe most people in the class already had plenty of experiences with recursive program before. However when I looked into the logic behind recursion, I could see a whole new aspect of the topic. One thing that I really liked about this topic is "unwinding." I have never heard a problem-solving method with such a fascinating name. "Unwinding" is a very complicated process to look for the pattern of a function. I didn't understand it at all when Danny explained it in the lecture. I revisited lecture slides afterwards and tried to recall what Danny said. Eventually, I got it after staring at the slides for one and half hours.
Last week of September we moved to chapter 3, Recursive Definitions. The focus of the course has shifted away from induction, but it doesn't change the fact that we are still dealing with inductive proofs. I guess we can never get away from induction in this course.
The concept of recursion is by no mean a new topic to most of the students including me. I believe most people in the class already had plenty of experiences with recursive program before. However when I looked into the logic behind recursion, I could see a whole new aspect of the topic. One thing that I really liked about this topic is "unwinding." I have never heard a problem-solving method with such a fascinating name. "Unwinding" is a very complicated process to look for the pattern of a function. I didn't understand it at all when Danny explained it in the lecture. I revisited lecture slides afterwards and tried to recall what Danny said. Eventually, I got it after staring at the slides for one and half hours.
Subscribe to:
Comments (Atom)
