Since i took CSC165 in the summer, this is my first time to use SLOG.
After reading the SLOG handout, i kinda understand what is it now. Compared with the bulletin board, SLOG is a better platform to post one's opinions, with more details and informations.
It's an exciting thing that we can record what we've learned and what we've doubted. By viewing others' blog we can try to explore a different way to think the same problem. That's a good thing.
The materials in the first week were not too much and not that confusing. So far we took a review about the simple induction and strong induction by dealing with some mathematical statements. They seem quite familiar, but the problems are always tricky.
The proof of recursive program and program correctness might get harder in the future. For now, i will try my best to conquer any difficulties in the most basic part.
1 comment:
I guess a BB is analogous to everybody shouting in the same room, whereas a blog is like you talking in your room with the door open. Each is useful for different reasons.
Post a Comment