Hello everyone,
Week 4 is finished and again we have learned much regarding the mathematical reasoning in computer science. During the week we continued our discussion regarding quantifiers as well as implication and disjunction in symbolic statements. A lot of this week, us students spent working on our assignments which was due on Friday. Personally, I found the assignment quite useful in recalling the use of a lot of the material we have been covering.
A new introduction to this course this week was our introduction to proofs and their role in computer science. Most of out introduction this week was spent learning the structure and organization of mathematical proofs rather then proving actual arguments, however, we will be working on proving computer related proofs. So far, proofs seem interesting but are somewhat intimidating depending on the actual material which will determine how rigorous the proof must be.
Great that you found the assignment useful! It's meant to be so. Since that's the case, you should look into other problems you can work on outside of class, from those that Prof. Heap posted to others you may find on your own. They will let you put your learning into perspective without forcing you to work under time constraints or to get the 'right answer'—we just want you to get used to thinking abstractly.
ReplyDelete