LogoTver State University Repository

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

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

[img] 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 By: С.Б. Федорова
Deposited On:04 Sep 2018 14:46
Last Modified:04 Sep 2018 14:46

Repository Staff Only: item control page