Cтраница 1
Высказывания типа Урожай хорош или Сегодня прекрасная погода очевидны для беседующих, это просто выражение вежливости. [1]
Высказывания типа MU - теорема могут быть закодированы в теории чисел при помощи Геделевои нумерации. [2]
Интуициониста радуют высказывания типа всякое четное число, меньшее 10, является суммой двух простых, и он согласен, что они либо верны, либо неверны. [3]
Различие между высказываниями типа Па и lib в английском языке является главным образом стилистическим, тип lib широко используется не только в аннотациях и тезисах, но и в основном тексте статьи или монографии. Смыслового различия между ними нет, но вследствие различия в словорасположении внутри предложения существует небольшое различие и в технике перевода: перевод начинается со сказуемого, затем возвращается к. [4]
Различие между высказываниями типа Па и lib в английском языке является главным образом стилистическим: тип lib широко используется не только в аннотациях и тезисах, но и в основном тексте статьи или монографии. [5]
В литературе встречаются высказывания типа если испытания однородны, то статистическая устойчивость налицо. Данное высказывание проверяемо, очевидно, лишь тогда, когда под однородностью испытаний подразумевают стабильность контролируемых условий эксперимента. Но в этом случае оно, вообще говоря, ложно уже оттого, что ряд существенных факторов может оказаться незамеченным. Резерфорда результаты эксперимента с новым радиоактивным веществом ( теперь оно называется радоном) стали форменно хаотичными, хотя условия эксперимента были такими же, как и раньше. [6]
Это следует из того, что высказывания типа: Существует по крайней мере один х такой, что... [7]
В связи с этим не кажутся такими парадоксальными высказывания типа прогресс был бы прекрасной вещью, если бы он однажды прекратился. [8]
Согласно каноническому изложению квантовой механики, необходимо ввести классический прибор с тем, чтобы включить в текст теории высказывания типа: измеряя величину А, получаем в результате значение А. Взаимодействие с прибором и составляет акт измерения. Постулируется, что состояние классического прибора после измерения всегда точно предсказуемо. Сам процесс установления состояния прибора не описывается в рамках квантовой механики. Его реализация приводит к внезапному конечному изменению вектора состояния ( редукция), хотя предсказать это изменение можно только статистически. Понятие вектора состояния обсуждается ниже. [9]
МОДАЛЬНАЯ ЛОГИКА - область логики, в которой наряду с обычными высказываниями рассматриваются м о-дальние высказывания, то есть высказывания типа необходимо, что... [10]
Катафора - обращение к последующим элементам текста; обеспечивается числительными ( во-первых, во-вторых), вопросительными словами, высказываниями типа Я вот что вам сейчас скажу. [11]
На начальной стадии дискуссии различия в системах учета казались столь велики, что едва не вызвали реакции отторжения, выразившейся в высказываниях типа: наша система учета не хуже вашей ( советская сторона) и ваша система абсолютно непонятна для западных партнеров. [12]
Для того чтобы понять, что такое тождественно истинные высказывания, рассмотрим некоторые примеры. Высказывания типа кислород является газом или дважды два - одиннадцать представляют собой примеры так называемых элементарных постоянных высказываний. Элементарность этих высказываний состоит в том, что их нельзя расчленить на более простые составные части, которые сами являлись бы высказываниями. Действительно, выражения является газом или дважды два не представляют собой законченных высказываний, поскольку применительно к ним бессмысленно ставить вопрос истинны они или ложны. Термин постоянные применительно к приведенным высказываниям должен подчеркнуть, что речь идет о вполне определенных высказываниях, относящихся к вполне определенным областям знания. [13]
Все разговоры о необходимости абстракции при введении инерциальной системы не могут поколебать ощущения, что способ описания геометрии пространства и течения времени, принятый в ньютоновской физике, соответствует нашим житейским наблюдениям. Высказывания типа при ожидании время тянется страшно медленно и счастливые часов не наблюдают, очевидно, являются просто метафорами. [14]
Средства комплекса позволяют представлять качественные ( символьные) и количественные ( числовые) характеристики предметной области. Высказывания типа А есть В, где А - атрибут, представляющий качественную характеристику, а В - одно из его возможных значений, называются утверждениями о состоянии предметной области. Значения символьных атрибутов задаются разработчиком ЭС при создании системы, при этом система формирует соответствующее множество утверждений. Решение задачи сводится к получению значений некоторых целевых атрибутов ( например, диагноз или оценка риска) и ( или) определению истинности некоторых целевых утверждений. [15]