Assignment 3
I've figured out what to do for most of the questions on this assignment.
The first question, is pretty straightforward. It wasn't going to be as easy if we didn't have the postcondition. But I am sure after tracing the code a few times, we could have figure that out also.
For the second question, I have found one counter example and I would assume proving the other three would follow the same general "IFF" procedure.
Edit: Well, I started proving the other three but I encountered problems proving them. As a result, I found 2 more counter examples which seems reasonable based on the fact that in computer science they don't make you do repetitive work.
Third question, I was a bit lost at the beginning but I think I am on the right track. Hopefully, I get to post my solution after the due date.
Forth question, I haven't looked at it YET because my partner is doing it. :]
The first question, is pretty straightforward. It wasn't going to be as easy if we didn't have the postcondition. But I am sure after tracing the code a few times, we could have figure that out also.
For the second question, I have found one counter example and I would assume proving the other three would follow the same general "IFF" procedure.
Edit: Well, I started proving the other three but I encountered problems proving them. As a result, I found 2 more counter examples which seems reasonable based on the fact that in computer science they don't make you do repetitive work.
Third question, I was a bit lost at the beginning but I think I am on the right track. Hopefully, I get to post my solution after the due date.
Forth question, I haven't looked at it YET because my partner is doing it. :]
posted by Behrad at 10:33 AM
0 Comments:
Post a Comment
<< Home