?
Лекции по математической логике и теории алгоритмов
* 3: Вычислимые функции.
Пекин :
International Press, 2013.
Верещагин Н. К., Шень А.
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Книга включает около 90 задач различной трудности.
Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов.
Научное направление:
Математика
Язык:
китайский
Chemical Papers 2026
Добавлено: 8 сентября 2026 г.
Александров А. А., Глуцюк А. А., Journal of Differential Equations 2026 Vol. 465 Article 114178
Добавлено: 8 сентября 2026 г.
Prikhodko Artem, Kubrak D., Compositio Mathematica 2026 Vol. 162 No. 6 P. 1377–1438
Добавлено: 7 сентября 2026 г.
Кучерявый П. А., Математические заметки 2026 Т. 2026 № 120 С. 380–401
В работе изучаются перестановки, возникающие при упорядочивании по возрастанию дробных долей произведений элементов фиксированной целочисленной последовательности на вещественный параметр. Исследуется количество различных перестановок, которые можно получить таким образом при изменении этого параметра от нуля до единицы. ...
Добавлено: 7 сентября 2026 г.
Осипов Д.В., Математический сборник 2026 Т. 217 № 9 С. 130–146
Изучаются законы взаимности, связанные с комплексными линейными расслоениями на расслоениях на ориентируемые окружности. В частности, доказывается следующий закон взаимности. Пусть B – комплексное многообразие и πi:Mi→B – расслоение на ориентируемые окружности, где индекс i пробегает конечное множество. Пусть Li и Ni – комплексные линейные расслоения на каждом многообразии Mi. Закон взаимности утверждает, что сумма всех элементов (πi)∗(c1(Li)∪c1(Ni)), где (πi)∗ – ...
Добавлено: 3 сентября 2026 г.
Басалаев А. А., Раровский А. А., Journal of Singularities 2026 Vol. 30 P. 61–80
Добавлено: 1 сентября 2026 г.
Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2026 Vol. 36 No. 6 Article exag026
Добавлено: 1 сентября 2026 г.
Селянин Ф. И., Moscow Mathematical Journal 2026 Vol. 26 No. 2 P. 167–187
Добавлено: 31 августа 2026 г.
Казарян М. Э., Дунин-Барковский П. И., Бычков Б. С. и др., International Mathematics Research Notices 2026 Vol. 14 Article rnag146
Добавлено: 31 августа 2026 г.
Казарян М. Э., Дунин-Барковский П. И., Бычков Б. С. и др., Communications in Mathematical Physics 2026 Vol. 407 No. 69
Добавлено: 31 августа 2026 г.
Механизм происходящих в мире изменений носит эволюционный, а не экологический характер. Иначе говоря, Человечество столкнулось с кризисом развития, который имеет три независимые составляющие: кризис индустриального общества (фазовый кризис), кризис научного мышления (эпистемный кризис) и кризис формата существования разума (социосистемный кризис). Доклад посвящён аспектам этого триединого кризиса и возможным путям его преодоления, не сводящимся к первичному ...
Добавлено: 31 августа 2026 г.
Сперанский С. О., М.: МЦНМО, 2024.
Цель этой брошюры — познакомить читателей с одним популярным (аксиоматическим) подходом к нестандартному анализу, называемым теорией внутренних множеств. В основу данного текста легли четыре лекции, прочитанные автором в июле 2023 года в Дубне.
Брошюра ориентирована на широкий круг сравнительно подготовленных читателей. Она будет доступна студентам младших курсов и школьникам старших классов. ...
Добавлено: 27 декабря 2025 г.
Кочкаров А. А., Яцкин Д. В., Программные продукты и системы 2016 № 3 С. 60–66
Рассмотрена задача мониторинга пространства, осуществляется переход к задаче обнаружения, а затем – к задаче геометрического расположения сенсоров. Предлагается использовать децентрализованную сеть сенсоров для решения поставленной задачи. Устанавливаются отграничения и допущения, приводящие к задаче покрытия пространства. Проводится дискретизация задачи, обосновывается ее необходимость. Задача подробно рассматривается с математической точки зрения, разрабатывается алгоритм ее решения, оценивается его сложность. ...
Добавлено: 7 марта 2025 г.
Формулируется задача мониторинга ограниченного пространства. Устанавливается связь между мониторингом пространства и обнаружением объектов на этом пространстве. После введения некоторых допущений делается вывод о необходимости решения задачи покрытия множества (связного пространства). Характерной особенностью рассматриваемой задачи является наличие в зоне мониторинга препятствий. Под препятствием понимается связная область пространства, в каждой точке которого невозможно размещение какого-либо объекта. Тем не ...
Добавлено: 7 марта 2025 г.
Кочкаров А. А., Яцкин Д. В., В кн.: Труды III Всероссийской научно-технической конференции «РТИ Системы ВКО-2015».: М.: Издательство МГТУ им. Н.Э. Баумана, 2015. С. 694–702.
Формулируется постановка задачи мониторинга ограниченного пространства. После введения некоторых допущений и перехода на математический язык делается вывод о необходимости решения задачу покрытия множества. Задача покрытия дискретизуется, исследуются свойства и признаки разного рода покрытий. Предложен и обоснован алгоритм построения наименьшего покрытия, рассчитывается его сложность. ...
Добавлено: 7 марта 2025 г.
Жук Д. Н., , in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).: [б.и.], 2021. P. 1–7.
Добавлено: 8 сентября 2021 г.
Левина Т. В., Философия. Журнал Высшей школы экономики 2018 Т. II № 4 С. 32–50
Павел Флоренский увлёкся теорией множеств Кантора, ещё в 1900 году, на первом курсе. В 1904 г. он написал работу «О символах бесконечности». По мысли Флоренского, способ введения иррациональных чисел у Кантора дает образец символического постижения актуально бесконечного по отношению к конечному. Георг Кантор в Grundlagen einer allgemeinen Mannigfaltigkeitslehre писал, что абсолютно бесконечная последовательность чисел кажется ему ...
Добавлено: 1 ноября 2018 г.
Львовский С. М., Губа В. С., М.: МЦНМО, 2016.
В 1924 году выдающиеся польские математики Стефан Банах и Альфред Тарский доказали, что шар в пространстве можно разрезать на конечное число частей, из которых можно сложить шар другого объема. В брошюре мы расскажем, почему эта теорема, производящая впечатление нелепости, не противоречит возможности измерять объемы тел, и познакомим читателя с красивой математикой, стоящей за этим уже ...
Добавлено: 30 октября 2018 г.
Ведерников В. А., Семенов П. В., Общество с ограниченной ответственностью "Образование и Информатика", 2017.
В монографии рассматриваются теоретические и методологические основы изучения фундаментальных понятий теории функций действительной переменной в виде лекций. Работа рассчитана на будущих и действующих школьных учителей математики ...
Добавлено: 13 марта 2018 г.