В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач....

\\\"Эврика!\\\" - вскричал Архимед, погрузившись в воду и наконец-то обнаружив ответ на мучивший его вопрос. С тех пор прошло много веков, но опыты и эксперименты продолжают помогать людям познавать окружающий мир. Хочешь постичь природу вещей и на собственном опыте убедиться в том, как работают законы природы?...

«Эврика!» — вскричал Архимед, погрузившись в воду и наконец-то обнаружив ответ на мучивший его вопрос. С тех пор прошло много веков, но опыты и эксперименты продолжают помогать людям познавать окружающий мир. Хочешь постичь природу вещей и на собственном опыте убедиться в том, как работают законы природы?...

Предметом настоящего исследования являются ценности русского эпического сознания как аксиологические доминанты мировоззрения. Аксиологическому анализу подвергнуты записи русского народного эпоса - \\\"старин\\\" (за исключением духовных стихов, исторических песен и скоморошин), сделанные с середины XVIII века до 1960-х годов....

Предметом настоящего исследования являются ценности русского эпического сознания как аксиологические доминанты мировоззрения. Аксиологическому анализу подвергнуты записи русского народного эпоса - \\\"старин\\\" (за исключением духовных стихов, исторических песен и скоморошин), сделанные с середины XVIII века до 1960-х годов....

Автор исследует все известные науке записи русских эпических песен, выявляет ценности, мотивирующие былинных героев, - и на этом основании реконструирует исходные смыслы богатырского эпоса русских....

\\\"Поэзия Александра Миронова насыщена исключительно плотным смыслом. Это даже не стихи, это - свернутые в стихотворение философские трактаты....

Словарь содержит свыше 24 тыс. слов и словосочетаний в обеих частях. В словарь включены наиболее употребительные слова нидерландского и русского языков. Словарь рассчитан на русских и иностранных читателей с разной степенью языковой подготовки....

«Эврика!» — вскричал Архимед, погрузившись в воду и наконец-то обнаружив ответ на мучивший его вопрос. С тех пор прошло много веков, но опыты и эксперименты продолжают помогать людям познавать окружающий мир. Хочешь постичь природу вещей и на собственном опыте убедиться в том, как работают законы природы?...

В монографии анализируются причины и следствия художественной неудачи произведений, диалектика ее вне- и внутрилитературных факторов. Рассматриваются рецептивный и коммуникативный аспекты творческой неудачи, креативный потенциал «неуспешного» текста....

Учебное пособие содержит материалы по методике организации тренировочного процесса по атлетической гимнастике как в рамках учебного процесса, так и самостоятельно и направлено на формирование у будущих специалистов в области государственной службы потребности в систематических занятиях атлетической гимнастикой и ведении здорового образа жизни....

Учебное пособие разработано коллективом преподавателей кафедры физического воспитания и здоровья РАНХиГС.Пособие предназначено для преподавателей, проводящих учебные и тренировочные занятия по волейболу, а также для самостоятельной подготовки студентов во внеучебное время....

В учебнике рассматриваются: предмет и метод административного права; административно-правовые нормы и отношения; соотношение государственного управления и исполнительной власти; административно-правовой статус граждан и организаций; государственная служба; формы и методы государственного управления; административный процесс; административно-правовы...

Учебное пособие подготовлено в соответствии с программой курса дисциплины \\\"Муниципальное право России\\\" по специализации \\\"Юриспруденция\\\" и содержит ответы на основные вопросы по дисциплине. Издание учитывает современный уровень знаний по организации местного самоуправления в России....

Поэма на сельскую тему. О деревне на стыке двух эпох. Проблема села зародилась еще в далёкие времена социализма, в эпоху индустриализации страны — с ростом промышленных городов, которые высосали из деревень людские резервы....