от | | Научные исследования
Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики 3 Теория строк слов Недостаточная выразительность рекурсивных функций и арифметики для теории алгоритмов Описание произведения: Построение теории первого порядка... 
от | | Научные исследования
Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики 5 Вычислимость по Тьюрингу превосходит в принципиальном отношении вычислимость рекурсивных функций В данной работе продемонстрировано, что вычислимость по Тьюрингу... от | | Научные исследования
Ключевые научные исследования Поиск: Языки логики и классы сложности. рефлексия. np ≠ p Теория строк (слов). недостаточная выразительность рекурсивных функций и арифметики для теории алгоритмов Машина исполнения компьютерных алгоритмов - архитектура... 