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