Cтраница 1
Формальные объекты, не включенные в список значений, заменяются фактическими параметрами. [1]
Формальными объектами являются объекты тела процедуры, которые обозначаются теми идентификаторами формальных параметров процедуры, которые не используются для обозначения локализованных величин. К формальным объектам, в частности, относятся величины, значения которых являются исходными данными, и, следовательно, варьируются при каждом обращении к процедуре, а также величины, значения которых являются результатами выполнения данной процедуры. [2]
Основным формальным объектом, рассматриваемым в теории расширенных множеств, является комплекс. Позиция элемента в комплексе записывается с помощью верхнего индекса. Множества и - местные кортежи есть специальные случаи комплексов. Множество-это комплекс, все элементы которого находятся в первой позиции, так как на множестве не определен порядок. [3]
Будучи чисто формальным объектом, синтаксическая структура чаще всего допускает несколько возможных логико-семантических интерпретаций для синтаксических отношений между вершинами ее графа. [4]
Однако при обработке менее формальных объектов, например, текстов естественного языка, алгоритмическая концепция оказывается слишком стеснительной. Во-первых, неприемлемой оказывается однозначность преобразования. [5]
Мы рассмотрели три категории формальных объектов ( § 16), но, если понадобится, мы будем вводить при их изучении и другие, коль скоро мы будем иметь дело с финитными методами. Помимо этого, несколько иное расширение нашего предмета изучения имеет место, когда мы переходим к исследованию вида метаматематических определений и теорем. [6]
Имеется такая геделевская нумерация формальных объектов, что следующим образом определенные предикаты А ( а, Ь) и В ( а, с) нумерически выразимы ( § 41) в формальной системе гл. [7]
Исчисление высказывания строится из формальных объектов трех типов. Объектами первого типа являются переменные и постоянные высказывания, не расчленяемые на отдельные составные части. [8]
В результате игра становится формальным объектом, к-рый поддается матем. [9]
Формальные символы образуют первую категорию формальных объектов. Исходя из них, мы получаем вторую категорию путем построения конечных последовательностей вхождений формальных символов. [10]
Когда мы пользуемся идеей нумерации формальных объектов, то из практических соображений желательно, чтобы номера этих объектов были связаны с самими объектами посредством как можно более простых правил. Мы будем называть такое соответствие геделевской нумерацией, а соответствующее при нем какому-нибудь формальному объекту число - геделевским номером этого формального объекта. Иногда рассматриваются отдельно три геделевские нумерации: для формальных символов, для формальных выражений и для конечных последовательностей формальных выражений. В этом случае, говоря о каком-нибудь числе как о геделевском номере некоторого символа, или выражения, или последовательности выражений, каждый раз надо указывать, о каком соответствии идет речь. [11]
Метод натурального вывода позволяет оперировать с формальными объектами, представляющими рассуждения. [12]
Если теперь иметь описание, определяющее качества формальных объектов М, которое позволяет применять к ним составленные по правилам Rt последовательности преобразований из Т, то мы сможем получить новые виды объектов типа М, Другими словами, имея некоторое исходное множество объектов М, мы сможем создавать новые объекты. Конструирование как процесс всегда целенаправлено, что может быть отображено следующей формальной схемой. Каждой ФА ( Фу - поставлен в соответствие некоторый вес Pk, отображающий степень важности цели в процессе конструирования. [13]
Некоторым множеством высказываний, определяющих исходный характер формальных объектов, используемых для построения новых видов этих объектов. [14]
В предыдущем параграфе в роли оракула выступал некоторый формальный объект - - формально записанные условия задачи, а в роли СПР - алгоритм, решающий задачу. Диалог между формальными объектами оказывается в определенной мере условностью. Между тем встречаются ситуации, в которых диалоговая процедура буквально отвечает своему названию. Здесь роль оракула выполняет человек - инженер, экономист, администратор, располагающий важными, но не формализованными знаниями об условиях решаемой задачи. [15]