It's already week 7... Time is just going by so fast. I feel like the course materials are getting harder and I am starting to have a hard time to keep up with them. This week's lecture was on program correctness, which really sounds like something that will come in handy when you can't run the code. The main point is tracing through the program. You have to pretend to be a computer and imagine how the code will be ran. It is not something that everyone can do. I think I am quite good at it. Therefore, proving the correctness isn't too hard for me. (I remember doing something similar last year.)
-Problem set 4-
I feel like I did a question that's almost the same last year... So, I won't comment too much on it. The trick is to insert the new character to the begining of the string of length n instead of the end to prove for P(n + 1). Giving us a problem set about program correctness right after it's been taught, Danny is quick. =D
No comments:
Post a Comment