Золотов, А.С. (2016) О НИЖНЕЙ ГРАНИЦЕ ВРЕМЕННОЙ СЛОЖНОСТИ ПРОБЛЕМЫ РАЗРЕШИМОСТИ ТЕОРИИ ЦЕЛЫХ ЧИСЕЛ С ФУНКЦИЕЙ СЛЕДОВАНИЯ И ОПЕРАТОРОМ НАИМЕНЬШЕЙ ФИКСИРОВАННОЙ ТОЧКИ. Вестник ТвГУ. Серия: Прикладная математика (3). С. 97-109. ISSN 1995-0136
![[img]](http://eprints.tversu.ru/style/images/fileicons/application_pdf.png) |
PDF
- Опубликованная версия
334kB |
Абстракт
Мы показываем, что всякий разрешающий алгоритм для теории целых чисел с функцией следования и оператором наименьшей фиксированной точки для формулы с
Абстракт (англ.)
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
| Тип объекта: | Статья |
|---|---|
| Сведения об авторах: | 1. Золотов Александр Сергеевич аспирант кафедры информатики Тверского государственного университета. |
| Ключевые слова: | разрешимость, оператор фиксированной точки, временная сложность |
| Ключевые слова (англ.): | decidability, fixed point operator, time complexity |
| Категории: | 5 Математика. Естественные науки > 51 Математика > 519.6 Вычислительная математика, численный анализ > 519.65 Приближение и интерполирование |
| Подразделения: | Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики |
| ID Code: | 7873 |
| Deposited By: | С.Б. Федорова |
| Deposited On: | 04 Сен 2018 14:46 |
| Последнее изменение: | 04 Сен 2018 14:46 |
Repository Staff Only: item control page
