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

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

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

Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики   3 Теория строк слов Недостаточная выразительность рекурсивных функций и арифметики для теории алгоритмов   Описание произведения: Построение теории первого порядка...
Вычислимость по Тьюрингу превосходит в принципиальном отношении вычислимость рекурсивных функций

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

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

Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики   5 Вычислимость по Тьюрингу превосходит в принципиальном отношении вычислимость рекурсивных функций   В данной работе продемонстрировано, что вычислимость по Тьюрингу...
Физическое обоснование факта равноускоренного характера движения тела под действием постоянной силы

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

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

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

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

от | | Без рубрики

Тьюринг и его исследования Поиск:  Алан Тьюринг - путь в науке  Перечень работ Алана Тьюринга  Машина Тьюринга  Последователи и ученики Алана Тьюринга  Ограничения результатов Тьюринга и необходимость продолжения исследований  Современное применнение открытий...

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

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

Ключевые научные исследования Поиск:  Языки логики и классы сложности. рефлексия. np ≠ p  Теория строк (слов). недостаточная выразительность рекурсивных функций и арифметики для теории алгоритмов  Машина исполнения компьютерных алгоритмов - архитектура...