Cтраница 3
Теория с умолчаниями Д ( D, F) подразумевает некоторое ( нулевое или большее) число множеств предположений, которые выводимы с использованием множества формул F, и удовлетворяет свойству выполнимости. Эти множества предположений называются расширениями данной теории с умолчаниями. [31]
Теория с умолчаниями А ( D, F) подразумевает некоторое ( нулевое или большее) число множеств предположений, которые выводимы с использованием множества формул F, и удовлетворяют свойству выполнимости. Эти множества предположений называются расширениями данной теории с умолчаниями. Расширения теории с умолчаниями явно определены здесь лишь для замкнутых теорий. Открытую теорию можно преобразовать эффективным образом в замкнутую, заменяя каждое открытое умолчание множеством всех его конкретизации, получаемых посредством применения открытых умолчаний к универсуму Эрбрана данной теории. Заметим, что теории, содержащие функциональные символы ненулевой арности, имеют бесконечную эрбранову область. [32]
Издание такой книги стало чрезвычайно актуальным в связи с тем, что наступившие большие перемены в экономической и социальной жизни страны требуют серьезного изучения и использования множества фундаментальных положений, принятых в странах с развитой рыночной экономикой. Наши теоретики и практики, бухгалтеры и счетоводы, ревизоры и контролеры, преподаватели и студенты должны быть знакомы с ними. Такое на первый взгляд очевидное условие было затруднено тем, что наша теоретическая мысль оказалась искусственно оторванной от эволюции мировых идей, и неслучайно именно сейчас возникла настоятельная потребность в ознакомлении счетной общественности страны с достижениями зарубежных коллег. [33]
Понятие категории запятой, часто применявшееся в частных случаях, было в полной общности введено в ( неопубликованных) тезисах Ловера ( Lawvere [1963]), с тем чтобы дать определение сопряженного функтора без использования множеств элементов. [34]
Возьмем одну из немонотонных модальных систем и определим множество предположений В из С относительно А как Ass - B) Mq q e L ( q не имеет свободных переменных) и - q ф B Ths ( A), т.е. это множество формул, предположительных относительно множества В или множество формул, выполнимых вместе с формулами из множества В, но недоказуемых в модальной системе S с использованием множества посылок А. [35]
Однако большинство реализаций трансляторов с языка Паскаль ( в том числе и его самая первая реализация) не обеспечивают возможности написания функции isalphanum в приведенном выше виде в силу имеющихся ограничений на максимально возможный размер множеств. Таким образом, использования множеств следует избегать, если в намерения программиста входит написание мобильных программ. Кроме того, использование множеств может приводить к замедлению на порядок выполнения программы по сравнению со случаями использования проверок на попадание в набор диапазонов и даже перебора небольших массивов. [36]
Показано, что синдром определяется ошибкой и не зависит от сообщения. Далее обоснована необходимость использования множества многочленов по модулю данного простого многочлена. Кроме того, рассмотрена необходимость дополнительного условия существования у многочлена примитивного корня, при котором обеспечивается возможность записи всех элементов в виде степеней этого корня; в некотором смысле эта процедура эквивалентна введению логарифмов. [37]
В этой же работе показано, что теоретико-игровые модели позволяют для всех перечисленных случаев сконструировать наборы правил переговоров, следуя которым агенты придут к некоторому соглашению, отвечающему состоянию равновесия. Это достигается за счет использования множества дополнительных предположений и специальных приемов. При этом нечестные агенты могут либо увеличить свой доход, либо освободиться от части своей работы. [38]
Отличительной особенностью лексических средств, используемых в АРД, является то, что они имеют высокий процент семантически нагруженных слов, которые обладают большой смысловой емкостью. Для текста АРД характерно также использование множества обобщающих слов, благодаря которым удается существенно сократить его объем. Значительное место здесь занимают термины, терминологические сочетания, номенклатурные названия. Они делают АРД более емким, четким и лаконичным, помогая более однозначно и глубоко понять его содержание. [39]
Хотя множества представляют собой средство, лишь ненамного превосходящее по своим возможностям те, которые могут быть получены в результате использования упакованных массивов булевского типа, тем не менее включение в язык программирования множеств может быть отнесено к существенным его достоинствам. В языке Паскаль поддерживается возможность использования множеств, а в языках Ада и Си - нет. Поскольку стандарт ISO на язык Паскаль [5] не устанавливает нижнюю границу максимального размера множества, который должен обеспечиваться любой реализацией транслятора с языка Паскаль, то при реализации трансляторов с языка Паскаль их авторы вольны в выборе максимально возможного размера множества и часто ограничивают эшт размер числом, определяемым числом бит в машинном слове. А это явно недостаточно для многих применений. [40]
Предполагается, что заранее задано множество возможных гипотез, и множество объяснений отбирается из числа этих гипотез. Так как гипотезы строятся с использованием множества ранее известных кандидатов, то такой подход иначе называется сборкой ( assembly) гипотез. [41]
Следует отметить сильную зависимость этого типа данных от аппаратуры, вследствие чего цепочки битов и операции над ними должны прямо транслироваться в аппаратные цепочки битов и соответствующие аппаратные операции, поскольку программное моделирование в этом случае, как правило, слишком неэффективно. Более машинно-независимый подход состоит в использовании малых множеств, обсуждаемых в разд. [42]
Для упрощения и ускорения расчетов в проектировании без использования ЭЦВМ рекомендуются универсальные графики ед (, R, р) ( рис. 45 - 50), обладающие всеми достоинствами универсальных таблиц. Вследствие универсальности приведенные графики исключают необходимость использования множества известных частных графиков, каждый из которых пригоден только для одной схемы тока. [43]
Всякий переменный параметр в любой момент периода генерации имеет одно единственное конкретное значение. В некоторых ситуациях появляется необходимость в использовании множества однотипных параметров. Размеры того множества устанавливаются самим пользователем, а каждый элемент имеет свое конкретное значение, которое может изменяться. [44]
Рассмотренный эвристический алгоритм может быть использован для формирования начального разбиения при решении задач синтеза с использованием интерпретации Т - задачи. В этом случае система ограничений должна предусматривать использование множества типовых структур. [45]