====%%(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.** __**Дано:**__ В огороженном прямоугольнике есть не примыкающая к границе огороженная со всех сторон клетка; других стен нет, Робот в левом нижнем углу прямоугольника. __**Надо:**__ Робот в клетке, соседней с огороженной.