Доклады Российской академии наук. Математика, информатика, процессы управления
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Докл. РАН. Матем., информ., проц. упр.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Доклады Российской академии наук. Математика, информатика, процессы управления, 2025, том 527, страницы 5–10
DOI: https://doi.org/10.7868/S268695432507001X (Mi danma663) 		 
СПЕЦИАЛЬНЫЙ ВЫПУСК: ТЕХНОЛОГИИ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА И МАШИННОГО ОБУЧЕНИЯ

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

А. Л. Семеновab

a Московский государственный университет имени М. В. Ломоносова, Москва, Россия
b Национальный исследовательский университет "Высшая школа экономики", Москва, Россия
DOI: https://doi.org/10.7868/S268695432507001X
Аннотация: В работе предлагается система определений для основных понятия теории вычислимости, лежащих в основе математики цифрового мира: алгоритм, вычислимость, исчисление, сложность объекта, приближенная к современным представлениям. Рассматриваются иерархии конечного и проблема непротиворечивости.
Ключевые слова: математические основания искусственного интеллекта, теоретическая информатика, определение алгоритма, вычислимость, определение исчисления, колмогоровская сложность, иерархии конечности, непротиворечивость математики.
Финансовая поддержка Номер гранта
Министерство науки и высшего образования Российской Федерации
Исследование выполнено в рамках государственного задания МГУ имени М. В. Ломоносова.
Поступило: 22.09.2025
Принято к публикации: 29.09.2025
Реферативные базы данных:
Тип публикации: Статья
УДК: 004.9
Образец цитирования: А. Л. Семенов, “О базовых математических определениях цифровых технологий и искусственного интеллекта”, Докл. РАН. Матем., информ., проц. упр., 527 (2025), 5–10
Цитирование в формате AMSBIB
\RBibitem{Sem25}
\by А.~Л.~Семенов
\paper О базовых математических определениях цифровых технологий и искусственного интеллекта
\jour Докл. РАН. Матем., информ., проц. упр.
\yr 2025
\vol 527
\pages 5--10
\mathnet{http://mi.mathnet.ru/danma663}
\elib{https://elibrary.ru/item.asp?id=83189188}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/danma663
  • https://www.mathnet.ru/rus/danma/v527/p5
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Доклады Российской академии наук. Математика, информатика, процессы управления Доклады Российской академии наук. Математика, информатика, процессы управления
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025