Содержание:

Ключевые научные исследования

Теория строк (слов). недостаточная выразительность рекурсивных функций и арифметики для теории алгоритмов



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



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



Числа арифметики пеано не обладают необходимыми для вычислимости свойствами и никакое логическое расширение арифметики Пеано не создаёт им эти свойства



Расширение математической логики средствами ООП для достижения необходимой выразительности при разборе вопросов вычислений и вычислимости

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

| | Научные исследования | 0 комментария

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

Подробнее

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

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

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

Подробнее

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

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

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

Подробнее

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

| | Научные исследования | 0 комментария

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

Подробнее

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

| | Научные исследования | 0 комментария

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

Подробнее

Расширение математической логики средствами ООП для достижения необходимой выразительности при разборе вопросов вычислений и вычислимости

| | Научные исследования | 0 комментария

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

Подробнее

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

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

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

| | Научные исследования | 0 комментария

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

| | Научные исследования | 0 комментария

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

| | Научные исследования | 0 комментария

Расширение математической логики средствами ООП для достижения необходимой выразительности при разборе вопросов вычислений и вычислимости

| | Научные исследования | 0 комментария

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

| | Научные исследования | 0 комментария

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

| | Научные исследования | 0 комментария

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

| | Научные исследования | 0 комментария

Расширение математической логики средствами ООП для достижения необходимой выразительности при разборе вопросов вычислений и вычислимости

| | Научные исследования | 0 комментария

Теория строк (слов). недостаточная выразительность рекурсивных функций и арифметики для теории алгоритмов

| | Научные исследования | 0 комментария

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

| | Научные исследования | 0 комментария

Числа арифметики Пеано не обладают необходимыми для вычислимости свойствами и никакое логическое расширение арифметики Пеано не создаёт им эти свойства

| | Научные исследования | 0 комментария

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

| | Научные исследования | 0 комментария

Числа арифметики Пеано не обладают необходимыми для вычислимости свойствами и никакое логическое расширение арифметики Пеано не создаёт им эти свойства

| | Научные исследования | 0 комментария

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

| | Научные исследования | 0 комментария

Теория строк (слов). недостаточная выразительность рекурсивных функций и арифметики для теории алгоритмов

| | Научные исследования | 0 комментария

Расширение математической логики средствами ООП для достижения необходимой выразительности при разборе вопросов вычислений и вычислимости

| | Научные исследования | 0 комментария

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

| | Научные исследования | 0 комментария

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

| | Научные исследования | 0 комментария

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

| | Научные исследования | 0 комментария

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

| | Научные исследования | 0 комментария

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

| | Научные исследования | 0 комментария

Расширение математической логики средствами ООП для достижения необходимой выразительности при разборе вопросов вычислений и вычислимости

| | Научные исследования | 0 комментария

Числа арифметики Пеано не обладают необходимыми для вычислимости свойствами и никакое логическое расширение арифметики Пеано не создаёт им эти свойства

| | Научные исследования | 0 комментария

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

| | Научные исследования | 0 комментария

Теория строк (слов). недостаточная выразительность рекурсивных функций и арифметики для теории алгоритмов

| | Научные исследования | 0 комментария

Новейшие исследования

получить материалы

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

| | Научные исследования | 0 комментария

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

Подробнее

Теория строк (слов). недостаточная выразительность рекурсивных функций и арифметики для теории алгоритмов

| | Научные исследования | 0 комментария

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

Подробнее

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

| | Научные исследования | 0 комментария

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

Подробнее

Числа арифметики Пеано не обладают необходимыми для вычислимости свойствами и никакое логическое расширение арифметики Пеано не создаёт им эти свойства

| | Научные исследования | 0 комментария

Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики [pdf-embedder url="http://ifmgu.ru/wp-content/uploads/2025/07/6-Числа-арифметики-Пеано-не-обладают-необходимыми-для-вычислимости-свойствами.pdf" title="6 Числа арифметики...

Подробнее