?
Лекции по математической логике и теории алгоритмов
* 1: Начала теории множеств.
Пекин :
Higher Education Press Limited Company, 2013.
Верещагин Н. К., Shen A.
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает в себя около 150 задач различной трудности.
Научное направление:
Математика
Язык:
китайский
IEEE, 2026.
Добавлено: 26 октября 2026 г.
Flamarion M. V., Пелиновский Е. Н., Wave Motion 2027 Vol. 148 Article 103867
Добавлено: 23 октября 2026 г.
Lev Pyatko, Sergey Aksenov, Regular and Chaotic Dynamics 2026 Vol. 31 No. 5 P. 794–813
In the circular restricted three-body problem, families of periodic and quasi-periodic orbits exist in the vicinity of the libration points and are of significant interest for practical applications. This work presents a neural network-based algorithm for orbit construction and station-keeping, applicable to both periodic and quasi-periodic orbits near collinear libration points. The method employs a ...
Добавлено: 19 октября 2026 г.
Воронцова Т. Д., М.: Академия, 2025.
Учебник подготовлен в соответствии с требованиями федеральных государственных образовательных стандартов среднего профессионального образования и предназначен для изучения профессиональных модулей «Защита информации в информационно-телекоммуникационных системах и сетях с использованием программных и программно-аппаратных, в том числе криптографических средств защиты» и «Защита информации в автоматизированных системах программными и программно-аппаратными средствами».
Содержание учебника включает в себя аксиоматику теории информации, а также такие фундаментальные понятия, как ...
Добавлено: 19 октября 2026 г.
Наумов А. А., Рубцов А. С., Самсонов С. В. и др., Успехи математических наук 2026 Т. 81 № 4 (490) С. 161–162
Краткое сообщение рассматривает Моментные оценки для стохастической аппроксимации ...
Добавлено: 17 октября 2026 г.
Roman Avdeev, Yulia Zaitseva, Mediterranean Journal of Mathematics 2026 Vol. 23 No. 7 Article 224
Добавлено: 17 октября 2026 г.
Гордин В. А., Ефременко Д. С., Boundary-Layer Meteorology 2026 Vol. 192 No. 51
An inverse problem of reconstructing the turbulent exchange tensor from large archives of observed wind profiles within the Åkerblom–Ekman (A-E) model framework is investigated using high-vertical-resolution radiosonde observations. The reconstructed tensor provides improved agreement between modeled and observed wind profiles compared to classical formulations based on real turbulent exchange coefficient. Instead of the classical A-E ...
Добавлено: 16 октября 2026 г.
Kuznetsov A. P., Sedova Y. V., Станкевич Н. В., Chaos, Solitons and Fractals 2026 Vol. 213 No. 12 Article 119309
Добавлено: 16 октября 2026 г.
Aleksei Samarin, Назаренко А. А., Nazarenko D. и др., Machine Learning and Knowledge Extraction 2026 Vol. 8 No. 10 Article 330
Добавлено: 14 октября 2026 г.
Parkhomenko V., Куликова С. П., Бузмаков А. В., Lobachevskii Journal of Mathematics 2026 Vol. 47 No. 6 P. 2979–2992
Добавлено: 14 октября 2026 г.
Kuznetsov A. P., Sedova Y. V., Sataev I. R. и др., Mathematics and Computers in Simulation 2027 Vol. 2 P. 574–592
Добавлено: 14 октября 2026 г.
Добавлено: 13 октября 2026 г.
Добавлено: 12 октября 2026 г.
Гусейн-Заде С. М., М.: МЦНМО, 2026.
Книга содержит курс лекций по дифференциальной геометрии и топологии, читавшихся автором на механико-математическом факультете МГУ в разные годы. В дополнениях приводятся некоторые сюжеты (связности в расслоениях, теорема Фробениуса, производные Ли и др.), которые были включены в курс в отдельные годы либо содержались в аналогичных курсах лекций в Независимом московском университете.
Для студентов математических и физических специальностей. ...
Добавлено: 12 октября 2026 г.
Брычков М. Е., Незнанов А.А., Программирование 2026 № 4 С. 50–66
Матричный профиль (МП) при появлении в 2016 г. быстро стал одним из важнейших методов предобработки, облегчающим решение широкого класса задач анализа временных рядов, в частности, задач обнаружения аномалий и шаблонов. Высокая значимость привела к появлению разнообразных инструментов вычисления МП, но оказалось, что особенности реализации методов существенно влияют на результаты, которые перестают быть идентичными. Встает вопрос, ...
Добавлено: 9 октября 2026 г.
М.: Юрайт, 2026.
Сборник олимпиадных задач (СОЗ) по теории вероятностей и математической статистики (ТВМС) предлагается в качестве учебно-методического пособия прежде всего для студентов и преподавателей ВУЗов как развивающий дополнительный материал, расширяющий ассортимент решаемых задач в лекционной, семинарской и вне аудиторной самостоятельной работе со студентами в различных формах, в том числе и (в соответствии с названием) в проведении олимпиад ...
Добавлено: 9 октября 2026 г.
Алескеров Ф. Т., Вайншток А. П., Делахова А. М. и др., Информационные процессы 2026 Т. 26 № 3 С. 895–913
Проблемы развития и эффективного управления территориальными образованиями являются приоритетными для всех государств, особенно в условиях цифровой трансформации государственного управления. За последнее десятилетие интеграция информационных технологий в муниципальное и региональное планирование существенно изменила подходы к стратегическому развитию, предоставлению услуг и взаимодействию с населением. В данной работе представлено описание функциональности человеко-машинной вебсистемы поддержки принятия решений, в которой ...
Добавлено: 9 октября 2026 г.
Kupavskii A., Носков Ф. А., Forum of Mathematics, Sigma 2026 Vol. 14 Article 124
Добавлено: 8 октября 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 г.