Cтраница 2
Смысл этого предложения сводится просто к тому, что R П Q-непустое множество; это-симметричная форма первоначального предложения. [16]
Макросы дают возможность расширять синтаксис и семантику Лиспа и использовать новые подходящие для решаемой задачи формы предложений. [17]
Если вопросительное слово является подлежащим или входит в группу подлежащего, то вопрос строится по форме утвердительного предложения. Согласно правилу порядка слов за ним следует сказуемое в простой или аналитической форме. [18]
Как только системе заданы исходная модель и множество операторов, перед ней можно поставить задачу в форме целевого предложения. При этом система STRIPS должна найти последовательность операторов, преобразующих исходную модель ( или состояние) в конечное состояние, в котором верно ( доказуемо) целевое предложение. STRIPS начинает с того, что пытается доказать правильность целевого предложения в исходной модели. Если доказательство не удается завершить, программа выделяет различие между начальной моделью и целевым условием, указывая множество предложений, которые могут помочь завершить доказательство. Если подходящий оператор выбран, то его условия применимости образуют подцели, которые должны быть достигнуты, и аналогичный процесс решения задачи может быть применен теперь уже к ним. Если можно доказать, что условия применимости оператора соблюдаются в рассматриваемом состоянии среды, то подцели тем самым оказываются достигнутыми, и описание результатов действия оператора используется для порождения нового состояния. Процесс формирования новых подцелей и новых состояний продолжается до тех пор, пока не будет получено такое состояние, в котором может быть доказана истинность целевого условия. Последовательность операторов, порождающая это состояние, является искомым решением. [19]
Таким образом, то новое, что происходит в немецком литературном языке последних десятилетий в сфере рассмотренных нами форм предложения, оказывается, по сути дела, лишь продолжением и дальнейшим развитием, как бы подхватыванием тех тенденций, которые явственно наметились еще в эпоху немецкой классической литературы, но потом оказались в той или иной степени ( особенно в некоторых жанрах) забытыми и устраненными или просто не сумели на эти жанры распространиться. [20]
Клоксин и Меллиш ( 1981 г.) приводят пролог-программу, которая преобразует предложения исчисления предикатов первого порядка в форму предложений. [21]
Ясно, что написать такую книгу было бы невозможно без очень большой поддержки многих людей, оказанной в форме предложений, критических замечаний и финансовой помощи. Я чрезвычайно обязан также многим коллегам, прочитавшим отдельные главы и сделавшим полезные замечания, в особенности X. Принося благодарность за помощь этим и другим лицам, я напоминаю, что они, разумеется не несут никакой ответственности за возможно вкравшиеся в книгу ошибки по существу дела или в оценках. Наконец, я хочу выразить признательность моей жене Монике, которая принимала участие во всех этапах работы, следила за созреванием окончательного варианта и безжалостно его критиковала. Без ее помощи, поддержки и неизменного терпения в такой всепоглощающей работе не могла бы быть написана эта книга, которую я дружески и с любовью посвящаю ей. [22]
В заключение следует отметить, что все авторы описанных выше исследований крайне осторожно делают большинство своих утверждений, а окончательные выводы высказывают только в форме предложений. Таким образом, до настоящего времени не предложено рацио-нальной гипотезы, которая объяснила бы механизм солевой коррозии. [23]
Нередко более удобным способом выразить коммуникативное намерение является косвенный речевой акт, т.е. такой речевой акт, в котором цель высказывания не совпадает с формой предложения. [24]
Толкуемой единицей ( в общем случае) является не слово, а выражение вида XPY, где Р - толкуемое слово, а X и Y - переменные, сообщающие данному выражению форму предложения или словосочетания. [25]
Примерный состав тендерной документации по проведению П.т. таков: 1) форма заявки на участие в торгах; 2) анкета претендента; 3) проектно-сметная документация ( состав проектно-сметной документации определяется организатором совместно с конкурсной комиссией); 4) форма приглашения претендентов на участие в торгах; 5) форма предложения претендента. [26]
При обнаружении налоговыми органами нарушений, за которые НК РФ предусматривает меры ответственности в виде штрафных санкций, налогоплательщику предлагается добровольно уплатить суммы штрафов. Форма предложения о добровольной уплате может быть произвольной. Часто это предложение включается в требование об уплате налога и пени. [27]
МУЗЫКАЛЬНАЯ ФОРМА, 1) комплекс выразит, средств, воплощающих в муз. В форме предложения или периода обычно излагаются темы муз. [28]
В качестве экземплифи-кации приводятся в основном словосочетания, не являющиеся предложением; предложения в качестве экземплификации приводятся лишь там, где это необходимо. Экземплификация в форме предложений необходима при союзах, частицах и междометиях. На первое место ставятся свободные словосочетания, типичные для употребления слова в данном значении, или сочетания, представляющие трудность для перевода. Затем идут устойчивые сочетания и сочетания, в которых значение слова видоизменяется в зависимости от контекста. После этих сочетаний дается переносное употребление, обозначаемое пометой ргеп. Если какое-нибудь словосочетание имеет разные значения, то эти значения разделяются с помощью а) и Ь), напр. [29]
Метод экспертных оценок позволяет путем опроса квалифицированных специалистов ( экспертов) получить сведения о некоторых параметрах, которые будут характеризовать библиотечный фонд в обозримом будущем. Сведения приводятся в форме предложений. [30]