Cтраница 3
Аналогичные псевдонимы типов удобно создавать для любых часто используемых в программе типов. [31]
Конечно, - хороший специалист сможет восстановить указанные данные с помощью программ типа DiskEdit, но это не так-то просто и требует времени. Здесь поможет программа Rescue - она позволяет сохранять эти данные на спасательную дискету и восстанавливать их со спасательной дискеты. [32]
Решать урлпдения, неравенства, системы уравнений и неравенств описанных в программе типов, а также сводящиеся к ним. [33]
Решать уравнения, неравенства, системы уравнений и неравенств описанных в программе типов, а также сводящиеся к ним. [34]
Решать уравнения, неравенства, системы уравнений и неравенств описанных в программе типов, а также сводящиеся к ним. [35]
Использование микрокалькулятора в вузе подтвердило, что на нем можно и осуществить программы типа Генератор задач, и организовать достаточно разнообразные игры. [36]
Решать задачи на составление урав - j нений и систем уравнений описанных в программе типов. [37]
Исполняемые программы типа com не требуют настройки адресов после их загрузки в ОЗУ, программы типа ехе при загрузке в ОЗУ настраиваются по месту размещения - для них задаются соответствующие адреса сегментов. [38]
За последние 20 лет фирмы, производящие лекарственные препараты, вложили большие средства в разработку программ типа тех, которые мы обсуждаем. Некоторые из этих систем постоянно используются и продолжают развиваться. Если бы у разработчиков был Пролог, им явно было бы легче. [39]
При составлении схемы развития энергосистемы ( проектные институты и отделы перспективного развития РЭУ) с помощью точных оптимизационных программ типа КРМ-86 и PROCOM-3, PROCOM-4, строятся внешние характеристики технико-экономической эффективности КРМ ( см. рис. 3.15 и 3.16) и на основе их анализа выбирается определяющий критерий оптимизации min АР, max Umin или min AQ. [40]
В отличие от телевизоров УЛПЦТ-59 / 61 - 11 - 10 / 11, блок сенсорного выбора программ типа СВП-3 и селектор каналов типа СК-В-1 обеспечивают прием шести телевизионных программ предварительно выбранных в диапазонах метровых и дециметровых волн со световой индикацией выбранной программы. [41]
Для дальнейших деталей я рекомендую главу о зависимостях данных в [4], где представлена упрощенная ЛИСП - реализация программы типа TMS вместе с доказательством ее правильности. Макаллистер [30] приводит другую реализацию системы поддержания истинности с более ясной организацией, чем приведенная выше. [42]
Несмотря на то что функцию у: max ( x, у) ( как показано выше) более естественно представить программой типа ifthen, мы также покажем, что существует решение в виде последовательности. [43]
Вначале проводили 3 цикла изменения потенциала со скоростью 38 в / ч, каждый из которых включал смещение ср от - 0 4 до 0 1 в и обратно ( программа типа б, рис. VI. Этот интервал примерно соответствовал области FGH ( рис. V. Лишь тренированные таким образом электроды позволяли получить достаточно воспроизводимые данные. [44]
Теорема правильности показывает, что все структурированные программы, выраженные через элементарные, содержащие не более одного предиката, могут быть верифицированы ( за исключением вопроса окончания программ) посредством применения методов рассуждения, требуемых для программ типа последовательность и ifthen-else. Проблемы доказательства правильности могут оказаться слишком трудоемкими, но теоретически они разрешимы. [45]