Содержание:
Ключевые научные исследования
Арбузная корка академика Гончарова С.С.
В конце 2022 года в Институте математики им. С. Л. Соболева Сибирского отделения Российской академии наук (Новосибирск) была защищена, под научным руководством академика РАН, профессора, доктора наук Гончарова С.С. и в соавторстве с ним, диссертация "Полиномиальная...
К вершинам компьютерного зрения — Институт прикладной математики РАН, оседлав старый алгоритм
10 июля 2025 года на семинаре Института прикладной математики им. М.В. Келдыша РАН была рассмотрена кандидатская диссертация по теме "Исследование и разработка гибридных алгоритмов распознавания объектов на основе зрительных данных", написанная под научным...
Популярные материалы
Новейшие исследования
Программа Гильберта, NP ≠ P, Рефлексия
Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики Описание...
Языки логики и классы сложности. рефлексия. np ≠ p
Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики ...
Расширение математической логики средствами ООП для достижения необходимой выразительности при разборе вопросов вычислений и вычислимости
Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики Описание...
Числа арифметики Пеано не обладают необходимыми для вычислимости свойствами и никакое логическое расширение арифметики Пеано не создаёт им эти свойства
Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики [pdf-embedder url="http://ifmgu.ru/wp-content/uploads/2025/07/6-Числа-арифметики-Пеано-не-обладают-необходимыми-для-вычислимости-свойствами.pdf" title="6 Числа арифметики...
Машина исполнения компьютерных алгоритмов — архитектура математической модели с центральным процессором и неограниченными лучами данных
Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики [pdf-embedder...
Теория строк (слов). недостаточная выразительность рекурсивных функций и арифметики для теории алгоритмов
Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики [pdf-embedder url="http://ifmgu.ru/wp-content/uploads/2025/07/3-Теория-строк-слов-Недостаточная-выразительность-рекурсивных-функций-и-арифметики-для-теории-алгоритмов.pdf"...