Cтраница 4
Этим, по сути дела, задача тоже сглаживается, но не при помощи сглаживающего оператора, а путем упрощения. Оператор упрощения не имеет формальной записи, как оператор сглаживания, и целиком зависит от характера решаемой задачи. Его действие заключается в выделении из множества всех неоптимизируемых параметров объекта подмножества параметров А, обладающих указанным свойством. При отсутствии формального описания оператора упрощения эту операцию следует производить эвристически при хорошем понимании механизма функционирования и структуры объекта. [46]
Помимо перечисленных основных групп, программа имеет начальный блок автоматического контроля исходных данных. Этот блок проверяет правильность формальной записи информации, вводимой в машину, и выявляет любое несоответствие в кодировании информации между отдельными массивами исходных данных. [47]
Примем здесь ряд соглашений относительно их формальной записи. [48]
Коэна [1929], а именно в формальной записи вопросов на местах вопросительных слов стоят свободные переменные. Определяется отношение между формально представленными вопросами и множествами значений свободной переменной данной формулы вопроса. Изучается ключевая проблема неразумных вопросов типа Кто не написал Веверлея. В качестве экспликаций понятия разумных вопросов предлагаются понятия определенных ( definite), правильных ( proper) и допустимых ( admissible) формул. [49]