Cтраница 1
Строка вывода собрана в OUTBUF. Переменная OUTP является номером позиции последнего символа, OUTW - длиной строки, a OUTWDS - счетчиком слов. [1]
Вторая часть строки вывода СТЗ-Т4, показывает, как конструируется это опущенное положение. Эта часть показывает возможность применения здесь правила отделения. Положение ( 1) начинается с С, затем следуют аксиома ТЗ в качестве антецедента и положение Т4 в качестве консеквента. [2]
Первая строка называется строкой вывода. Она состоит из двух частей, отделенных друг от друга знаком X-Первая часть Tl q / CNpq означает, что в Т1 на место q должно быть подставлено выражение CNpq. Положение, которое получается с помощью этой подстановки, опускается из соображений экономии места. [3]
Для удобства дальнейшего анализа строки вывода программы на экран пронумерованы. [4]
Для удобства анализа работы программы строки вывода были пронумерованы. Первые две строки вывода соответствуют инициализации объекта Fido с помощью конструкторов, заданных по умолчанию. [5]
В этой задаче буферизация вывода нежелательна, так как экономия времени на строку вывода составляет не более 7и и ею можно практически пренебречь по сравнению с временем, необходимым для вывода самой строки. [6]
Цифры в круглых скобках рядом с каждой формулой обозначают и номер формулы, и номер строки вывода, в которую она входит. В частности, в строке, заключающей в себе посылку, в фигурных скобках слева стоит как раз номер этой строки, поскольку такая формула не зависит от других строк. Фигурные скобки применены в номерах слева умышленно, так как такое обозначение напоминает о том, что формула в этой строке есть логическое следствие совокупности посылок, обозначенных этими номерами. [7]
Этот запрос близок по характеру запросам 1 и 2 в том, что требуемая информация расположена в одном отношении; однако ответ на запрос занимает несколько строк вывода, а не представляет собой единичное значение. [8]
Плотный - строки вывода формируются из исходного текста слева направо наиболее плотным образом, переход на следующую строку происходит только тогда, когда очередное слово исходного текста не помещается в предыдущей строке вывода. [9]
Выходной формат совпадающих строк изменяется для более полной поддержки конвейеризации команд по типу операционной системы UNIX. Перед всеми строками вывода указывается имя файла, содержащего совпадающую строку. [10]
Как и в случае естественного слияния, необходимо обеспечить, чтобы элемент, слишком маленький для данной строки, не попал в эту строку. Допускается, чтобы наименьший элемент в области сортировки был меньше последнего элемента в строке вывода. Есть метод, который связан со старшим разрядом всех ключей. [11]
Приложить 2 -, 5 бумажки по 5 строк нетрудно с копиями Фотиевой. Деловые выводы Вы сами должны делать, а не меня заставлять извлекать из десятка страниц пять строк деловых выводов. [12]
Если т k / 2, то каждая лента ввода добавляет l / m - ю часть строки вывода. Это условие не выполняется, когда некоторые локальные прогоны вызывают неравномерность вклада отдельных строк ввода в отдельные строки вывода, но оно будет выполняться в течение просмотра, на котором каждая лента ввода добавляет l / m - ю часть выходных данных. Для того чтобы быть уверенным, что чтение никогда не будет задержано и процесс записи ему никогда не помешает, нужна система с ( k / 2) 1 независимыми каналами для лентопротяжных устройств, поскольку в каждый момент времени потенциально активны ( k / 2) 1 лент. [13]
Знак отрицательного числа печатается символом минус независимо от того, указана знаковая позиция в формате или нет. Если не указана, то для знака используется дополнительная позиция ( сверх формата PU), что вызывает смещение вправо всех последующих символов строки вывода. [14]
Если для каждой области поле выделяется в виде цилиндра, то все строки одной области доступны для штанги считывания-записи без поиска. Если же все строки помещаются в один цилиндр, то все считывание строк для слияния выполняется без поиска независимо от вклада отдельных строк ввода в строку вывода. [15]