| Найдено документов - 1 | Выборка докусментов | Версия для печати |
Сортировать по:
1. Статья
Авхимович Николь Вадимовна.
Неподвижная точка для логических программ / Авхимович Николь Вадимовна
// Математические основы информатики и информационно-коммуникационных систем". - Тверь : Тверской государственный университет, 2021. - С. 91-95. - Библиогр.: с. 94 (3 назв.).
Неподвижная точка для логических программ / Авхимович Николь Вадимовна
// Математические основы информатики и информационно-коммуникационных систем". - Тверь : Тверской государственный университет, 2021. - С. 91-95. - Библиогр.: с. 94 (3 назв.).
Ключевые слова: Логическая программа, Логика, Частичная неподвижная точка, Исследования, Труды Тверского государственного университета
Ссылка на ресурс: http://megapro.tversu.ru/megaPro/UserEntry?Action=FindDocs&ids=5455309
Ссылка на ресурс: http://texts.lib.tversu.ru/texts/151503t.pdf
Подробнее
Аннотация: В данной работе рассматривается понятие частичной неподвижной точки для нормальных логических программ. Мы показываем, как при помощи неподвижной точки можно сократить запись логической программы, причем экспоненциально. Также исследуем задачу о вычислении неподвижной точки в общем случае и доказываем для нее PSPACE-полноту.