?
Автоматизированное построение математических теорий
УРСС, 2005.
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка, объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической логики, искусственного интеллекта, теории дедуктивных систем и теории семантических сетей.
Для студентов, аспирантов, математиков.
Язык:
русский
Avdoshin S.M., Pesotskaya E.Y., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 6, part 2 P. 133–146
Добавлено: 8 ноября 2026 г.
Добавлено: 8 ноября 2026 г.
IEEE Computer Society (Conference Publishing Services, CPS), 2026.
Добавлено: 7 ноября 2026 г.
Sergey Avdoshin, Elena Pesotskaya, Салех Х. М. и др., Procedia Computer Science 2026 Vol. 292 P. 1332–1341
Добавлено: 7 ноября 2026 г.
Ретинский В. И., Функциональный анализ и его приложения 2026 Т. 60 № 4 С. 83–100
Приведено обобщение матричной теоремы о деревьях на случай перечисления пар остовных деревьев. Это обобщение включает в качестве частных случаев и унифицирует сразу несколько известных ранее результатов, в частности классическую теорему Кирхгофа, теорему Масбаума–Вайнтроба о перечислении 3-деревьев, а также аналог матричной теоремы о деревьях для перечисления 4-элементов Кирхгофа. ...
Добавлено: 5 ноября 2026 г.
Левашев В. А., Математические заметки 2026 Т. 120 № 5 С. 843–846
Пусть 𝐴 – коммутативное ассоциативное кольцо с единицей и 𝐴((𝑡)) = 𝐴[[𝑡]][𝑡−1] – кольцо рядов Лорана над 𝐴. Алгебра 𝐴((𝑡)) имеет естественную топологию, где 𝐴 – подмодули вида 𝑡𝑚𝐴[[𝑡]] образуют базу окрестностей нуля. Пусть также Ω1𝐴((𝑡))/𝐴 – модуль кэлеровых 1-дифференциалов 𝐴((𝑡)) над 𝐴. ...
Добавлено: 5 ноября 2026 г.
Алексеев О. В., Letters in Mathematical Physics 2026 Vol. 116 No. 5 Article 132
Добавлено: 5 ноября 2026 г.
Колмогорова А. В., Ekaterina Yavshitz, Margolina A. и др., Association for Computational Linguistics, 2026.
Добавлено: 4 ноября 2026 г.
Левин А. М., Сахарова Н. Е., / Series arXiv "math". 2024. No. 2412.17795.
Добавлено: 4 ноября 2026 г.
Жужома Е. В., Медведев В. С., Regular and Chaotic Dynamics 2026 Vol. 31 No. 5 P. 732–742
Добавлено: 3 ноября 2026 г.
Добавлено: 3 ноября 2026 г.
Жужома Е. В., Zhirov A. Y., Russian Journal of Nonlinear Dynamics 2026 Vol. 22 No. 2 P. 403–414
Добавлено: 3 ноября 2026 г.
Elena R. Loubenets, Sergey Kuznetsov, Quantum Information Processing 2026 Vol. 25 Article 358
Добавлено: 3 ноября 2026 г.
Добавлено: 3 ноября 2026 г.
Association for Computational Linguistics, 2026.
Добавлено: 3 ноября 2026 г.
Абдулкадиров Т. Н., Рюмина Е. В., Рюмин Д. А. и др., Expert Systems with Applications 2026 Vol. 334 P. 1–29
Добавлено: 3 ноября 2026 г.
Добавлено: 2 ноября 2026 г.
Углева А. В., Социологическое обозрение 2026 Т. 25 № 3 С. 268–293
В статье осуществляется социально-философский анализ ситуации, в которой место Другого в структуре субъективного опыта занимает алгоритмический агент, имитирующий понимание, но лишенный подлинной субъектности. Для исследования этой конфигурации автор обращается к психиатрической практике как к репрезентативному кейсу: именно здесь, в силу особой уязвимости самости и зависимости от признания, общие для цифровой эпохи процессы технологического опосредования становятся ...
Добавлено: 26 сентября 2026 г.
Моисеев Г. В., Гуманитарные исследования в Восточной Сибири и на Дальнем Востоке 2026 № 2 (76) С. 58–68
Статья посвящена философскому анализу трансформации труда в условиях распространения технологий ИИ. Критикуя представления об ИИ как автономной и нейтральной технологии, ведущей к замещению человеческого труда, автор предлагает анализировать социальные последствия развития ИИ в контексте процессов автоматизации и общественного разделения труда. На основе марксистского анализа ИИ трактуется как машина нового типа – социотехническая инфраструктура, в которой ...
Добавлено: 17 сентября 2026 г.
Комментарий к Федеральному закону от 26 июля 2026 г. № 243-ФЗ «О поддержке развития технологий искусственного интеллекта в Российской Федерации» подготовлен ведущими российскими учёными, занимающимися вопросами информационного (цифрового) права, в том числе правовыми аспектами искусственного интеллекта. Содержит постатейный научно-практический систематизированный анализ положений нового закона, а также перспективных и проблемных вопросов его применения.
Для практикующих юристов, специалистов ...
Добавлено: 5 сентября 2026 г.
Медушевский А. Н., Liberal.ru 2026
Вклад новых технологий сегодня, более чем когда-либо в прошлом, определяет условия существования человечества как биологического вида, заставляя обсуждать перспективы его выживания. Процесс трансформации, охвативший все области социального и морального регулирования – от семейных отношений и воспитания до понимания смысла жизни, — раскалывает общественное сознание на противников и сторонников новых этических, социальных и правовых норм. Ключевой ...
Добавлено: 26 августа 2026 г.
Гаджимирзаев Ш. М., Хельвас А. В., 2023 3rd International Conference on Innovative Research in Applied Science, Engineering and Technology (IRASET) Mohammedia, Morocco 2023 P. 1–6
В статье предлагается архитектура событийно-управляемого Центра экстренного реагирования с компонентом компьютерного зрения. Анализируются источники информации и обсуждаются подходы к использованию событий компьютерного зрения для обнаружения и оценки тактических ситуаций. Сообщения от компонентов компьютерного зрения преобразуются в Протокол общих оповещений (Common Alerting Protocol) и обрабатываются средой Центра управления для распознавания тактических ситуаций. ...
Добавлено: 26 июня 2026 г.