https://server.179.ru/wacko43/?page=OnerXaum/Робот1 История изменений Школа179/OnerXaum/Робот1 Sat, 13 Jun 2026 15:37:40 +0300 https://server.179.ru/wacko43/ https://server.179.ru/wacko43/files/wacko4.gif 108 50 en-us http://blogs.law.harvard.edu/tech/rss WackoWiki R4.3 https://server.179.ru/wacko43/?page=OnerXaum/Robot1/show&time=2011-10-07+00%3A53%3A42 <div class="pageBefore">&nbsp;</div> <div class="page"><b>Сравнение версий <a name=".onerxaum.robot1" href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1" class="">/Oner&nbsp;Xaum&nbsp;/&nbsp;Робот&nbsp;1</a> от <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1&amp;time=2011-10-07+00%3A53%3A42">2011-10-07 00:53:42</a> и <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1">2011-10-07 01:08:05</a></b><br /> <br /> <b>Добавлено:</b><br /> <div class="additions"><strong><span class="missingpage">Тексты программ.</span><a href="https://server.179.ru/wacko43/?page=Тексты/edit&amp;add=1" title="Создать эту страницу">?</a></strong></div></div> https://server.179.ru/wacko43/?page=OnerXaum/Robot1/show&time=2011-10-07+00%3A49%3A19 <div class="pageBefore">&nbsp;</div> <div class="page"><b>Сравнение версий <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1" class="">/Oner&nbsp;Xaum&nbsp;/&nbsp;Робот&nbsp;1</a> от <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1&amp;time=2011-10-07+00%3A49%3A19">2011-10-07 00:49:19</a> и <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1&amp;time=2011-10-07+00%3A53%3A42">2011-10-07 00:53:42</a></b><br /> <br /> <b>Добавлено:</b><br /> <div class="additions"><div class="indent"><u><strong>Надо:</strong></u> Робот в&nbsp;верхнем левом углу.<br /> <u><strong>Дано:</strong></u> Робот в&nbsp;в левом нижнем углу прямоугольника.<br /> <u><strong>Дано:</strong></u> Робот у&nbsp;нижней стены огороженного прямоугольника, внутри которого только горизонтальные стены, все&nbsp;находящиеся на&nbsp;одной широте.</div></div><br /> <b>Удалено:</b><br /> <div class="deletions"><div class="indent"><u><strong>Надо:</strong></u> Робот в&nbsp;северо-западном углу.<br /> <u><strong>Дано:</strong></u> Робот в&nbsp;юго-западном углу прямоугольника.<br /> <u><strong>Дано:</strong></u> Робот у&nbsp;южной стены огороженного прямоугольника, внутри которого только горизонтальные стены, все&nbsp;находящиеся на&nbsp;одной широте.</div></div></div> https://server.179.ru/wacko43/?page=OnerXaum/Robot1/show&time=2011-09-11+23%3A58%3A26 <div class="pageBefore">&nbsp;</div> <div class="page"><b>Сравнение версий <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1" class="">/Oner&nbsp;Xaum&nbsp;/&nbsp;Робот&nbsp;1</a> от <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1&amp;time=2011-09-11+23%3A58%3A26">2011-09-11 23:58:26</a> и <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1&amp;time=2011-10-07+00%3A49%3A19">2011-10-07 00:49:19</a></b><br /> <br /> <b>Добавлено:</b><br /> <div class="additions"><div class="indent"><u><strong>Надо:</strong></u> Робот у&nbsp;верхней границы..<br /> <u><strong>Дано:</strong></u> Робот у&nbsp;нижней стены огороженного прямоугольника, внутри которого только горизонтальные стены, не&nbsp;нарушающие связности.<br /> <u><strong>Надо:</strong></u> Робот у&nbsp;верхней границы.<br /> <u><strong>Надо:</strong></u> Робот в&nbsp;верхнем левом углу прямоугольника.<br /> <u><strong>Дано:</strong></u> В&nbsp;огороженном прямоугольнике возможно есть внутренние стены, но&nbsp;ни одна горизонтальная внутренняя стена не&nbsp;примыкающие к&nbsp;вертикальной внутренней (к границе примыкать могут) и&nbsp;не нарушающие связности.<br /> <u><strong>Надо:</strong></u> Робот в&nbsp;верхнем левом углу прямоугольника.<br /> <u><strong>Дано:</strong></u> В&nbsp;огороженном прямоугольнике есть не&nbsp;примыкающая к&nbsp;границе огороженная со&nbsp;всех сторон клетка; других стен нет, Робот в&nbsp;левом нижнем углу прямоугольника.</div></div><br /> <b>Удалено:</b><br /> <div class="deletions"><div class="indent"><u><strong>Надо:</strong></u> Робот у&nbsp;северной границы.<br /> <u><strong>Дано:</strong></u> Робот у&nbsp;южной стены огороженного прямоугольника, внутри которого только горизонтальные стены, не&nbsp;нарушающие связности.<br /> <u><strong>Надо:</strong></u> Робот у&nbsp;северной границы.<br /> <u><strong>Надо:</strong></u> Робот в&nbsp;северо-западном углу прямоугольника.<br /> <u><strong>Дано:</strong></u> В&nbsp;огороженном прямоугольнике есть вертикальные и&nbsp;горизонтальные стены, не&nbsp;примыкающие друг к&nbsp;другу. (но, возможно, примыкающие к&nbsp;границе) и&nbsp;не нарушающие связности.<br /> <u><strong>Надо:</strong></u> Робот в&nbsp;северо-западном углу прямоугольника.<br /> <u><strong>Дано:</strong></u> В&nbsp;огороженном прямоугольнике есть не&nbsp;примыкающая к&nbsp;границе огороженная со&nbsp;всех сторон клетка; других стен нет, Робот в&nbsp;юго-западном углу.</div></div></div> https://server.179.ru/wacko43/?page=OnerXaum/Robot1/show&time=2011-09-11+23%3A51%3A54 <div class="pageBefore">&nbsp;</div> <div class="page"><b>Сравнение версий <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1" class="">/Oner&nbsp;Xaum&nbsp;/&nbsp;Робот&nbsp;1</a> от <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1&amp;time=2011-09-11+23%3A51%3A54">2011-09-11 23:51:54</a> и <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1&amp;time=2011-09-11+23%3A58%3A26">2011-09-11 23:58:26</a></b><br /> <br /> <b>Добавлено:</b><br /> <div class="additions"><a name="h2117-1"></a><h3><div style="float:center; text-align:center">Игра в&nbsp;Робота (I)</div></h3><a name="h2117-2"></a><h4><div style="float:center; text-align:center">Задачи</div></h4></div><br /> <b>Удалено:</b><br /> <div class="deletions"><div style="float:center; text-align:center"><a name="h2117-1"></a><h2>Игра в&nbsp;Робота (I)</h2></div> <br /> <div style="float:center; text-align:center"><a name="h2117-1"></a><h3>Задачи</h3></div></div></div> https://server.179.ru/wacko43/?page=OnerXaum/Robot1/show&time=2011-09-11+23%3A50%3A33 <div class="pageBefore">&nbsp;</div> <div class="page"><b>Сравнение версий <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1" class="">/Oner&nbsp;Xaum&nbsp;/&nbsp;Робот&nbsp;1</a> от <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1&amp;time=2011-09-11+23%3A50%3A33">2011-09-11 23:50:33</a> и <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1&amp;time=2011-09-11+23%3A51%3A54">2011-09-11 23:51:54</a></b><br /> <br /> <b>Добавлено:</b><br /> <div class="additions"><div style="float:center; text-align:center"><a name="h2117-1"></a><h2>Игра в&nbsp;Робота (I)</h2></div> <br /> <div style="float:center; text-align:center"><a name="h2117-1"></a><h3>Задачи</h3></div></div><br /> <b>Удалено:</b><br /> <div class="deletions"><div style="float:center; text-align:center"><a name="h2117-1"></a><h2> Игра в&nbsp;Робота (I) </h2></div></div></div> https://server.179.ru/wacko43/?page=OnerXaum/Robot1/show&time=2011-09-11+23%3A49%3A35 <div class="pageBefore">&nbsp;</div> <div class="page"><b>Сравнение версий <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1" class="">/Oner&nbsp;Xaum&nbsp;/&nbsp;Робот&nbsp;1</a> от <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1&amp;time=2011-09-11+23%3A49%3A35">2011-09-11 23:49:35</a> и <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1&amp;time=2011-09-11+23%3A50%3A33">2011-09-11 23:50:33</a></b><br /> <br /> <b>Добавлено:</b><br /> <div class="additions"><div style="float:justify; text-align:justify"><table class="usertable" border="1"> <em><strong>Постусловием</strong></em> цикла (<em><strong>P</strong></em>) называется отрицание его&nbsp;условия (<em><strong>C</strong></em>), то&nbsp;есть <em><strong>P</strong></em> = <strong>не <em>C</em></strong>. <em><strong>Инвариантом</strong></em> цикла (<em><strong>I</strong></em>) &mdash; утверждение, верное до&nbsp;и после любого выполнения цикла. Нас&nbsp;интересуют <em><strong>I</strong></em> такие, что&nbsp;утверждение <strong><em>I</em> и&nbsp;не <em>P</em> </strong> является тем, что&nbsp;мы&nbsp;хотим доказать. Таким образом, для&nbsp;доказательства правильности работы программы необходимо сформулировать, что&nbsp;делает каждый ее&nbsp;цикл, доказать, что&nbsp;он&nbsp;нормально завершается, при&nbsp;необходимости предъявить соответствующий инвариант и&nbsp;доказать его&nbsp;индукцией по&nbsp;проходам цикла.|| </table></div></div><br /> <b>Удалено:</b><br /> <div class="deletions">%%<table class="usertable" border="1"> (wacko wrapper=text wrapper_align=justify) <div class="indent"><em><strong>Постусловием</strong></em> цикла (<em><strong>P</strong></em>) называется отрицание его&nbsp;условия (<em><strong>C</strong></em>), то&nbsp;есть <em><strong>P</strong></em> = <strong>не <em>C</em></strong>. <em><strong>Инвариантом</strong></em> цикла (<em><strong>I</strong></em>) &mdash; утверждение, верное до&nbsp;и после любого выполнения цикла. Нас&nbsp;интересуют <em><strong>I</strong></em> такие, что&nbsp;утверждение <strong><em>I</em> и&nbsp;не <em>P</em> </strong> является тем, что&nbsp;мы&nbsp;хотим доказать. Таким образом, для&nbsp;доказательства правильности работы программы необходимо сформулировать, что&nbsp;делает каждый ее&nbsp;цикл, доказать, что&nbsp;он&nbsp;нормально завершается, при&nbsp;необходимости предъявить соответствующий инвариант и&nbsp;доказать его&nbsp;индукцией по&nbsp;проходам цикла.|| </table> </div></div></div> https://server.179.ru/wacko43/?page=OnerXaum/Robot1/show&time=2011-09-11+23%3A30%3A42 <div class="pageBefore">&nbsp;</div> <div class="page"><b>Сравнение версий <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1" class="">/Oner&nbsp;Xaum&nbsp;/&nbsp;Робот&nbsp;1</a> от <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1&amp;time=2011-09-11+23%3A30%3A42">2011-09-11 23:30:42</a> и <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1&amp;time=2011-09-11+23%3A49%3A35">2011-09-11 23:49:35</a></b><br /> <br /> <b>Добавлено:</b><br /> <div class="additions"><div style="float:center; text-align:center"><a name="h2117-1"></a><h2> Игра в&nbsp;Робота (I) </h2></div> <br /> %%<table class="usertable" border="1"> <tr class="userrow"><td class="usercell">(wacko wrapper=text wrapper_align=justify)<br /> <div class="indent"><em><strong>Постусловием</strong></em> цикла (<em><strong>P</strong></em>) называется отрицание его&nbsp;условия (<em><strong>C</strong></em>), то&nbsp;есть <em><strong>P</strong></em> = <strong>не <em>C</em></strong>. <em><strong>Инвариантом</strong></em> цикла (<em><strong>I</strong></em>) &mdash; утверждение, верное до&nbsp;и после любого выполнения цикла. Нас&nbsp;интересуют <em><strong>I</strong></em> такие, что&nbsp;утверждение <strong><em>I</em> и&nbsp;не <em>P</em> </strong> является тем, что&nbsp;мы&nbsp;хотим доказать. Таким образом, для&nbsp;доказательства правильности работы программы необходимо сформулировать, что&nbsp;делает каждый ее&nbsp;цикл, доказать, что&nbsp;он&nbsp;нормально завершается, при&nbsp;необходимости предъявить соответствующий инвариант и&nbsp;доказать его&nbsp;индукцией по&nbsp;проходам цикла.</div></td></tr> </table></div><br /> <b>Удалено:</b><br /> <div class="deletions"><div style="float:center; text-align:center"><a name="h2117-1"></a><h2> Игра в&nbsp;Робота (I) </h2></div> <br /> <div class="indent"><em><strong>Постусловием</strong></em> цикла (<em><strong>P</strong></em>) называется отрицание его&nbsp;условия (<em><strong>C</strong></em>), то&nbsp;есть <em><strong>P</strong></em> = <strong>не <em>C</em></strong>. <em><strong>Инвариантом</strong></em> цикла (<em><strong>I</strong></em>) &mdash; утверждение, верное до&nbsp;и после любого выполнения цикла. Нас&nbsp;интересуют <em><strong>I</strong></em> такие, что&nbsp;утверждение <strong><em>I</em> и&nbsp;не <em>P</em> </strong> является тем, что&nbsp;мы&nbsp;хотим доказать. Таким образом, для&nbsp;доказательства правильности работы программы необходимо сформулировать, что&nbsp;делает каждый ее&nbsp;цикл, доказать, что&nbsp;он&nbsp;нормально завершается, при&nbsp;необходимости предъявить соответствующий инвариант и&nbsp;доказать его&nbsp;индукцией по&nbsp;проходам цикла.</div></div></div> https://server.179.ru/wacko43/?page=OnerXaum/Robot1/show&time=2011-09-11+23%3A29%3A59 <div class="pageBefore">&nbsp;</div> <div class="page"><b>Сравнение версий <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1" class="">/Oner&nbsp;Xaum&nbsp;/&nbsp;Робот&nbsp;1</a> от <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1&amp;time=2011-09-11+23%3A29%3A59">2011-09-11 23:29:59</a> и <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1&amp;time=2011-09-11+23%3A30%3A42">2011-09-11 23:30:42</a></b><br /> <br /> <b>Добавлено:</b><br /> <div class="additions"><div class="indent"><em><strong>Постусловием</strong></em> цикла (<em><strong>P</strong></em>) называется отрицание его&nbsp;условия (<em><strong>C</strong></em>), то&nbsp;есть <em><strong>P</strong></em> = <strong>не <em>C</em></strong>. <em><strong>Инвариантом</strong></em> цикла (<em><strong>I</strong></em>) &mdash; утверждение, верное до&nbsp;и после любого выполнения цикла. Нас&nbsp;интересуют <em><strong>I</strong></em> такие, что&nbsp;утверждение <strong><em>I</em> и&nbsp;не <em>P</em> </strong> является тем, что&nbsp;мы&nbsp;хотим доказать. Таким образом, для&nbsp;доказательства правильности работы программы необходимо сформулировать, что&nbsp;делает каждый ее&nbsp;цикл, доказать, что&nbsp;он&nbsp;нормально завершается, при&nbsp;необходимости предъявить соответствующий инвариант и&nbsp;доказать его&nbsp;индукцией по&nbsp;проходам цикла.</div></div><br /> <b>Удалено:</b><br /> <div class="deletions"><div class="indent"><em>Постусловием</em> цикла (<em><strong>P</strong></em>) называется отрицание его&nbsp;условия (<em><strong>C</strong></em>), то&nbsp;есть <em><strong>P</strong></em> = <strong>не <em>C</em></strong>. <em>Инвариантом</em> цикла (<em><strong>I</strong></em>) &mdash; утверждение, верное до&nbsp;и после любого выполнения цикла. Нас&nbsp;интересуют <em><strong>I</strong></em> такие, что&nbsp;утверждение <strong><em>I</em> и&nbsp;не <em>P</em> </strong> является тем, что&nbsp;мы&nbsp;хотим доказать. Таким образом, для&nbsp;доказательства правильности работы программы необходимо сформулировать, что&nbsp;делает каждый ее&nbsp;цикл, доказать, что&nbsp;он&nbsp;нормально завершается, при&nbsp;необходимости предъявить соответствующий инвариант и&nbsp;доказать его&nbsp;индукцией по&nbsp;проходам цикла.</div></div></div> https://server.179.ru/wacko43/?page=OnerXaum/Robot1/show&time=2011-09-11+23%3A29%3A23 <div class="pageBefore">&nbsp;</div> <div class="page"><b>Сравнение версий <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1" class="">/Oner&nbsp;Xaum&nbsp;/&nbsp;Робот&nbsp;1</a> от <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1&amp;time=2011-09-11+23%3A29%3A23">2011-09-11 23:29:23</a> и <a href="https://server.179.ru/wacko43/?page=OnerXaum/Robot1&amp;time=2011-09-11+23%3A29%3A59">2011-09-11 23:29:59</a></b><br /> <br /> <b>Добавлено:</b><br /> <div class="additions"><div class="indent"><u><strong>Дано:</strong></u> Робот у&nbsp;южной стены огороженного прямоугольника, внутри которого только горизонтальные стены, все&nbsp;находящиеся на&nbsp;одной широте.</div></div><br /> <b>Удалено:</b><br /> <div class="deletions"><div class="indent"><u><strong>Дано:</strong></u> Робот у&nbsp;южной стены огороженного прямоугольника, внутри которого только горизонтальные стены, все&nbsp;<br /> <div class="indent">находящиеся на&nbsp;одной широте.</div></div></div></div>