Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики [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"...

Подробнее

Вычислимость по Тьюрингу превосходит в принципиальном отношении вычислимость рекурсивных функций

Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики [pdf-embedder url="http://ifmgu.ru/wp-content/uploads/2025/07/5-Вычислимость-по-Тьюрингу-превосходит-в-принципиальном-отношении-вычислимость-рекурсивных-функций.pdf" title="5...

Подробнее

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

Оригинальный логический вывод структуры, логического фундамента второго закона Ньютона. Настоящее исследование является свидетельством непреходящей глубины законов Ньютона и творческих подходов к их переосмыслению. Оно не дает окончательного ответа на вопрос почему...

Подробнее

Дмитрий Леонидович Гуринович

Ключевые научные исследованияПопулярные материалыНовейшие исследования

Подробнее

Программа Гильберта, NP ≠ P, Рефлексия

Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики Описание...

Языки логики и классы сложности. рефлексия. np ≠ p

Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики ...

Гранты и заказы на фундаментальные и прикладные исследования по математической логике и информатике

Записаться

Подборка материала по направлениям

Здесь Вы можете изучить материалы по интересующим направлениям

Программа Гильберта

Машина Тьюринга

Математика теории алгоритмов

Теория строк

Математика для описания вычислений

Расширение математической логики

Математическая модель вычислительной системы

Масштабирование вычислительных систем

Проблемы неограниченной оперативной памяти

Ограниченность разрядности процессоров

Проблемы эффективности вычислений

Проблемы общего языка программирования

Журнал Института фундаментальной математики, обзоры

посмотреть все обзоры

Арбузная корка академика Гончарова С.С.

| | Рецензии | 0 комментария

В конце 2022 года в Институте математики им. С. Л. Соболева Сибирского отделения Российской академии наук (Новосибирск) была защищена, под научным руководством академика РАН, профессора, доктора наук Гончарова С.С. и в соавторстве с ним, диссертация "Полиномиальная...

К вершинам компьютерного зрения — Институт прикладной математики РАН, оседлав старый алгоритм

| | Рецензии | 0 комментария

10 июля 2025 года на семинаре Института прикладной математики им. М.В. Келдыша РАН была рассмотрена кандидатская диссертация по теме "Исследование и разработка гибридных алгоритмов распознавания объектов на основе зрительных данных", написанная под научным...

Космическая пыль в глаза ФИАН имени П.Н. Лебедева

| | Рецензии | 0 комментария

Диссертация Дедикова С.Ю. «Разрушение космической пыли за фронтами ударных волн в неоднородных средах» На 17 сентября 2025 года намечена зашита диссертации на соискание ученой степени кандидата физико-математических наук «Разрушение космической пыли за фронтами...

В мутных водах компьютерного зрения — на старых чужих алгоритмах в научное будущее!

| | Рецензии | 0 комментария

Диссертация Грицкевича И.Ю. "Исследование и разработка методов реализации и обработки малоконтрастных изображений в условиях ограниченной видимости" На 17 сентября 2025 года намечена зашита диссертации на соискание ученой степени кандидата технических наук...