Естественные науки
В сборнике рассматриваются способы изучения возникающих и развивающихся явлений. Первостепенное внимание уделяется использованию морфологических и семиотических методов. Обсуждаются проблемы формирования Вселенной и биосферы, человечества, когнитивных и научно-исследовательских способностей людей, а также создания новых методов и методик научных исследований, рационализации и обновления уже сложившихся. Уделяется внимание методологическим синтезам, сочетанию морфологических и семиотических методов, развитию в современных условиях биосемиотики, биосоциальной эволюции, эволюционной морфологии, смешанных методов и т.п. Рассматриваются когнитивные и методологические основания формирования и развития научных и образовательных традиций, их обновления в современных условиях.
Для широкого круга интересующихся когнитивными и методологическими проблемами, для специалистов-обществоведов и гуманитариев, аспирантов и студентов.
Книга является учебным пособием по формальным методам верификации программ и основана на курсах лекций, читаемых автором на факультете ВМК МГУ имени М.В. Ломоносова, ФУПМ МФТИ и ФКН ВШЭ. В ней изложены основы таких подходов, как дедуктивный анализ и проверка моделей. Список тем включает: методы формализации семантики языков программирования (операционная и аксиоматическая семантика), методы формальной спецификации требований (программные контракты и темпоральная логика линейного времени), методы доказательства корректности программ (метод индуктивных утверждений и метод фундированных множеств) и методы проверки моделей (теоретико-автоматный подход в явной и символической формах). В пособии также затрагиваются вопросы абстрактной интерпретации, разрешения ограничений, применения формальных методов в тестировании; даются сведения об инструментах Frama-C и Spin. Каждая глава сопровождается примерами и упражнениями.
Разрушение технологической культуры в вузах сказалось на качестве подготовки кадров высшей квалификации. Особенно ярко это проявляется в аспирантуре, ставшей третьей ступенью обучения. Зачастую поступающие имеют весьма смутное представление о том, что такое научный поиск, в чём заключается подготовка и защита кандидатской диссертации. А проблемы выбора предмета исследований вообще уходят на задний план. Таких начинающих исследователей становится всё больше. В статье для потенциальных аспирантов рассказывается о том, как выбрать задачу для исследования. Область знаний не имеет особого значения, хотя открытым проблемам автоматики уделено внимание. Рассмотрены различные сценарии и стратегии в обнаружении задачи исследования. Выявлены признаки, по которым можно определить хорошую задачу. Никогда не стоит забывать об оценке рисков, так как задача должна быть выполнимой в пределах отведённого для аспирантуры времени. Затронуты вопросы эффективного взаимодействия с научным руководителем. О работе аспиранта судят по опубликованным работам, поэтому в статье даётся несколько советов по развитию публикационной активности. Это полезная информация именно для тех, кто впервые задумался о поступлении в аспирантуру, но по-видимости запоздалая для тех, кто уже поступил.
В сборнике представлена вторая часть трудов IX Московской международной конференции по исследованию операций (ОRM 2018 – Гермейер 100), посвященной столетию со дня рождения выдающегося советского ученого профессора Юрия Борисовича Гермейера, внесшего фундаментальный вклад в разработку математических основ теории принятия решений и сыгравшего основополагающую роль в становлении отечественной школы исследования операций и теории игр. Содержание сборника составляют доклады, отражающие теоретических исследования и практические приложения принятия решений в условиях неопределённости, развивающие достижения школы Гермейера. В докладах обсуждаются математические вопросы исследования операций в различных областях деятельности, а также численные методы исследования операций.
В сборнике собраны тексты статей, представленных в виде докладов на научных конференциях в рамках выполнения проекта Московского городского отделения Русского географического общества «Неизвестное рядом: пять лет Новой Москве», который направлен на оценку функциональных и пространственных изменений на присоединенных территориях, включая их экономическую, социальную и экологическую проекции. Конференции были организованы при содействии Московского городского отделения Русского географического общества.
Новая российская энциклопедия - фундаментальное справочное издание в 18 томах, характеризующее природу, население, экономику, историю, науку, искусство, технику и другие важные аспекты. Содержит около 60.000 статей, около 30.000 биографий, около 15.000 цветных иллюстраций, карт, схем, диаграмм, таблиц. Выходит с 2003 года.
В начале 2015 года было опубликовано исследование Центра долгосрочного прогнозирования и стратегического планирования МГУ имени М. В. Ломоносова «Краткосрочные и долгосрочные угрозы и риски Рос-сии в условиях обострения международных отношений и пути их минимизации. Стратегический анализ» (М.: Учитель, 2015). В нем не только был дан прогноз основных угроз (в частности, дальнейшее развитие современной гибридной войны между Соединенными Штатами Америки и Россией), но и предложены меры по противодействию этим угрозам.
За прошедший с тех пор период некоторые из предложенных мер в той или иной степени были реализованы. В то же время невыполнение ряда предложений и рекомендаций, особенно в экономической и финансовой сферах, способствовало обострению ситуации и помешало выйти на траекторию устойчивого и динамичного экономического и социально-политического развития.
В настоящей работе дается обновленный прогноз наиболее важных сдвигов и изменений в ближайшее десятилетие и связанных с ними рисков и угроз для России с учетом недавнего Указа Президента от 7 мая 2018 го-да No 204 «О национальных целях и стратегических задачах развития Рос-сийской Федерации на период до 2024 года».
В учебнике представлен систематический курс линейной алгебры с элементами аналитической геометрии. Материал учебника изложен в доступной форме. Издание иллюстрировано тщательно подобранными и подробно решенными примерами. Представленные задачи для самостоятельного решения будут способствовать активному освоению курса студентами, а также помогут преподавателям в подборе материала для занятий.
Учебник представляет собой полный вводный курс в актуарную математику. Раскрыты основные понятия страхования и актуарных расчетов, финансовой математики и демографической статистики. Рассмотрены принципы и определения страхования, задачи актуарных расчетов, структура страховой премии и основные подходы к ее расчету, методы формирования страховых резервов в страховании ином, чем страхование жизни, страховании жизни и пенсий. Теоретический материал иллюстрирован многочисленными примерами и задачами, кроме того, предложен обширный набор задач для семинарских занятий и самостоятельной работы студентов. В учебнике приведены вопросы и задания для самоконтроля по всем темам. В приложения включены необходимые для проведения самостоятельных расчетов и решения задач математико-статистические и демографические таблицы.
Демографическая статистика против математической, вероятности, выборки, популяции, "жизненная статистика" Уильяма Фарра и математическая Карла Пирсона... - в этом комиксе обзор истории, философии, основные концепции и то, как они связаны с реальными проблемами.
Задачник-самоучитель по комбинаторике написан на основе методики, использовавшейся автором при преподавании в НИУ ВШЭ в 2001-2018 годах. Может быть использован как для преподавания в школах и университетах, так и для самостоятельного изучения. Задачи охватывают только элементарную часть комбинаторики (правила суммы и произведения, число сочетаний, бином Ньютона и треугольник Паскаля, задача Муавра, формула включений и исключений), и разбиты на 4 главы. Пятая глава содержит задачи на различные темы (от шахмат, до теории вероятности), в которых используются комбинаторные приемы..