?
Лекции по математической логике и теории алгоритмов
* 3: Вычислимые функции.
Пекин :
International Press, 2013.
Верещагин Н. К., Шень А.
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Книга включает около 90 задач различной трудности.
Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов.
Научное направление:
Математика
Язык:
китайский
Denis Seliutskii, Russian Journal of Mathematical Physics 2025 Vol. 32 No. 2 P. 399–407
Добавлено: 19 мая 2026 г.
Lerman L. M., Turaev D. V., Regular and Chaotic Dynamics 2026 Vol. 31 No. 3 P. 349–369
Добавлено: 15 мая 2026 г.
Добавлено: 15 мая 2026 г.
Добавлено: 15 мая 2026 г.
Лебедев В. В., Journal of Mathematical Analysis and Applications 2026 Vol. 563 No. 2 Article 130787
Добавлено: 14 мая 2026 г.
Blokh A., Oversteegen L., Selinger N. и др., Arnold Mathematical Journal 2025 Vol. 12 No. 1 P. 1–40
Добавлено: 13 мая 2026 г.
Петров И. В., Автоматика и телемеханика 2026 № 6 С. 82–118
Системам связанных агентов и сетевому управлению посвящено большое число отечественных и зарубежных исследований. Исторически, наибольший интерес в теории управления возникал к усредняющим системам и, в частности, к задаче консенсуса. Однако сетевое взаимодействие может характеризоваться более специфическими функциями, отражающими зависимость от действий соседей по сети, что особенно явно проявляется в моделях стратегического взаимодействия на сети, которое ...
Добавлено: 12 мая 2026 г.
М.: ООО «Макс Пресс», 2026.
В настоящем сборнике представлены тезисы докладов участников семинара "Интеграция основного и дополнительного физико-математического образования", проходившего 11 февраля 2026 года в ГБОУ Школа №2007 ФМШ г. москвы, а также другие публикации, посвящённые вопросам дополнительного физико-математического образования. ...
Добавлено: 11 мая 2026 г.
Novikov R., V. N. Sivkin, Inverse Problems 2026 Vol. 42 No. 4 Article 045009
Добавлено: 11 мая 2026 г.
Hecht M., Hofmann P., Wicaksono D. и др., IMA Journal of Numerical Analysis 2026 Vol. 00 P. 1–30
Добавлено: 11 мая 2026 г.
N. Belousov, L. Cherepanov, Derkachov S. и др., Selecta Mathematica, New Series 2026 Vol. 32 Article 44
Добавлено: 6 мая 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 г.
Ященко И. В., МЦНМО, 2014.
При развитии теории множеств, на которой базируется вся современная математика, возникали парадоксы. Например, парадокс брадобрея, формулируемый следующим образом:
Бреет ли себя брадобрей, если он бреет тех и только тех, кто сам себя не бреет ?
В брошюре рассказывается о том, как теория множеств обходится с подобными ситуациями, а также о других парадоксах, в том числе возникающих при ...
Добавлено: 2 марта 2017 г.
Гаврилович М. Р., Hasson A., Kaplan I., Journal of Logic and Computation 2015 Vol. 25 No. 3 P. 669–682
Добавлено: 20 октября 2015 г.