====%%(wacko wrapper=text wrapper_align=center)Игра в Робота (I)%%==
%%(wacko wrapper=text wrapper_align=justify)#|
||
//**Постусловием**// цикла (//**P**//) называется отрицание его условия (//**C**//), то есть //**P**// = **не //C//**. //**Инвариантом**// цикла (//**I**//) -- утверждение, верное до и после любого выполнения цикла. Нас интересуют //**I**// такие, что утверждение **//I// и не //P// ** является тем, что мы хотим доказать. Таким образом, для доказательства правильности работы программы необходимо сформулировать, что делает каждый ее цикл, доказать, что он нормально завершается, при необходимости предъявить соответствующий инвариант и доказать его индукцией по проходам цикла.||
|#%%
=====%%(wacko wrapper=text wrapper_align=center)Задачи%%==
**1.**
__**Дано:**__ Робот в огороженном прямоугольнике.
__**Надо:**__ Робот у северной стены.
**2.**
__**Дано:**__ Робот в огороженном прямоугольнике.
__**Надо:**__ Робот в верхнем левом углу.
**3.**
__**Дано:**__ Робот в нижней (южной) клетке огороженного коридора шириной в одну клетку.
__**Надо:**__ Все клетки коридора закрашены.
__**Примечание:**__ Желательно найти два решения с различными инвариантами.
**4.**
__**Дано:**__ Робот в в левом нижнем углу прямоугольника.
__**Надо:**__ Прямоугольник закрашен.
**5.**
__**Дано:**__ Робот в нижней клетке незакрашенного коридора шириной в одну клетку..
__**Надо:**__ Клетки закрашены через одну, начиная с первой.
**6.**
__**Дано:**__ Робот в левом нижнем углу огороженного незакрашенного прямоугольника.
__**Надо:**__ Прямоугольник закрашен в шахматном порядке; левая нижняя клетка закрашена.
__**Примечание:**__ Высота или ширина прямоугольника (или обе) могут быть равны 1.
**7.**
__**Дано:**__ Робот у нижней стены огороженного прямоугольника, внутри которого только горизонтальные стены, все находящиеся на одной широте.
__**Надо:**__ Робот у верхней границы..
**8.**
__**Дано:**__ Робот у нижней стены огороженного прямоугольника, внутри которого только горизонтальные стены, не нарушающие связности.
__**Надо:**__ Робот у верхней границы.
**9.**
__**Дано:**__ В огороженном прямоугольнике есть вертикальные и горизонтальные стены, не примыкающие к границе прямоугольника и друг к другу.
__**Надо:**__ Робот в верхнем левом углу прямоугольника.
**10.**
__**Дано:**__ В огороженном прямоугольнике возможно есть внутренние стены, но ни одна горизонтальная внутренняя стена не примыкающие к вертикальной внутренней (к границе примыкать могут) и не нарушающие связности.
__**Надо:**__ Робот в верхнем левом углу прямоугольника.
**11.**
__**Дано:**__ В огороженном прямоугольнике есть не примыкающая к границе огороженная со всех сторон клетка; других стен нет, Робот в левом нижнем углу прямоугольника.
__**Надо:**__ Робот в клетке, соседней с огороженной.
**((!/Тексты Тексты программ.))**