1. , . , .
2. . :
;
;
;
;
;
;
.
3. ( ). :
;
;
;
;
.
4. . , . , . , , , , .
5. . , (, .). , , - (, ), , .
6. . , , , . , , , - (, ), , , .
7. , . , : , . .
8. , . , , , . , , . .
9. , .
10. , : 0 , 1 . . , , . , , , . .
|
|
11. , . ( ) , :
;
.
12. , :
<>::=<>|M(<>,<>)
|m(<>,<>)
M max , m - min . .
13. , :
<>::= T | F | And(<>, <>) |
Or(<>, <>) | Not (<>)
And , Or , Not - .
( true, T, false ).
14. , , . .
15. . . , . , , . , .