О базовых математических определениях цифровых технологий и искусственного интеллекта

А. Л. Семенов

doi:10.7868/S268695432507001X

?

О базовых математических определениях цифровых технологий и искусственного интеллекта

Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика). 2025. Т. 527. № S. С. 7–12.

Семенов А. Л.

В работе предлагается система определений для основных понятия теории вычислимости, лежащих в основе математики цифрового мира: алгоритм, вычислимость, исчисление, сложность объекта, приближенная к современным представлениям. Рассматриваются иерархии конечного и проблема непротиворечивости.

Научное направление: Компьютерные науки Математика

Язык: русский

DOI

Ключевые слова: теоретическая информатика колмогоровская сложность Kolmogorov complexity computability вычислимость Theoretical Computer Science mathematical foundations of artificial intelligence definition of algorithm definition of calculus hierarchies of the finite consistency of mathematics математические основания искусственного интеллекта определение алгоритма определение исчисления иерархии конечности непротиворечивость математики

Stable On-the-Fly Learning for Dynamic Neural Networks With Delayed Inputs

Kibkalo Vladislav, Chertopolokhov V., Mukhamedov A. и др., IEEE Access 2026 Vol. 14 P. 14369–14392

Добавлено: 22 мая 2026 г.

Analysis of the alternating minimization method for low-rank canonical polyadic decomposition in the Chebyshev norm

Морозов С. В., Calcolo 2026 Vol. 63 No. 2 Article 23

Добавлено: 22 мая 2026 г.

Опыт применения сетевого анализа (SNA) в историческом нарративе полисубъектного региона (на примере валлийской хроники Brut y Tywysogyon)

Лошкарева М. Е., Матвеева Н. Н., Вестник Томского государственного университета. История 2026 № 100 С. 112–118

Предпринята попытка применения сетевого анализа в изучении средневекового нарративного источ ника. Цель исследования – проверка гипотезы о политической фрагментарности как основной причины завоевания Уэльса Англией. Построены сети взаимодействий исторических лиц на основе данных валлийской Хроники принцев с 1193 по 1282 г. Построение сетей демонстрирует, что завоевано Англией было формально объеди ненное княжество, ослабляемое не столько ...

Добавлено: 22 мая 2026 г.

B-facets in Dimension 4

Селянин Ф. И., Journal of Dynamical and Control Systems 2026 Vol. 32 No. 2 P. 1–16

Добавлено: 21 мая 2026 г.

The VCG Mechanism, the Core, and Assignment Stages in Auctions

Ausubel L., Баранов О. В., Journal of Economic Theory 2026 Vol. 235 No. 106192

Добавлено: 20 мая 2026 г.

Upper bounds for Steklov eigenvalues of a hypersurface of revolution

Denis Seliutskii, Russian Journal of Mathematical Physics 2025 Vol. 32 No. 2 P. 399–407

Добавлено: 19 мая 2026 г.

ML-based Fast Simulation of FARICH Responses

Шипилов Ф. А., Barnyakov A., Ivanov A. и др., / Series Physics "arxiv.org". 2026.

Добавлено: 19 мая 2026 г.

Proceedings of the 19th Conference of the European Chapter of the Association for Computational Linguistics (Volume 3: System Demonstrations)

Rabat: Association for Computational Linguistics, 2026.

Добавлено: 19 мая 2026 г.

Dataset of solubility values for organic compounds in binary mixtures of solvents at various temperatures

Беззубов С. И., Malikov D., Krasnov L. и др., Scientific data 2026 Vol. 13 Article 727

Добавлено: 19 мая 2026 г.

Aerokinesis: An IoT-Based Vision-Driven Gesture Control System for Quadcopter Navigation Using Deep Learning and ROS2

Pikalov V., Meshcheryakov V., Kondratev S. и др., Technologies 2026 Vol. 14 No. 1 P. 1–27

This paper presents Aerokinesis, an IoT-based software–hardware system for intuitive gesture-driven control of quadcopter unmanned aerial vehicles (UAVs), developed within the Robot Operating System 2 (ROS2) framework. The proposed system addresses the challenge of providing an accessible human–drone interaction interface for operators in scenarios where traditional remote controllers are impractical or unavailable. The architecture comprises ...

Добавлено: 19 мая 2026 г.

Aerokinesis: An IoT-Based Vision-Driven Gesture Control System for Quadcopter Navigation Using Deep Learning and ROS2

Kondratev S., Yulia Dyrchenkova, Georgiy Nikitin и др., Technologies 2026 Vol. 14 No. 1 Article 69

Добавлено: 19 мая 2026 г.

On smooth Fano threefolds with coregularity zero

Жакупов О. Б., European Journal of Mathematics 2025 Vol. 11 Article 84

Добавлено: 18 мая 2026 г.

Parallel Computational Technologies. PCT 2025

Springer, 2025.

Добавлено: 18 мая 2026 г.

KMHCR: A Key-Controlled Signal-Domain Transformation for 5G IoT Security

Ronglin Z., Wei L., Jiahong C. и др., Journal of Signal Processing Systems 2026 Vol. 98 P. 1–15

Добавлено: 16 мая 2026 г.

DPN Verifier: A Toolkit for Faster Soundness Verification and Repair of Process Models with Data

Суворов Н. М., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 3(2) P. 49–66

Сети Петри с данными (DPN) являются расширением классических сетей Петри, позволяющим моделировать процессы, где данные влияют на поток управления, обеспечивая комплексное представление о поведении системы и возможность обнаружения точек отказа, которые в противном случае были бы скрыты. Одним из критериев корректности для моделей процессов является бездефектность. Модель процесса называется бездефектной, если она всегда корректно завершается ...

Добавлено: 16 мая 2026 г.

2-Elliptic Periodic Orbits near a Nonsimple Homoclinic Tangency in Four-Dimensional Symplectic Maps

Гонченко С. В., Лерман Л. М., Turaev D., Regular and Chaotic Dynamics 2026 Vol. 31 No. 3 P. 349–369

Добавлено: 15 мая 2026 г.

Bibliometric Analysis by Network Models

Алескеров Ф. Т., Khutorskaya O., Степочкина А. К. и др., Springer, 2026.

Добавлено: 15 мая 2026 г.

О вычислительных аспектах максимальной специфичности в вероятностном объяснении

Сперанский С. О., Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика 2011 Т. 11 № 4 С. 78–93

В настоящей статье изучаются вычислительные аспекты формального требования максимальной специфичности, накладываемого на правила в языке пропозициональной классической логики, когда над этим языком задана вычислимая рационально-значная вероятностная мера. Доказана неразрешимость ряда общих проблем по обнаружению максимально специфичных правил и вероятностных мер, для которых совокупность всех специфичных правил вычислима; установлена разрешимость множества максимально специфичных правил при неких ...

Добавлено: 27 декабря 2025 г.

Kolmogorov’s Last Discovery? (Kolmogorov and Algorithmic Statistics)

Семенов А. Л., Шень А., Верещагин Н. К., Theory of Probability and its Applications, USA 2024 Vol. 68 No. 4 P. 582–606

Добавлено: 16 января 2025 г.

On information content in certain objects

Верещагин Н. К., / Series arXiv "math". 2024.

Добавлено: 19 августа 2024 г.

Universal almost optimal compression and Slepian-Wolf coding in probabilistic polynomial time

Баувенс Б. Ф., Zimand M., Journal of the ACM 2023 Vol. 70 No. 2 Article 9

Добавлено: 22 марта 2023 г.

Inequalities for space-bounded Kolmogorov complexity

Баувенс Б. Ф., Gács P., Romashchenko A. и др., Computability 2022 Vol. 11 No. 3-4 P. 165–185

Добавлено: 23 декабря 2022 г.

Information disclosure in the framework of kolmogorov complexity

Верещагин Н. К., 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 г.