НЕРАЗРЕШИМОСТЬ ПРОБЛЕМЫ ОПРЕДЕЛЕННОСТИ
БИНАРНЫХ IFP-ОПЕРАТОРОВ ДЛЯ ТЕОРИИ ОДНОГО
СЛЕДОВАНИЯ

Дудаков, С.М.

НЕРАЗРЕШИМОСТЬ ПРОБЛЕМЫ ОПРЕДЕЛЕННОСТИ БИНАРНЫХ IFP-ОПЕРАТОРОВ ДЛЯ ТЕОРИИ ОДНОГО СЛЕДОВАНИЯ

Дата публикации: 2014

Дата публикации в реестре: 2020-03-18T12:53:49Z

Аннотация:

В работе продолжается исследование определенности оператора инфляционной фиксированной точки. Показано, что проблема определенности бинарного IFP-оператора для теории следования алгоритмически неразрешима

Ключевые слова:
510.67 Теория моделей

Тип: Статья