'Proof complete' presentation slideshows

Integer Square Root Problem

? x,y. x-y<k- 1 ? ?( x < y 2 ) ? ? (y< 0 ) ? ? n. ? (n<y) ? ? (x<n 2 ) ? x<(n+ 1 ) 2 ? ? x,y. x-y<k ? ?( x < y 2 ) ? ? (y< 0 ) ? ? n. ? (n<y) ? ? (x<n 2 ) ? x<(n+ 1 ) 2. Part I: Initialize the Induction. Integer Square Root Problem. ? x. ? y. y 2 ? x ? x<(y+ 1 ) 2.

157 views • 8 slides