Скачать книги Миронов А.
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач. Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная...
| Автор | Миронов А., Андрей Миронов |
| Год | 2023 |
"Поэзия Александра Миронова насыщена исключительно плотным смыслом. Это даже не стихи, это - свернутые в стихотворение философские трактаты. И можно даже проследить от осени 1964 года до последних его дней интересы его самого и интересы людей, его окружавших, идеи, которые выражены в этих стихах, стихах, воплощавших своеобразную летопись почти пятидесяти лет". Н. И. НиколаевАлександр Миронов - русский поэт, эссеист и переводчик, выдающийся представитель петербургской поэтической культуры...
| Автор | Миронов А. |
| Год | 2023 |
В учебнике рассматриваются: предмет и метод административного права; административно-правовые нормы и отношения; соотношение государственного управления и исполнительной власти; административно-правовой статус граждан и организаций; государственная служба; формы и методы государственного управления; административный процесс; административно-правовые режимы; административно-правовое регулирование организации государственного управления в различных сферах деятельности; ответственность за...
| Автор | Миронов А., Миронов Анатолий Николаевич |
| Жанр | Административное право |
| Год | 2023 |
Автор исследует все известные науке записи русских эпических песен, выявляет ценности, мотивирующие былинных героев, – и на этом основании реконструирует исходные смыслы богатырского эпоса русских. Ценностный анализ былин свидетельствует: опытный эпический певец вводил слушателя в былинный мир, подбирая ему эпического двой ника со сходным характером и тем самым как бы указывая своему современнику должное место за пиршественным столом князя Владимира. О дарованиях и духовных проблемах...
| Автор | Миронов А. |
| Жанр | |
| Год | 2023 |
Предметом настоящего исследования являются ценности русского эпического сознания как аксиологические доминанты мировоззрения. Аксиологическому анализу подвергнуты записи русского народного эпоса — «старин» (за исключением духовных стихов, исторических песен и скоморошин), сделанные с середины XVIII века до 1960-х годов. Настоящее исследование ценностей русского героического эпоса является второй частью комплексного аксиологического анализа известных науке былинных записей.
| Автор | Миронов А. |
| Жанр | |
| Год | 2023 |
Автор исследует все известные науке записи русских эпических песен, выявляет ценности, мотивирующие былинных героев, – и на этом основании реконструирует исходные смыслы богатырского эпоса русских. Ценностный анализ былин свидетельствует: опытный эпический певец вводил слушателя в былинный мир, подбирая ему эпического двой ника со сходным характером и тем самым как бы указывая своему современнику должное место за пиршественным столом князя Владимира. О дарованиях и духовных проблемах слушателя...
| Автор | Миронов А., Арсений Миронов |
| Жанр | Литературоведение |
| Год | 2023 |
"Поэзия Александра Миронова насыщена исключительно плотным смыслом. Это даже не стихи, это - свернутые в стихотворение философские трактаты. И можно даже проследить от осени 1964 года до последних его дней интересы его самого и интересы людей, его окружавших, идеи, которые выражены в этих стихах, стихах, воплощавших своеобразную летопись почти пятидесяти лет". Н. И. Николаев Александр Миронов - русский поэт, эссеист и переводчик, выдающийся представитель петербургской поэтической культуры...
| Автор | Миронов А. |
| Жанр | Современная поэзия |
| Год | 2023 |
В словаре даны основные понятия, используемые в процессе изучения социологии, отражен вклад отечественных и зарубежных ученых в развитие социологической науки.
.Для студентов высших учебных заведений.
.
.
| Автор | Капицын В., Акмалова А., Миронов А., Мокшин В. |
| Жанр | Социология |
| Год | 2022 |
В учебнике рассматриваются: предмет и метод административного права; административно-правовые нормы и отношения; соотношение государственного управления и исполнительной власти; административно-правовой статус граждан и организаций; государственная служба; формы и методы государственного управления; административный процесс; административно-правовые режимы.
| Автор | Миронов А. |
| Жанр | Административное право |
| Год | 2021 |
Учебное пособие подготовлено в соответствии с программой курса дисциплины «Муниципальное право России» по специализации «Юриспруденция» и содержит ответы на основные вопросы по дисциплине. Издание учитывает современный уровень знаний по организации местного самоуправления в России. Освещает основные понятия, положения, категории, институты муниципального права, процесс становления и развития местного самоуправления в нашей стране. Соответствует требованиям федеральных государственных...
| Автор | Миронов А., Миронов Анатолий Николаевич |
| Жанр | Жилищное право |
| Год | 2020 |
В учебном пособии на основе действующего законодательства и других нормативных правовых актов, регламентирующих деятельность нотариата, излагаются история развития нотариата, понятие, задачи, принципы нотариальной деятельности, организация нотариата, статус нотариусов и других лиц, имеющих право совершать нотариальные действия, виды нотариальных действий, порядок их совершения, финансовое обеспечение деятельности нотариата, а также контроль за нотариатом и нотариальной деятельностью....
| Автор | Миронов А. |
| Жанр | Прочие издания |
| Год | 2019 |
В монографии исследуются исторические аспекты развития учреждений и организаций уголовно-исполнительной системы в Пермском крае. Издание адресуется научным работникам, преподавателям, студентам и курсантам юридических вузов, практическим работникам правоохранительных органов.
| Автор | А. Кузнецов, Миронов А., Буркина О., Буркина Ольга |
| Год | 2019 |
В учебном пособии рассматриваются вопросы административно-процессуального права, касающиеся администтративного процесса, административных производств, их видов и стадий.
Соответствует требованиям Федерального государственного образовательного стандарта среднего профессионального образования по специальности 40.02.02 «Правоохранительная деятельность».
Для учащихся средних специальных образовательных организаций, а также может быть рекомендовано студентам вузов.
| Автор | Миронов А. |
| Год | 2018 |