Мы будем вводить правила преобразований как аксиомы или правила вывода, постулирующие элементарные и интуитивно независимые ... - Большая Энциклопедия Нефти и Газа



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


Мы будем вводить правила преобразований как аксиомы или правила вывода, постулирующие элементарные и интуитивно независимые свойства схем Янова. Некоторые из этих свойств нам с самого начала стали известны в виде правил преобразований, например, перенос плюс-стрелки ( рис. 7.7, в)) или расчленение дизъюнкции ( рис. 7.4, б)), другие ( например, понятие допустимых наборов) нам еще предстоит представить в виде удобного для работы правила, третьи еще только всплывут на поверхность при более детальной инвентаризации свойств.

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

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

Мы будем вводить правила преобразований как аксиомы или правила вывода, постулирующие элементарные и интуитивно независимые свойства схем Янова. Некоторые из этих свойств нам с самого начала стали известны в виде правил преобразований, например, перенос плюс-стрелки ( рис. 7.7, в)) или расчленение дизъюнкции ( рис. 7.4, б)), другие ( например, понятие допустимых наборов) нам еще предстоит представить в виде удобного для работы правила, третьи еще только всплывут на поверхность при более детальной инвентаризации свойств.