Искать
Отображаемые элементы 1-8 из 8
Арифметическая иерархия относительно оракула и ограничения
(Барнаул: Издательство Алтайского государственного университета, 2009)
Вычисления на машинах Тьюринга с ограничением
(Барнаул: Издательство Алтайского государственного университета, 2006)
Проблема остановки для машин Шенфилда с оракулом
(Барнаул: Издательство Алтайского государственного университета, 2006)
Моделирование вычислений с оракулами рекурсивным способом
(Барнаул: Издательство Алтайского государственного университета, 2008)
Вычисления с оракулами и ограничениями
(Барнаул: Издательство Алтайского государственного университета, 2007)
Различные варианты нестандартного форсинга
(Барнаул: Издательство Алтайского государственного университета, 2009)
Имитация гиперарифметической вычислимости рекурсивными функциями
(Барнаул: Издательство Алтайского государственного университета, 2008)
Рекурсивный аналог гиперарифметической вычислимости
(Барнаул: Издательство Алтайского государственного университета, 2007)