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