?
Лекции по математической логике и теории алгоритмов
* 3: Вычислимые функции.
Пекин :
International Press, 2013.
Верещагин Н. К., Шень А.
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Книга включает около 90 задач различной трудности.
Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов.
Научное направление:
Математика
Язык:
китайский
Spiridonov V. P., Belousov N. M., Sarkissian G. A., Analysis and Mathematical Physics 2026 Vol. 16 Article 96
Добавлено: 4 августа 2026 г.
Гайфуллин С. А., Киктева В. В., Results in Mathematics 2026 Vol. 81 No. 5 Article 146
Добавлено: 3 августа 2026 г.
Лунц В. А., Функциональный анализ и его приложения 2026 Т. 60 № 3 С. 127–129
Доказано, что канонические полуортогональные разложения производной категории диаграммной схемы индуцируют аналогичные разложения подкатегории совершенных комплексов. ...
Добавлено: 3 августа 2026 г.
Беломестный Д. В., Гасников А. В., Гладин Е. Л. и др., Russian Mathematical Surveys 2026 Vol. 81 No. 4(490) P. 3–90
Добавлено: 3 августа 2026 г.
Абызов А. Н., Буутай П. Н., Математика и теоретические компьютерные науки 2026 Т. 4 № 2 С. 4–75
Статья носит обзорно-методический характер и посвящена развитию идей Е.И. Золотарёва, заложенных в его подходе к доказательству квадратичного закона взаимности (1872 г.). Мы рассматриваем расширения подхода Золотарёва на абстрактные числовые кольца, приведенные в работе А. Бруньята и П.Л. Кларка (2015 г.), и на конечные группы, изученные в статье У. Дьюка и К. Хопкинс (2005 г.). Также ...
Добавлено: 30 июля 2026 г.
Mikhaylets E. V., Razorenova A. М., Chernyshev V. L. и др., Scientific Reports 2026 Vol. 16 Article 23560
Добавлено: 29 июля 2026 г.
Попеленский Ф. Ю., Математический сборник 2026 Т. 217 № 2 С. 108–153
В недавней работе В. М. Бухштабера и автора была введена новая структура в когомологиях алгебр Хопфа в терминах спектральной последовательности Бухштабера (Bss). В классической алгебре Стинрода A2 имеется важная подалгебра Хопфа A(1), когомологии которой давно известны. В настоящей работе обсуждаемая структура на этих когомологиях полностью вычислена.
В рамках демонстрации методов Bss решена обратная задача: получено новое ...
Добавлено: 28 июля 2026 г.
Metlov K., Andrei B. Bogatyrëv, Annalen der Physik 2026 Vol. 538 No. 6 Article e70234
Добавлено: 28 июля 2026 г.
Меновщиков А. В., Ukhlov A., Rendiconti del Circolo Matematico di Palermo 2026 Vol. 75 Article 91
Добавлено: 27 июля 2026 г.
Меновщиков А. В., Journal of Mathematical Sciences 2026 Vol. 298 P. 608–618
Добавлено: 27 июля 2026 г.
Добавлено: 23 июля 2026 г.
Веретенников А. Ю., Pascucci A., Rondelli A., Stochastic Processes and their Applications 2026 Vol. 199 Article 104978
Добавлено: 17 июля 2026 г.
Веретенников А. Ю., Ляппиева А. А., Теория вероятностей и ее применения 2026 Т. 71 № 2 С. 295–304
Установлен новый результат о сильной единственности для многомерного СДУ с невырожденной диффузией и частично нерегулярным сносом. Его можно рассматривать как комбинированный вариант на темы Ямада и Ватанабэ (1971), Звонкина (1974) и первого автора настоящей статьи (1980). ...
Добавлено: 17 июля 2026 г.
Веретенников А. Ю., Нуриева А. И., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2025 Т. 525 С. 24–30
Предложено новое достаточное условие в задаче о центральной предельной теореме в схеме серий для неоднородных цепей Маркова, с возможностью того, что минимум эргодического коэффициента Маркова–Добрушина может быть ближе к нулю, чем в основном условии Добрушина. ...
Добавлено: 17 июля 2026 г.
О частных производных модифицированных полиномов Бернштейна–Станку для функций нескольких переменных
Веретенников А. Ю., Мазутский Н. М., Математический сборник 2025 Т. 216 № 7 С. 3–27
Целью работы является доказательство аппроксимации смешанных производных второго порядка для функции нескольких переменных в норме L1 такими же производными модифицированных полиномов Бернштейна–Станку при минимальной возможной регулярности. ...
Добавлено: 17 июля 2026 г.
Ахмярова А. Т., Веретенников А. Ю., Теория вероятностей и ее применения 2025 Т. 70 № 2 С. 211–227
В работе предложены новые версии слабого закона больших чисел (ЗБЧ) для слабо зависимых слагаемых (вообще говоря, разнораспределенных) как при наличии математического ожидания каждого из них, так и без такового. Одним из основных условий в первом из трех рассматриваемых случаев, в котором развиваются идеи из статьи Ю. Ш. Чау 1971 г., является равномерная интегрируемость слагаемых по Чезаро в духе работ по ЗБЧ для ...
Добавлено: 17 июля 2026 г.
Ахмярова А. Т., Веретенников А. Ю., Теория вероятностей и ее применения 2024 Т. 69 № 3 С. 427–438
Предложен новый вариант усиленного закона больших чисел для попарно независимых случайных величин. Основная цель — ослабить требование существования математического ожидания каждого из слагаемых. Предположение о попарной независимости также ослаблено. ...
Добавлено: 17 июля 2026 г.
Сперанский С. О., М.: МЦНМО, 2024.
Цель этой брошюры — познакомить читателей с одним популярным (аксиоматическим) подходом к нестандартному анализу, называемым теорией внутренних множеств. В основу данного текста легли четыре лекции, прочитанные автором в июле 2023 года в Дубне.
Брошюра ориентирована на широкий круг сравнительно подготовленных читателей. Она будет доступна студентам младших курсов и школьникам старших классов. ...
Добавлено: 27 декабря 2025 г.
Кочкаров А. А., Яцкин Д. В., Программные продукты и системы 2016 № 3 С. 60–66
Рассмотрена задача мониторинга пространства, осуществляется переход к задаче обнаружения, а затем – к задаче геометрического расположения сенсоров. Предлагается использовать децентрализованную сеть сенсоров для решения поставленной задачи. Устанавливаются отграничения и допущения, приводящие к задаче покрытия пространства. Проводится дискретизация задачи, обосновывается ее необходимость. Задача подробно рассматривается с математической точки зрения, разрабатывается алгоритм ее решения, оценивается его сложность. ...
Добавлено: 7 марта 2025 г.
Формулируется задача мониторинга ограниченного пространства. Устанавливается связь между мониторингом пространства и обнаружением объектов на этом пространстве. После введения некоторых допущений делается вывод о необходимости решения задачи покрытия множества (связного пространства). Характерной особенностью рассматриваемой задачи является наличие в зоне мониторинга препятствий. Под препятствием понимается связная область пространства, в каждой точке которого невозможно размещение какого-либо объекта. Тем не ...
Добавлено: 7 марта 2025 г.