In addition to these proof techniques, I have devised one of my own: Proof by Divination. I used it to show one of my algorithms would work correctly in my latest CS 381 homework; the proof went like this:
"Yea, and the Lord God spaketh unto Jeremiah; and He looked unto the method and saw that it was good."
Sunday, January 30, 2005
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment