Формальный объект

Cтраница 3

Кодирование - это операция перевода по определенным правилам формального объекта, выраженного совокупностью кодовых символов одного алфавита, в формальный объект, выраженный символами другого алфавита. Примерами кодирования являются перевод текста ( формального объекта) с одного языка на другой; шифрование определенного сообщения; представление последовательности операций, выполняемых машиной, выраженных словарным текстом, в текст на одном из алгоритмических языков - ФОРТРАН, КОБОЛ, АЛГОЛ или др. При кодировании в качестве символов используют буквы алфавита, цифры в определенной системе счисления и различные условные знаки. Наиболее широко применяется числовое кодирование. [31]

Зависимость между основанием системы счисления в и необходимым количеством разрядов / при заданном максимальном числе Л, . [33]

Кодирование - это операция перевода по определенным правилам формального объекта, выраженного совокупностью кодовых символов одного алфавита, в формальный объект, выраженный символами другого алфавита. Примерами кодирования являются: перевод текста ( формального объекта) с одного языка на другой; шифровка определенного сообщения: представление последовательности операций, выполняемых машиной, выраженных словарным текстом, в текст на одном из машинных алгоритмических языков. При кодировании в качестве символов используют буквы алфавита, цифры в определенной системе счисления и различные условные знаки. [34]

В предположении, что такое доказательство1) недоказуемости А ( р) существует, можно было бы, представляя формальные объекты их геделев-скими номерами, выразить его как доказательство1) в содержательной арифметики. Займемся вопросом, может ли это последнее доказательство быть формализовано в системе гл. [36]

Та обобщенная арифметика, которую мы выберем, имеет более сложную арифметическую структуру, но зато она предназначена для непосредственного представления грамматической и логической структуры формальных объектов. Объекты, принадлежащие этой обобщенной арифметике, мы будем называть вещами. [37]

Употребляемые таким образом буквы и выражения являются не формальными символами и выражениями, а содержательными, или метаматематическими, символами и выражениями, которые играют роль названий формальных объектов. Здесь, по сравнению с обычным неформальным употреблением символизма, имеется новая черта-называемые объекты являются, в свою очередь, символами или объектами, построенными из символов. Мы должны, таким образом, проводить различие между символизмами двух родов-формальным символизмом, о котором мы говорим, и интуитивным или метаматематическим символизмом, которым мы говорим о другом символизме. [38]

Вызов задачи, как и вызов функции, предусматривает запись имени, вслед за тем в скобках через запятые записываются фактические объекты, причем порядок записи фактических объектов строго соответствует порядку появления имен отображающих формальных объектов в декларации подпрограммы. [39]

Вообще говоря, система становится открытой, если в предположениях, которые мы можем сделать о ее свойствах ( и которые мы проверяем экспериментально), опущены какие-то принципиально важные составляющие, например рассматривается меньшее число формальных объектов, чем необходимо. [40]

Второй подход к построению определения абстрактной системы основан на теоретико-множественных соображениях. Здесь формальные объекты определяются явным образом, а не с помощью концептуальных классов ( в смысле Карри [2]) высказываний. Каждое из этих множеств определяет некоторый формальный объект, а именно формальный объект, соответствующий множеству X ], может принять вид любого элемента из этого множества. [41]

Надо построить язык, в котором будут конструктивно описываться формальные объекты, соответствующие реальным программам. Эти формальные объекты получат у нас название схем Я нова. [42]

Формальными объектами являются объекты тела процедуры, которые обозначаются теми идентификаторами формальных параметров процедуры, которые не используются для обозначения локализованных величин. К формальным объектам, в частности, относятся величины, значения которых являются исходными данными, и, следовательно, варьируются при каждом обращении к процедуре, а также величины, значения которых являются результатами выполнения данной процедуры. [43]

В предыдущем параграфе в роли оракула выступал некоторый формальный объект - - формально записанные условия задачи, а в роли СПР - алгоритм, решающий задачу. Диалог между формальными объектами оказывается в определенной мере условностью. Между тем встречаются ситуации, в которых диалоговая процедура буквально отвечает своему названию. Здесь роль оракула выполняет человек - инженер, экономист, администратор, располагающий важными, но не формализованными знаниями об условиях решаемой задачи. [44]

Страницы: 1 2 3 4