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