Институт фундаментальной математики
Программа Гильберта и теория строк
Рекурсивные функции и вычислимость по Тьюрингу
Расширение математической логики
Арифметика Пеано и свойства вычислимости
Русская машина Гуриновича
Машина Тьюринга и арифметика Пеано
Физическое обоснование факта равноускоренного характера движения тела под действием постоянной силы
Оригинальный логический вывод структуры, логического фундамента второго закона Ньютона. Настоящее исследование является свидетельством непреходящей глубины законов Ньютона и творческих подходов к их переосмыслению. Оно не дает окончательного ответа на вопрос почему...
Программа Гильберта, NP ≠ P, Рефлексия
Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики Описание...
Языки логики и классы сложности. рефлексия. np ≠ p
Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики ...
Актуальное
Физическое обоснование факта равноускоренного характера движения тела под действием постоянной силы
Оригинальный логический вывод структуры, логического фундамента второго закона Ньютона. Настоящее исследование является свидетельством непреходящей глубины законов Ньютона и творческих подходов к их переосмыслению. Оно не дает окончательного ответа на вопрос почему...
Физическое обоснование факта равноускоренного характера движения тела под действием постоянной силы
Оригинальный логический вывод структуры, логического фундамента второго закона Ньютона. Настоящее исследование является свидетельством непреходящей глубины законов Ньютона и творческих подходов к их переосмыслению. Оно не дает окончательного ответа на вопрос почему...
Программа Гильберта, NP ≠ P, Рефлексия
Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики Описание...
Гранты и заказы на фундаментальные и прикладные исследования по математической логике и информатике
Подборка материала по направлениям
Здесь Вы можете изучить материалы по интересующим направлениям
Программа Гильберта
Машина Тьюринга
Математика теории алгоритмов
Теория строк
Математика для описания вычислений
Расширение математической логики
Математическая модель вычислительной системы
Масштабирование вычислительных систем
Проблемы неограниченной оперативной памяти
Ограниченность разрядности процессоров
Проблемы эффективности вычислений
Проблемы общего языка программирования
Журнал Института фундаментальной математики, обзоры
К вершинам компьютерного зрения — Институт прикладной математики РАН, оседлав старый алгоритм
10 июля 2025 года на семинаре Института прикладной математики им. М.В. Келдыша РАН была рассмотрена кандидатская диссертация по теме "Исследование и разработка гибридных алгоритмов распознавания объектов на основе зрительных данных", написанная под научным...
Арбузная корка академика Гончарова С.С.
В конце 2022 года в Институте математики им. С. Л. Соболева Сибирского отделения Российской академии наук (Новосибирск) была защищена, под научным руководством академика РАН, профессора, доктора наук Гончарова С.С. и в соавторстве с ним, диссертация "Полиномиальная...
Журнал Института фундаментальной математики, рецензии
К вершинам компьютерного зрения — Институт прикладной математики РАН, оседлав старый алгоритм
10 июля 2025 года на семинаре Института прикладной математики им. М.В. Келдыша РАН была рассмотрена кандидатская диссертация по теме "Исследование и разработка гибридных алгоритмов распознавания объектов на основе зрительных данных", написанная под научным...
Арбузная корка академика Гончарова С.С.
В конце 2022 года в Институте математики им. С. Л. Соболева Сибирского отделения Российской академии наук (Новосибирск) была защищена, под научным руководством академика РАН, профессора, доктора наук Гончарова С.С. и в соавторстве с ним, диссертация "Полиномиальная...
Обзор математических исследований
К вершинам компьютерного зрения — Институт прикладной математики РАН, оседлав старый алгоритм
10 июля 2025 года на семинаре Института прикладной математики им. М.В. Келдыша РАН была рассмотрена кандидатская диссертация по теме "Исследование и разработка гибридных алгоритмов распознавания объектов на основе зрительных данных", написанная под научным...
Арбузная корка академика Гончарова С.С.
В конце 2022 года в Институте математики им. С. Л. Соболева Сибирского отделения Российской академии наук (Новосибирск) была защищена, под научным руководством академика РАН, профессора, доктора наук Гончарова С.С. и в соавторстве с ним, диссертация "Полиномиальная...
Программа Гильберта, NP ≠ P, Рефлексия
Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики Описание...
Получение новостей
Получение информации по персональному запросу
Вы можете получить дополнительную информацию по персональному запросу
Подписка на новости
получение наших новостей
Мы в соцсетях
Публикации в соцсетях