Cтраница 1
Данная тематика в социологии труда позволила более обстоятельно подойти к анализу группового эгоизма, манипулирования сознанием и поведением людей, роли средств массовой информации в стабилизации или дестабилизации обстановки на производстве. [1]
Данная тематика в ИДИ РАН изучается в весьма разнообразных аспектах, что определило количество и многообразную тематику статей, включенных в данный раздел. [2]
Данная тематика может быть частично изменена и должна быть конкретизирована в зависимости от имеющегося парка ЭВМ, их оборудования и имеющегося математического обеспечения. [3]
Специфика данной тематики такова, что в связи с постоянным появлением новых марок пластмасс происходят довольно частые изменения в международных стандартах, но, к сожалению, наши российские ГОСТы меняются гораздо реже. [4]
Переложение данной тематики в учебный материал требует установить оптимальное соотношение объективности предмета изучения с неизбежным субъективизмом интерпретаций. В этом плане известные ранее и новоизданные отечественные учебники по религиоведению трудно назвать безусловно удачными в их теоретической части. Решение указанной проблемы ( и создание на подобной основе специального пособия) остается задачей будущих разработок. [5]
По данной тематике опубликован ряд сведений, которые, к сожалению, носят разрозненный характер и не позволяют в полной мере использовать их для успешного решения задачи по защите от коррозии металла оборудования водо - и теплоснабжения. [6]
По данной тематике защищены семь кандидатских диссертаций. [7]
По данной тематике за последние три года был опубликован ряд статей в российских и зарубежных изданиях, и были защищены 2 кандидатские и 2 докторские диссертации. [8]
Список литературы по данной тематике включает в себя как учебные пособия, дающие в той или иной форме узловые понятия для данного предмета, так и монографии, в которых более детально представлены отдельные задачи, вошедшие в книгу. [9]
Отметим, что данной тематикой независимо стали заниматься в середине 60 - х годов на другом полушарии. [10]
Программа выполнения работ по данной тематике, пути и методика решения поставленных задач разрабатываются на основе предварительно выдвинутой гипотезы, представляющей собой научное предположение о причине каких-либо явлений, достоверность которого при современном состоянии производства и науки не может быть проверена и доказана, но которое объясняет данные явления, без него не объяснимые. [11]
Отсутствие специального стандарта по данной тематике объясняется в том числе и наличием в разных странах весьма различных требований, предъявляемых к выпуску и обращению ценных бумаг, а также требований, касающихся ограничений на операции с акционерным капиталом. Так, например, в США, наряду с акциями, имеющими номинальную стоимость, выпускаются безноминальные акции. В некоторых странах отсутствует понятие уставного капитала как некоторой фиксированной величины, в то время как в других, в том числе в России, уставный капитал является одним из ключевых объектов гражданского законодательства. Согласно статьям 90 и 99 Гражданского кодекса РФ, уставный капитал общества с ограниченной ответственностью и акционерного общества определяет минимальный размер имущества общества, гарантирующего интересы его кредиторов. [12]
Первой значительной публикацией, полностью посвященной данной тематике, была работа Пупко [48], в которой доказывалась гипотеза Вейля. Отметим, что работа была написана как ответ на один из вопросов, сформулированных Д.В. Аносовым на симпозиуме в Тирасполе. [13]
С момента написания нами обзора по данной тематике [21] прошло три года, и хотя в данной монографии приведено значительное число новых результатов, какие-то - и, может быть, очень важные - из них, по-видимому, упущены из-за невозможности объятия всех текущих публикаций. [14]
На русском языке выпущен ряд книг по данной тематике, однако основной акцент в них делается, как правило, на качественные аспекты проблемы. Предлагаемая книга отличается от ранее опубликованных в первую очередь тем, что главное внимание в ней уделяется не изложению общих идей и принципов структурного программирования, а построению формального аппарата, позволяющего создавать программы, правильность которых может быть доказана еще до их включения в библиотеку программ системы. Модификацию этих программ могут легко осуществить даже лица, не участвовавшие в их создании. С этой целью вводится промежуточный этап разработки программного обеспечения - этап проектирования, реализуемый на уровне специального языка проектирования программ PDL. Этот язык позволяет наглядно описывать структуру программы и выполнять формальное доказательство ее правильности. В книге подробно рассматривается процесс проектирования программ, особое внимание уделяется их верификации. [15]