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

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



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



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



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



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

Наглый частный случай, о том, как Крипке нашёл у Непейводы частный случай и стал классиком вместо него

| | Рецензии, Рога и Копыта | 0 комментария

Это увлекательная и почти детективная история о том, как открытие русского математика Николая Николаевича Непейводы (родился в 1949 году в России) перекочевало в виде своего же частного случая в науку логики в США, а работа Саула Аарона Крипке (Saul Aaron Kripke,...

Подробнее

Как доктор наук Знаменский С. В. из Российской академии наук открыл Америку

| | Рецензии, Рога и Копыта | 0 комментария

Как доктор наук Знаменский С. В. из Российской академии наук открыл Америку, повторно открыв понятие выпуклости в направлении, её свойства, а также исследовав дифференциальные уравнения бесконечного порядка, или Заимствования в теории дифференциальных уравнений...

Подробнее

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

| | Рецензии, Рога и Копыта | 0 комментария

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

Подробнее

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

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

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

Подробнее

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

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

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

Подробнее

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

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

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

Подробнее

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

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

Популярные материалы

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