After writing the test this past week, I feel I did fairly well. I believe my biggest stumbling block at the moment is converting a proposed solution into formal notation. I feel I can grasp the content of the material fairly well, I just do not feel very comfortable with the precision and detail given by my answers. I think that with time that I may gain confidence in the format of my answers.
One example that surprised me was the one given on the past tests. It was a problem that involved a 'zigzag' function and asked to prove that if the precondition holds, then the program terminates. My answer did not use induction and seemed fairly informal when compared to the model solution, which had three claims, one of which was proven through induction. I am beginning to see mathematics as more of a language, so hopefully, as with any other languages, the more I speak it the more fluent I will become.
No comments:
Post a Comment