4

4

1. .2. 4 .3. / 345/13-4-1999, 2 . , , . . . , ( ) 4. . :

_

.

.. , .5. 2 . , . , . , _ . . :

-

: , , & , . : ) , ) , ) ) , .

1. .

2.

3.

4.

5. .6. , , . ( ).

7. .. ( , , ) . . . .8. / . . . , _, . _ . . : : . , . (Loop invariant): (loop invariant) . 130

( ) ( ). , (functional variable) ., , : bottom-exit, _ .. _.

/ , / .

(daemon-exit) .

.. __ - (.. 99999) . - (99999).

.9. - . , .

131

, _ . -, .10. . , . link: http://www.helenemartin.com/2010-05-while-loops-gone-wild/ , 2 CM, ..., () SIGCSE E (ITICSE o 2003 ). PPIG, . , ( ) . ( ACM ISTE http::/www.iste.org) 11. , Vygotsky, .12. .

13. . .14. /E . (. , .). , Scratch, Logo Yenka. Yenka.15. .16. ( ) 17. . . 1 1 _ ( )

:

1.1. 1.2. 1.3. _ 1.4. ( ) , .

2 _ :

2.1 2.2. 2.3. 2.4. _ ( ) , . 3 _ :

3.1. 3.2. 3.3. _ 3.4. _ , . 2 1A. :

1.2.3.

1 2 2

3 11 11

> 0 > 8 > 4

1 1 1

2 + 2 + 3 +

___

4.5.6.

2 3 2

2 6 -3

>= 0 > 0