Множество - процедура
Cтраница 2
Модули TextEditor и TextFormatter используют множество процедур модуля CRT. Основная программа использует только процедуры ClearTheScreen и Prompt и тип CharSet, как определено в предложениях Import программы. [16]
Таким способом мы готовим интерпретацию множества процедур Р над областью Н ( Р) подобно тому, как это описано в гл. Каждому атому, являющемуся антецедентом некоторой процедуры из Р, произвольным образом сопоставим истинностное значение t или /; единственное ограничение здесь, разумеется, состоит в том, что одинаковым атомам должно быть сопоставлено одно и то же истинностное значение. [17]
Если S логически влечет Р, множество процедур Р является полным, программа ( Р, G) определяет конечное пространство вычислений, а управление С исчерпывающее, то логический алгоритм ( Р, G, С) является полностью правильным. [18]
Здесь имеются по крайней мере два множества процедур: одно для предикатного символа А, а другое - для В. Иногда предпочитают применять слово процедура к тому, что мы назвали множеством процедур; отдельные предложения в нем именуются тогда дизъюнктами. [19]
В такой схеме необходимая многовариантность в распределении множества процедур и информационных элементов сохраняется. [20]
 |
Пример построения гистограммы с применением функции hist. [21] |
Приведенный на рис. 5.72 файл реализует одну из множества возможных процедур построения гистограмм с применением функций hist. В частности, гистограмма может быть построена и в терминах относительных частот. [22]
Параметры процедурного типа особенно полезны в ситуациях, когда над множеством процедур или функций выполняются общие действия. [23]
Реализация перехода по некоторой дуге графа Gh заключается в использовании некоторого множества процедур для обработки соответствующего данной дуге запроса пользователя. Обозначим через А [ аг, г 1, Я множество процедур обработки данных, входящих в состав модулей системы, при помощи которых производится обработка запросов пользователей. Взаимодействие процедур при обработке запроса типа Zj представляется в виде стохастического ориентированного графа U3 - ( A, L), узлами которого являются процедуры обработки данных, а дуги отображают взаимосвязь процедур по управлению и помечены информационными элементами, общими для инцидентных вершин графа. [24]
Совокупность прикладных процессов, взаимодействующих с вычислительной системой и представляющих собой множество процедур, которые могут выполняться в разных системах. [25]
Помните, что введению Меток Движения должно предшествовать тщательное ознакомление с множеством основных и вспомогательных процедур, описанных в книге. [26]
Третий подход в принципе подобен первому, однако в нем устраняется необходимость использования отдельных множеств процедур, описывающих взаимно дополнительные отношения, такие как входит и не-входит. Вместо этого он основывается на явном вычислении ответов ДА / НЕТ на запросы о принадлежности в отношениях. [27]
Модифицированная программа 26 страдает незначительным дефектом стиля, заключающимся в помещении символа Л внутрь множества процедур печать, поскольку эти процедуры теперь уже нельзя вызывать, не порождая при этом новые факты, что приводит к некоторой потере их гибкости. Более изящный подход, дающий более модульную структуру, состоит в использовании нового множества процедур, цель которого - только образовывать множество фактов, не делая никаких предположений относительно их дальнейшего употребления. [28]
В качестве необходимых исходных данных для анализа технологии решения задач обработки данных используются: множество процедур обработки данных Un гц 1 1Ьп г - й задачи; множество информационных элементов D dj j 1, Jn; области определения Wj каждого информационного элемента dj, j 1, J; множество констант Кп - ке е 1 е; графы технологии Gn ( Un, Dn); матрицы смежности Ап и достижимости М технологии обработки данных. [29]
У графопостроителя этими подпрограммами могут быть процедуры для вычерчивания различных кривых, определенные на множестве процедур. [30]
Страницы: 1 2 3 4