Поста Алгебра

См. Анализ последовательный .. ..

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

, исчисление Поста,- способ задания перечислимых множеств слов. Понятие П. К. С., предложенное Э. Постом (Е. Post) в 1943, было первым общим понятием исчисления, пригодным для задания произвольных перечислимых множеств и не привязанным к логич. Структуре порождаемых объектов, к их семантике и к логике вывода правил. П. К. С. Задается четверкой А, Р,, p, где А - алфавит исчисления, Р(не имеющий общих букв с А) - алфавит переменных, - список слов в А(аксиом исчисления), p - список правил выв..

- замкнутый относительно операции суперпозиции класс функций алгебры логики (ф. А. Л.). Э. Пост (Е, 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 соде..