Определение - тип - данные - Большая Энциклопедия Нефти и Газа, статья, страница 1
Чтобы сохранить мир в семье, необходимы терпение, любовь, понимание и по крайней мере два телевизора. ("Правило двух телевизоров") Законы Мерфи (еще...)

Определение - тип - данные

Cтраница 1


Определение типа данных как множества операций, создающих и анализирующих некоторое множество значений, данное в разд. Как отмечено в [150], такое определение наиболее полезно, так как оно может быть использовано в различных методах спецификаций. Но когда выбран определенный подход ( в нашем случае алгебраический) для формального описания типов данных, необходимо выразить основные понятия типов данных в его терминах и тем самым заложить основу для их исследований средствами этого подхода.  [1]

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

Использование механизма определения типов данных ( например, такого, как в Паскале) означает, что количество типов, с которыми имеет дело вычислитель, не известно заранее, и уже нельзя ограничиваться простым перечислением специальных случаев. Новые проблемы вносит механизм определения произвольных ( инкапсулированных) и родовых типов данных. Простейшее решение каждое определение типа вводит новый, отличный от других тип в языке Ада привело к необходимости выработки множества правил для установления соответствия конкретных и родовых типов.  [3]

Более того, определение типа данных как многоосновной алгебры плохо согласуется с понятием типа данных в языках программирования, где тип всегда связывается с одной основой и относящимися к ней операциями.  [4]

Существует два вида определений типов данных: перечислением и указанием интервала, каждое из которых предполагает соответствующий способ обработки данных.  [5]

6 Параметры встроенной функции ИНФОРМ. [6]

Информационные функции предназначены для определения типа данных, хранимых в ячейке. Возвращают значения ИСТИНА или ЛОЖЬ.  [7]

В язык также включена возможность определения несвободных типов данных.  [8]

Таблица идентификаторов, таблица литералов - используются для определения типа данных и адресов переменных ( операнды матрицы) при генерации соответствующих кодов доступа с правильными адресами.  [9]

Процесс исследования рынка предполагает четыре этапа: 1) определение типа данных, необходимых для анализа; 2) поиск данных; 3) анализ данных; 4) выработка мероприятий, позволяющих на основе этих данных правильно организовать сбыт.  [10]

Одним из следствий этого подхода является некоторая зацикленность в определении типов данных. Так, например, ОПИСАНИЕ есть некоторое имя слота, и, следовательно, эта сущность есть пример ИМЯ СЛОТА-СХЕ-МА. Но в этой схеме, как в каждой другой, есть имя слота ОПИСАНИЕ, определяющее, что представляет собой это имя слота.  [11]

12 Общий вид записи, выведенной на экран с помощью экран-нон формы. [12]

При добавлении в формат ввода полей шаблоны устанавливаются автоматически в соответствии с определением типов данных в полях. Но иногда бывает удобно изменить первоначальную установку. Например, поле TREB хоть и является символьным, но должно содержать только цифровые символы. Поэтому шаблон должен выглядеть как 999999, а не ХХХХХХ. При новом шаблоне ошибочный ввод нециф-рового символа в это поле невозможен.  [13]

Теория, представленная в нашей книге, и язык программирования Модула-2 предполагают некоторые методы определения типов данных. В большинстве случаев новые типы данных определяются с помощью ранее определенных типов данных. Значения такого нового типа обычно представляют собой совокупности значений компонент, относящихся к определенным ранее составляющим типам, такие значения называются составными.  [14]

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



Страницы:      1    2