?
Proof Internalization for Generalized Frege Systems for Classical Logic
Annals of Pure and Applied Logic. 2014. Vol. 165. P. 340–365.
Yury Savateev
Добавлено: 27 апреля 2026 г.
Tsareva O. O., Malova H. V., V. Yu. Popov и др., Plasma Physics Reports 2026 Vol. 52 No. 2 P. 179–185
Добавлено: 27 апреля 2026 г.
Добавлено: 24 апреля 2026 г.
Казарян М. Э., Дунин-Барковский П. И., Бычков Б. С. и др., Selecta Mathematica, New Series 2026 Vol. 32 Article 25
Добавлено: 23 апреля 2026 г.
Казарян М. Э., Ландо С. К., Коданева Н. М., Journal of Geometry and Physics 2026 No. 225 Article 105841
Добавлено: 23 апреля 2026 г.
Кычкин А. В., Черницин И. А., Прикладная информатика 2026 Т. 21 № 1 С. 40–58
Представлены результаты разработки программного микросервиса, встраиваемого в системы мониторинга качества атмосферного воздуха для поддержки процессов идентификации промышленных источников загрязнений. Выброс и последующее распространение вредных веществ в приземистых слоях атмосферы происходит в динамике и характеризуется высокой неопределенностью из‑за особенностей технологических установок, их режимов работы, влияния рельефа местности, зданий и метеофакторов. Зависимости между местоположением источника выброса и ...
Добавлено: 23 апреля 2026 г.
IEEE, 2026.
Добавлено: 21 апреля 2026 г.
Галкин О. Е., Галкина С. Ю., Ястребова И. Ю., Журнал Средневолжского математического общества 2026 Т. 28 № №1 С. 11–30
Многочлены, наименее уклоняющиеся от нуля, играют важную роль в теории и практике использования численных методов. С их помощью можно решать задачи оптимизации свойств различных вычислительных алгоритмов. Наша работа посвящена изучению многочленов, наименее уклоняющихся от нуля на луче в экспоненциальной норме. В настоящей статье мы обсуждаем вопрос о существовании, единственности и характеризации многочленов, наименее уклоняющихся от нуля ...
Добавлено: 20 апреля 2026 г.
A. V. Pereskokov, Theoretical and Mathematical Physics 2026 Vol. 226 No. 3 P. 470–484
Добавлено: 12 апреля 2026 г.
Колачев Н. И., Адамский А. И., Дроздов Д. С. и др., Моделирование и анализ данных 2026 Т. 16 № 1 С. 157–176
Контекст и актуальность. Несмотря на широкое распространение компетентностного подхода в высшем образовании, сохраняется разрыв между пониманием компетентности как динамического процесса и инструментами её проектирования и управления. Доминирующие практики фиксации результатов обучения ориентированы на статические «срезы», что ограничивает возможности прогнозирования и целенаправленного развития компетентности. В этой связи актуализируется необходимость формального моделирования траекторий развития компетентности на основе принципов ...
Добавлено: 10 апреля 2026 г.
Зверева В. А., Вопросы экономики 2026 № 4 С. 100–129
Проверяется гипотеза о наличии асимметрии в реакции банковских ставок на сдерживающую и стимулирующую денежно-кредитную политику (ДКП) Банка России в различных сегментах, отраслях и макрорегионах в период с 2017 по 2025 г. С использованием модели коррекции ошибок с марковским переключением режимов оценено влияние шоков ДКП, инфляционных ожиданий населения, ценовых ожиданий бизнеса и индикатора бизнес-климата на ставки ...
Добавлено: 8 апреля 2026 г.
Медведев В. О., / Series arXiv "math". 2026.
We investigate the interplay between the dimension of the space of static potentials and the geometric and topological structure of the underlying static three-manifold. A partial classification of boundaryless static manifolds is obtained in terms of this dimension. We also treat the case of static manifolds with boundary. In particular, we prove that if a ...
Добавлено: 3 апреля 2026 г.
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Долгоруков В. В., Попова Е. Л., Философия. Журнал Высшей школы экономики 2026 Т. 10 № 1 С. 404–409
Рецензия на: Hoffmann D. Limits of Mathematics. A Journey Through the Key Areas of Mathematical Logic. — Berlin : Springer, 2025. ...
Добавлено: 30 марта 2026 г.
Дзардини Э., , in: Paradoxes Between Truth and Proof.: Springer, 2024. P. 279–299.
Добавлено: 5 февраля 2026 г.
Тульчинский Г. Л., СПб.: Политех-Пресс, 2025.
Монография посвящена анализу реальности, одного из самых сложных и многозначных понятий в современной философии. Представлены различные подходы и разные способы аналитики реальности, - методологические исследования, историко-философский анализ, социально-критическая аналитика. В монографии соединились исследования из разных областей философского знания, – из философии науки, онтологии, логики, теории познания, эпистемологии, социальной философии, эстетики. Книга предназначена как для специалистов, ...
Добавлено: 29 января 2026 г.
Долгоруков В. В., Попова Е. Л., В кн.: Материалы докладов V Конференции математических центров России.: Красноярск: ИВМ СО РАН, 2025. С. 216–218.
Моделирование осведомленности (awareness) является одним из направлений теории многоагентных систем и восходит к работам классиков теоретической информатики Р. Фейгина, Дж. Халперна, Й. Мозеса, М. Варди. Согласно им, моделирование осведомленности позволяет решить проблему логического всеведения, которая представляет собой одно из ключевых затруднений стандартной эпистемической логики. В настоящей работе представим расширение подхода Р. Фейгина и соавторов, а ...
Добавлено: 16 января 2026 г.
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 15 января 2026 г.
Гаянов Н. В., Парусникова А. В., / Cornell University. Серия math "arxiv.org". 2025.
Рассматривается алгебраическое q-разностное уравнение. Предлагается достаточное условие существования формального степенно- логарифмического разложения решения такого уравнения в окрест- ности нуля. Приводится пример применения этого достаточного условия для построения формального разложения решения неко- торого q-разностного аналога пятого уравнения Пенлеве при конкретных значениях параметров уравнения; рассматриваются два различных значения числа q, приводящие к качественно разным формальным асимптотическим разложениям ...
Добавлено: 25 декабря 2025 г.