Она состоит из четырех этажей, на каждом из которых есть коридор с выходом в конце ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Ершов А.П. Введение в теоретическое программирование беседы о методе


Она состоит из четырех этажей, на каждом из которых есть коридор с выходом в конце и с четырьмя лестницами на начало нижнего этажа. Двигаясь по коридору от начала, мы последовательно проверяем значения элементарных предикатов и в зависимости от комбинации их значений либо попадаем на концевой выход, чтобы сказать ДА, либо спускаемся по лестнице на начало коридора в нижнем этаже. Шансы на улучшение программы состоят в том, что, попав на какой-то этаж Р по лестнице, идущей сверху, мы уже знаем значения некоторых предикатов и могли бы на этаже Р и далее сразу выбрать нужное направление, не спрашивая дорогу.

(cкачать страницу)

Смотреть книгу на libgen

Она состоит из четырех этажей,  на каждом из которых есть коридор с выходом в конце и с четырьмя лестницами на начало нижнего этажа.  Двигаясь по коридору от начала,  мы последовательно проверяем значения элементарных предикатов и в зависимости от комбинации их значений либо попадаем на концевой выход,  чтобы сказать ДА,  либо спускаемся по лестнице на начало коридора в нижнем этаже.  Шансы на улучшение программы состоят в том,  что,  попав на какой-то этаж Р по лестнице,  идущей сверху,  мы уже знаем значения некоторых предикатов и могли бы на этаже Р и далее сразу выбрать нужное направление,  не спрашивая дорогу.