Абстракт:

В докладе раскрывается метод такого счисления, в основе которого лежит позиционный принцип.
Дается понятие о трех видах позиционных операторов: S-операторы, FS-операторы и сигма-операторы.
Показано, как логические задачи могут быть представлены в позиционных языках операторов.
Даются основы исчисления в этих языках.
В заключение идет речь о труднорешаемых задачах.

Фотографии