?
Материалы докладов V Конференции математических центров России
Красноярск :
ИВМ СО РАН, 2025.
Содержит статьи по материалам докладов, представленных на V Конференции математических центров России, г. Красноярск, 11-16 августа 2025 г.
Главы книги
Долгоруков В. В., Попова Е. Л., В кн.: Материалы докладов V Конференции математических центров России.: Красноярск: ИВМ СО РАН, 2025. С. 216–218.
Моделирование осведомленности (awareness) является одним из направлений теории многоагентных систем и восходит к работам классиков теоретической информатики Р. Фейгина, Дж. Халперна, Й. Мозеса, М. Варди. Согласно им, моделирование осведомленности позволяет решить проблему логического всеведения, которая представляет собой одно из ключевых затруднений стандартной эпистемической логики. В настоящей работе представим расширение подхода Р. Фейгина и соавторов, а ...
Добавлено: 16 января 2026 г.
Алескеров Ф. Т., Вайншток А. П., Делахова А. М. и др., Информационные процессы 2026 Т. 26 № 3 С. 895–913
Проблемы развития и эффективного управления территориальными образованиями являются приоритетными для всех государств, особенно в условиях цифровой трансформации государственного управления. За последнее десятилетие интеграция информационных технологий в муниципальное и региональное планирование существенно изменила подходы к стратегическому развитию, предоставлению услуг и взаимодействию с населением. В данной работе представлено описание функциональности человеко-машинной вебсистемы поддержки принятия решений, в которой ...
Добавлено: 9 октября 2026 г.
Kupavskii A., Носков Ф. А., Forum of Mathematics, Sigma 2026 Vol. 14 Article 124
Добавлено: 8 октября 2026 г.
Flamarion M. V., Пелиновский Е. Н., Chaos, Solitons and Fractals 2026 Vol. 213 No. 2 Article 119245
Добавлено: 8 октября 2026 г.
Люксембург А. А., УРСС, 2005.
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка, объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической ...
Добавлено: 7 октября 2026 г.
Алескеров Ф. Т., Чайка Е. А., Дерендяев А. Б. и др., Procedia Computer Science 2026 No. 287 P. 590–595
Добавлено: 7 октября 2026 г.
Бернардан С. Ж., Gonçalves P., Olla S., Mathematical Physics Analysis and Geometry 2024 Vol. 27 No. 7
Добавлено: 6 октября 2026 г.
Бернардан С. Ж., Chhaibi R., Najnudel J. и др., Probability Theory and Related Fields 2026 Vol. 195 P. 1823–1875
Добавлено: 5 октября 2026 г.
Исмаилов А. Р., Спиридонов В. П., Успехи математических наук 2026 Т. 81 № 5 С. 183–184
Получена новая формула для цепной дроби Аски–Вильсона в форме отношения двух q-гипер-геометрических рядов. ...
Добавлено: 5 октября 2026 г.
Абдулхаев К. С., Широков Д. С., Advances in Applied Clifford Algebras 2026 Vol. 36 P. 1–21
Добавлено: 4 октября 2026 г.
Medvedev G., Alexandrov Artem, Physical Review E - Statistical, Nonlinear, and Soft Matter Physics 2026 Vol. 114 Article 044102
Добавлено: 2 октября 2026 г.
Починка О. В., Баранов Д. А., Ноздринова Е. В., Теоретическая и математическая физика 2026 Т. 229 № 1 С. 3–14
Частично решена задача Бирмана–Вильямса об описании планетарного зацепления расслоенного узла K ⊂ S3. С использованием теории Нильсена классификации периодических гомеоморфизмов поверхностей и ее тесной связи
с теорией градиентно-подобных диффеоморфизмов доказано, что планетарным
зацеплением трилистника (единственного периодического расслоенного узла рода 1) является зацепление, состоящее из трилистника и зацепления Хопфа. Кроме того, классифицированы все потоки на 3-сфере S3, реализующие ...
Добавлено: 2 октября 2026 г.
Лубашевский И. А., Lubashevskiy V., Physica D: Nonlinear Phenomena 2026 Vol. 498 Article 135441
Добавлено: 2 октября 2026 г.
Злотник А. А., Математические заметки 2026 Т. 120 № 6 С. 1005–1009
Численным методам решения систем газодинамических уравнений посвящена обширная литература. Ранее было разработано и успешно апробировано специальное семейство симметричных по пространству консервативных разностных методов, основанных на предварительной кинетической, точнее, квазигазодинамической (КГД), регуляризации этих уравнений. Актуальной задачей является построение численных методов, которые обладают не только свойством консервативности по массе, импульсу и полной энергии, но и удовлетворяют условиям энтропийной ...
Добавлено: 1 октября 2026 г.
Вьюгин И. В., Sashadhar D., Algebra and Number Theory 2026 P. 1–10
We study the K-Fibonacci sequence Fp modulo prime p. Cardinalities of sets |Fp+Fp| and |Fp⋅Fp| are estimated. We present the method of estimating doubling constant of some m-dimensional recurrent sets in Fp. ...
Добавлено: 1 октября 2026 г.
Куксин С. Б., Shirikyan A., Journal of Dynamics and Differential Equations 2026 P. 1098–1100
Добавлено: 1 октября 2026 г.
Колданов А. П., Колданов П. А., М.: Издательский дом НИУ ВШЭ, 2026.
В учебном пособии излагается одно из основных направлений одновременной проверки статистических гипотез, а именно теория построения процедур, контролирующих вероятность хотя бы одного ошибочного отвержения. Подробно излагаются первые задачи и процедуры одновременной проверки статистических гипотез, предложенные Фишером. В качестве методологической основы этой теории выбран метод замыкания, в сравнении с которым излагаются основные процедуры, контролирующие вероятность хотя ...
Добавлено: 30 августа 2026 г.
М.: ООО «Макс Пресс», 2026.
В настоящем сборнике представлены тезисы докладов участников семинара "Интеграция основного и дополнительного физико-математического образования", проходившего 11 февраля 2026 года в ГБОУ Школа №2007 ФМШ г. москвы, а также другие публикации, посвящённые вопросам дополнительного физико-математического образования. ...
Добавлено: 11 мая 2026 г.
Броневич А. Г., Лепский А. Е., М.: Издательский дом НИУ ВШЭ, 2026.
В учебном пособии рассмотрены такие основные разделы теории нечетких множеств, как нечеткие отношения, нечеткие числа, нечеткий логический вывод, а также прикладные разделы, связанные с применением нечеткой математики в анализе данных (нечеткая регрессия, нечеткая кластеризация, нечеткая классификация) и принятии решений (нечеткая оптимизация, многокритериальные методы принятия решений с нечеткими данными, ранжирование нечетких данных, нечеткое моделирование). Каждая глава ...
Добавлено: 3 апреля 2026 г.
Панов В. А., М.: Издательский дом НИУ ВШЭ, 2026.
Учебник написан на основе материалов, собранных автором при прочтении курса "Случайные процессы" на факультете экономических наук НИУ ВШЭ и при создании онлайн-версии данного курса (с 2018 до 2022 года курс был доступен на платформе Coursera, с 2022 года - на online.hse.ru). В учебнике подробно рассказано о наиболее важных типах случайных процессов - о гауссовских и ...
Добавлено: 27 марта 2026 г.
Добавлено: 3 февраля 2026 г.
Ли О. В., Педагогическая информатика 2025 № 1 С. 141–148
В статье рассматриваются цели и задачи, рекомендации по применению интеллектуальных информационных систем в подготовке учителей математики на базе дополнительного образования. Приводится сравнительный анализ информационных систем и интеллектуальных информационных систем. Рассматриваются проблемы в применении интеллектуальных информационных систем в образовании. ...
Добавлено: 15 января 2026 г.
Материалы для подготовки к вступительным экзаменам по математике в 9-й класс Лицея НИУ ВШЭ. 2-е изд.
Настоящее пособие предназначено для учащихся 8-х классов, которые планируют поступать в 9-й класс Лицея НИУ ВШЭ. В пособии приведены демоварианты 1-го и 2-го этапов вступительных испытаний в 9-й класс Лицея НИУ ВШЭ, разборы заданий из этих вариантов, описаны критерии оценивания. Представлены варианты для самостоятельной подготовки к вступительным испытаниям 1-го и 2-го этапов в 9-й класс. ...
Добавлено: 30 ноября 2025 г.