О НИЖНЕЙ ГРАНИЦЕ ВРЕМЕННОЙ СЛОЖНОСТИ ПРОБЛЕМЫ РАЗРЕШИМОСТИ ТЕОРИИ ЦЕЛЫХ ЧИСЕЛ С ФУНКЦИЕЙ СЛЕДОВАНИЯ И ОПЕРАТОРОМ НАИМЕНЬШЕЙ ФИКСИРОВАННОЙ ТОЧКИ

Золотов, А.С. (2016) О НИЖНЕЙ ГРАНИЦЕ ВРЕМЕННОЙ СЛОЖНОСТИ ПРОБЛЕМЫ РАЗРЕШИМОСТИ ТЕОРИИ ЦЕЛЫХ ЧИСЕЛ С ФУНКЦИЕЙ СЛЕДОВАНИЯ И ОПЕРАТОРОМ НАИМЕНЬШЕЙ ФИКСИРОВАННОЙ ТОЧКИ. Вестник ТвГУ. Серия: Прикладная математика (3). pp. 97-109. ISSN 1995-0136

[thumbnail of elibrary_27310779_16772744 97-109.pdf]

PDF - Published Version
334kB

Abstract

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

Abstract (en)

We show that any decision procedure for the theory of integers with a successor function and a least fixed point operator for a formula with

Item Type:	Article
Additional Information:	1. Золотов Александр Сергеевич аспирант кафедры информатики Тверского государственного университета.
Uncontrolled Keywords:	разрешимость, оператор фиксированной точки, временная сложность
Keywords (en):	decidability, fixed point operator, time complexity
Subjects:	5 Математика. Естественные науки > 51 Математика > 519.6 Вычислительная математика, численный анализ > 519.65 Приближение и интерполирование
Divisions:	Университеты > TverSU > Faculties > PMK > Кафедра информатики
ID Code:	7873
Deposited On:	04 Sep 2018 14:46
Last Modified:	04 Sep 2018 14:46

Repository Staff Only: item control page