Cтраница 3
С этой целью мы и предприняли попытку построения возможно более общего по форме определения алгоритма, удовлетворяющего выдвинутым выше требованиям ограниченной сложности каждого шага алгоритма. В результате, как и следовало ожидать, получилось, что, несмотря на все меры, принятые для сохранения возможной общности построения, мы не выходим за пределы алгоритмов, описываемых указанным выше способом частично рекурсивными функциями. [31]
Алгол приобрел важное значение благодаря двум отличительным особенностям: четкости и элегантности своей структуры и форме определения. Следует отметить и его управляющие структуры; опыт создания управляющих структур Алгола оказал влияние на развитие языка ПЛ / I и поздних версий Фортрана ( включая версию языка Фортран, рассмотренную в гл. [32]
Принятый порядок не относится к арендным предприятиям, на которых может быть применена по решению трудового коллектива выборная форма определения руководителя. [33]
Проектный расчет зубчатых колес на изгиб обычно производят в форме определения модуля по выбранным числам зубьев или в форме определения модуля по межосевому расстоянию и ширине, определенным из расчетов на контактную прочность. [34]
Такой анализ был предпринят Тьюрингом [ 1936 - 37, поступило для опубликования 28 мая 1936 г. ] в форме определения нгкоторого рода вычислительной машины. [35]
Используя определенные в § 9.7 локальные группы гомологии, читатель может убедиться в том, что два типа точек, фигурирующих в усиленной форме определения, различны. Множество точек, имеющих открытые окрестности типа R, называется внутренностью многообразия с краем. Множество всех точек второго типа называется краем многообразия. Значение термина внутренность отличается от значения этого термина в теоретико-множественной топологии, однако это не приведет к недоразумениям. Ясно, что внутренность - это обычное п-мерное многообразие ( определенное в гл. [36]
По смыслу указанных положений Конституции Российской Федерации и Федерального конституционного закона О Конституционном Суде Российской Федерации во взаимосвязи с пунктом 2 части первой статьи 87 названного Закона, Конституционный Суд Российской Федерации, придя к выводу о том, что в обращении оспариваются такие же нормативные положения, какие ранее были признаны им соответствующими Конституции Российской Федерации, своим решением в форме определения подтверждает, что эти положения также являются соответствующими Конституции Российской Федерации, а потому дальнейшее производство по запросу прекращает. [37]
По смыслу статьи 125 ( пункт а части 2 и часть 6) Конституции Российской Федерации и конкретизирующих ее положений пункта 1 части первой статьи 3, статей 6 и 36, пункта 3 части первой статьи 43, частей второй и третьей статьи 79, статьи 85, пункта 1 части первой и частей второй и четвертой статьи 87 Федерального конституционного закона О Конституционном Суде Российской Федерации, Конституционный Суд Российской Федерации, придя к выводу о том, что в обращении оспариваются такие же нормативные положения, какие ранее были признаны им не соответствующими Конституции Российской Федерации, своим решением в форме определения подтверждает, что эти положения также являются не соответствующими Конституции Российской Федерации и как таковые не могут иметь юридической силы. [38]
Множество определяется перечислением его элементов, заключенным в прямоугольные скобки. Такая форма определения называется конструктором множества. [39]
Пример, серьезный или шутливый, может принять форму определения: Государственный деятель - это политик, но уже умерший. [40]
Издание настоящего справочника продиктовано необходимостью систематизации, классификации и уточнения обширной номенклатуры искусственных и синтетических волокон, возросшими культурными, техническими и торговыми связями с зарубежными странами, а также расширением круга лиц, связанных с произ -, водством или использованием химических волокон. Помимо этого, давно назрела потребность в издании пособия, в краткой и популярной форме дающего определения важнейших терминов, характеризующих свойства и особенности химических волокон. [41]
Составителя словаря интересует прежде всего общепринятый смысл слов. Этот общепринятый смысл принимается им как нечто известное и облекается им в форму определения. [42]
Понятно, что подобным же образом строки матрицы А можно рассматривать как л-мерные векторы. Доказательство этого весьма неожиданного утверждения будет получено после того, как мы укажем еще одну форму определения ранга матрицы, дающую заодно способ его практического вычисления. [43]
Но есть еще другие причины устойчивости родительного падежа как члена группы существительного, связанные с моментами семантическими. Определительный родительный падеж в ряде случаев не адекватен полностью в смысловом отношении предложному определению или другой синонимической форме определения. Такая смысловая незаменимость особенно характерна при этом как раз для определительного родительного в его более бытовом и конкретно-описательном употреблении. [44]
В предыдущих разделах была показана связь между различными способами выражения полярности неподвижных фаз, используемых в газовой хроматографии. Несмотря на различие подходов к определению полярности неподвижной фазы, а следовательно, и различие в формах определения полярности, рассмотренные выше определения полярности в целом не противоречат друг другу и приводят к тождественным результатам. Таким образом, при изучении зависимости растворимости от строения компонентов и растворителя неподвижную фазу достаточно характеризовать одной величиной-ее полярностью. [45]