Формальный объект
Cтраница 2
Кодирование - это операция перевода по определенным правилам формального объекта, выраженного совокупностью кодовых символов одного алфавита, в формальный объект, выраженный символами другого алфавита. Примерами кодирования являются перевод текста ( формального объекта) с одного языка на другой; шифрование определенного сообщения; представление последовательности операций, выполняемых машиной, выраженных словарным текстом, в текст на одном из алгоритмических языков - ФОРТРАН, КОБОЛ, АЛГОЛ или др. При кодировании в качестве символов используют буквы алфавита, цифры в определенной системе счисления и различные условные знаки. Наиболее широко применяется числовое кодирование. [16]
Кодирование - это операция перевода по определенным правилам формального объекта, выраженного совокупностью кодовых символов одного алфавита, в формальный объект, выраженный символами другого алфавита. [17]
 |
Зависимость между основанием системы счисления в и необходимым количеством разрядов / при заданном максимальном числе Л, . [18] |
Кодирование - это операция перевода по определенным правилам формального объекта, выраженного совокупностью кодовых символов одного алфавита, в формальный объект, выраженный символами другого алфавита. Примерами кодирования являются: перевод текста ( формального объекта) с одного языка на другой; шифровка определенного сообщения: представление последовательности операций, выполняемых машиной, выраженных словарным текстом, в текст на одном из машинных алгоритмических языков. При кодировании в качестве символов используют буквы алфавита, цифры в определенной системе счисления и различные условные знаки. [19]
 |
Цифровые символы первичных цифровых кодов общего применения. [20] |
Числовое кодирование в широком смысле является операцией отображения формального объекта числами, и его результат может и не быть результатом измерения. В процессе измерения определяется значение физической величины, состоящее из ее числового значения и единицы величины. Числовое кодирование в измерении является операцией перевода числового значения данной величины NX в другую систему счисления. [21]
Кодирование - это операция перевода по определенным правилам формального объекта, выраженного совокупностью кодовых символов одного алфавита, в формальный объект, выраженный символами другого алфавита. Примерами кодирования являются перевод текста ( формального объекта) с одного языка на другой; шифрование определенного сообщения; представление последовательности операций, выполняемых машиной, выраженных словарным текстом, в текст на одном из алгоритмических языков - ФОРТРАН, КОБОЛ, АЛГОЛ или др. При кодировании в качестве символов используют буквы алфавита, цифры в определенной системе счисления и различные условные знаки. Наиболее широко применяется числовое кодирование. [22]
А метаматематическая теорема - это осмысленное утверждение о формальных объектах, и ее доказательство - это интуитивное обоснование истинности этого утверждения. [23]
Надо построить язык, в котором будут конструктивно описываться формальные объекты, соответствующие реальным программам. Эти формальные объекты получат у нас название схем Я нова. [24]
Мы не устанавливаем, какого рода структуру должна иметь область формальных объектов. Это можно понимать в том смысле, что каждый Y может быть порожден из конечного числа начальных объектов посредством конечного числа применений установленных операций, как при нашем понимании обобщенной арифметики ( § 50), или в том смысле, что каждый Y может быть задан в виде фигуры, составленной из конечного числа вхождений символов из некоторого предварительно данного перечня символов. [25]
Подчеркнем еще раз, что объекты, вставленные в тело вместо формальных объектов понимаются так, как если бы модифицированное тело оказалось записанным на месте оператора процедуры, а глобальные - в том смысле, который они имеют там, где находится описание процедуры. [26]
Предположим еще, что высказывания из М таковы, что свободные переменные в них образуют формальные объекты. Такие высказывания называются правильными. [27]
Подобно тому как в начале § 2 строились формулы булевой алгебры, из введенных нами формальных объектов строятся формулы исчисления высказываний. Различие заключается в употреблении дополнительного символа Z) ( формального аналога булевой операции импликации), а также в замене точки в обозначении конъюнкции ( умножения) символом Див употреблении в качестве знака отрицания вместо черты над отрицаемым выражением символа i, ставящегося перед отрицаемым выражением. [28]
Они, во-первых, напоминают математику природу реального объекта, стоящего за определяемым этим термином формальным объектом. К этой категории относятся, например, такие термины, как волновая функция, игра ( из теории игр), потенциал, высказывание. Другую категорию ( наиболее многочисленную) составляют образные термины, которые благодаря выбранному слову создают именно образ, прежде всего зрительный, определяемого объекта или слова: кривизна, непрерывный, касательная, луночка, ребро ( в графе), дерево, маршрут ( в этой книге) и многие другие. [29]
К глобальным относятся все объекты тела процедуры, которые обозначены идентификаторами, не совпадающими с идентификаторами локализованных и формальных объектов. Это величины, которые используются не только в теле процедуры, но и в операторах программы, содержащей данную процедуру; их описание находится в объемлющем процедуру блоке. [30]
Страницы: 1 2 3 4