|
|
Вестник Тверского государственного университета. Серия: Прикладная математика, 2012, выпуск 4, страницы 71–80
(Mi vtpmk235)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Теоретические основы информатики
О безопасности рекурсивных запросов
С. М. Дудаков
Тверской государственный университет, г. Тверь
Аннотация:
В работе исследуется вопрос об определенности рекурсивных запросов на универсуме. В качестве модели рекурсивного запроса применяется оператор инфляционной фиксированной точки $IFP$. Исследованы основные свойства $IFP$-оператора и показано, что модели счетно-категоричных теорий являются безопасными.
Ключевые слова:
инфляционная фиксированная точка, счетная категоричность.
Поступила в редакцию: 13.12.2012
Исправленный вариант: 15.12.2012
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vtpmk235
|
| Статистика просмотров: |
| Страница аннотации: | 59 |
|
Обратная связь: