?
О базовых математических определениях цифровых технологий и искусственного интеллекта
Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика). 2025. Т. 527. № S. С. 7–12.
В работе предлагается система определений для основных понятия теории вычислимости, лежащих в основе математики цифрового мира: алгоритм, вычислимость, исчисление, сложность объекта, приближенная к современным представлениям. Рассматриваются иерархии конечного и проблема непротиворечивости.
Ключевые слова: теоретическая информатикаколмогоровская сложностьKolmogorov complexitycomputabilityвычислимостьTheoretical Computer Sciencemathematical foundations of artificial intelligencedefinition of algorithmdefinition of calculushierarchies of the finiteconsistency of mathematicsматематические основания искусственного интеллектаопределение алгоритмаопределение исчисленияиерархии конечностинепротиворечивость математики
Seul: PMLR, 2026.
Добавлено: 4 июня 2026 г.
Гомеоморфизмы топологических пространств называются эквивалентными по надстройке, если надстройки над ними топологически эквивалентны. В частности, топологически сопряженные гомеоморфизмы эквивалентны по надстройке. Известно, что для гомологически неприводимых гомеоморфизмов их топологическая сопряженность является необходимым и достаточным условием их эквивалентности по надстройке. Тогда как инварианты топологической сопряженности гомологически приводимых гомеоморфизмов во многих случаях являются избыточными для эквивалентности по ...
Добавлено: 3 июня 2026 г.
Гнетов Ф. А., Конаков В. Д., Успехи математических наук 2026 Т. 81 № 3 (489) С. 161–162
Пусть M обозначает симметрическое пространство некомпактного типа ранга 1. Опираясь на фундаментальную работу [1], в [2] было показано, что плотность соответствующим образом нормированной суммы независимых Hn-значных случайных величин, определенная через сложение Мёбиуса в модели шара Пуанкаре, сходится к фундаментальному решению соответствующего уравнения теплопроводности. Пределом являлся нормальный закон на Hn, соответствующий ядру теплопроводности, определяемому оператором Лапласа–Бельтрами. ...
Добавлено: 2 июня 2026 г.
Силаков Д. В., Системный администратор 2026 № 3 С. 28–33
В статье про платформы для разработки открытого ПО в Китае мы рассказали про GitCode – молодой проект, позиционируемый как площадка для разработчиков со всего мира. Сейчас на GitCode размещаются проекты, созданные в КНР, но некоторые из них уже известны и на международной арене. Помочь открытым проектам в становлении, развитии и расширению аудитории призван фонд OpenAtom ...
Добавлено: 2 июня 2026 г.
Slivnitsin P., Мыльников Л. А., Engineering Applications of Artificial Intelligence 2026 Vol. 179 Article 115185
Добавлено: 29 мая 2026 г.
Gorbounov Vassily, Kazakov A., Data Analytics and Topology 2025 Vol. 1 No. 1 P. 33–45
Добавлено: 28 мая 2026 г.
Мокиенко О. А., Zisman M. A., Бобров П. Д. и др., American Journal of Physical Medicine and Rehabilitation 2026 Vol. 105 No. 6 P. 555–563
Добавлено: 28 мая 2026 г.
М.: Институт проблем управления им. В.А. Трапезникова РАН, 2024.
В сборник вошли материалы VIII Международной научной конференции «Информационные технологии и технические средства управления» (ICCT-2024). На конференции были рассмотрены вопросы, касающиеся перспектив развития научного приборостроения в телекоммуникационных и управляющих системах, биомедицинской информатики, аппаратного и программного обеспечения информационнокоммуникационных систем, надежности, диагностики и неразрушающего контроля, систем управления и автоматизации, цифровых экосистем, управления производством и логистикой, методов математического ...
Добавлено: 27 мая 2026 г.
Сперанский С. О., Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика 2011 Т. 11 № 4 С. 78–93
В настоящей статье изучаются вычислительные аспекты формального требования максимальной специфичности, накладываемого на правила в языке пропозициональной классической логики, когда над этим языком задана вычислимая рационально-значная вероятностная мера. Доказана неразрешимость ряда общих проблем по обнаружению максимально специфичных правил и вероятностных мер, для которых совокупность всех специфичных правил вычислима; установлена разрешимость множества максимально специфичных правил при неких ...
Добавлено: 27 декабря 2025 г.
Семенов А. Л., Шень А., Верещагин Н. К., Theory of Probability and its Applications, USA 2024 Vol. 68 No. 4 P. 582–606
Добавлено: 16 января 2025 г.
Баувенс Б. Ф., Zimand M., Journal of the ACM 2023 Vol. 70 No. 2 Article 9
Добавлено: 22 марта 2023 г.
Добавлено: 23 декабря 2022 г.
Верещагин Н. К., Theoretical Computer Science 2023 Vol. 940 P. 108–122
Добавлено: 19 декабря 2022 г.
Артемов С. Н., Барздинь Я. М., Бокуть Л. А. и др., Успехи математических наук 2022 Т. 77 № 1(463) С. 191–195
Борис Абрамович Трахтенброт (20.02.1921– 19.09.2016), которому 20 февраля 2021 г. исполнилось бы сто лет, – один из создателей теоретических основ информатики, или Theoretical Computer Science, широко признанный и в СССР, и в мире. Его научная биография интересна также и в гуманистическом, и в историческом аспектах. ...
Добавлено: 13 февраля 2022 г.
Switzerland: Springer, 2021.
Добавлено: 4 ноября 2021 г.
Милованов А. С., , in: Computer Science – Theory and Applications: 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings.: Springer, 2021. Ch. 17 P. 283–295.
Добавлено: 11 августа 2021 г.
Cham: Springer, 2021.
Добавлено: 8 июля 2021 г.
Баувенс Б. Ф., Блинников И. А., , in: Computer Science – Theory and Applications 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, ProceedingsVol. 12159.: Springer, 2020. P. 130–141.
Добавлено: 5 февраля 2021 г.
Springer, 2020.
Добавлено: 4 сентября 2020 г.
Баувенс Б. Ф., , in: 37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020)Vol. 154: Leibniz International Proceedings in Informatics (LIPIcs).: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2020. P. 46:1–46:14.
Добавлено: 20 марта 2020 г.
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2020.
Добавлено: 20 марта 2020 г.