| |
| |
| |
|
Page: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
<i-nZ> so i state that " The average of two real numbers p and q is 1/2*(p+q)", after that I simplify the pasted code from the link and reach the "1/2*(x+y)" ... so this equals to the 1/2*(p+q) so it calcs the average.. so it is a proof ? :)
<sloshytiger> yes
<sloshytiger> QED and all that jazz
<i-nZ> QED ? =.=
<sloshytiger> QED = "quod errat demonstratum" or something like that
<sloshytiger> it's latin for "that which was to be proven" and is a slightly old fashioned way of signaling the end of a proof
<i-nZ> :)
<sloshytiger> "and all that jazz" is a lyric from the broadway musical chicago
<kercyr> in generality, you want to prove things about each line of the program. And then chain them somehow to produce the proof for the overall function.
Return to math
or
Go to some related
logs:
beginner
qt
|
|