Поста Каноническая Система

метод повторных подстановок, метод простой итерации,- один из общих методов приближенного решения операторных уравнений. Во многих случаях хорошая сходимость построенных этим методом приближений позволяет применять его в практике вычислений. Пусть Е - нек-рое множество, на к-ром задан оператор А, отображающий Ев себя. Требуется найти неподвижную точку этого отображения, т. Е. Решение уравнения (1) Пусть уравнение (1) имеет решение и каким-либо способом указано его начальное приближен..

- алгебра вида (РW), где Рявляется множеством функций, a W - множеством операций, равносильных операциям композиции с различного рода ограничениями. Примерами П. А. Являются конечнозначные и счетнозначные логики, логики неоднородных функций и т. П. Проблематика П. А. По существу совпадает с проблематикой для многозначных логик. Лит. См. При ст. Многозначная логика. В. Б. Кудрявцев. ..

- замкнутый относительно операции суперпозиции класс функций алгебры логики (ф. А. Л.). Э. Пост (Е, Post) установил, что таких классов в точности счетное множество, и дал их явное описание. Им же показано, что все они являются конечно порожденными, построена решетка по включению, образованная этими классами. Множество указанных классов исчерпывается списком С i, Ai, Dj, Lk, Ol, Sr, Pr, , где i=l, 2, 3, 4. J= 1, 2, 3. K=l,. ., 5. L =1,. .,9. R=1, 3, 5, 6. S=1, . .,8. M = 2, 3,. Класс C1 соде..

- один из вариантов Тьюринга машины. ..