Лекции::

Дополнительно:

Полнота и замкнутость

из  PImage сохраняющих  e, т.е. таких, что f (aImage, …, aImage) Image e, если  aImage Image e, ( i = 1, …, n). Класс TImage очевидно, является замкнутым.

3.      Множество всех линейных функций из PImage образует замкнутый класс линей-

ных функций, который обозначается через  LImage ( или L ). Этот класс отличен от PImage при любом k > 2.

4.      Множество всех функций из PImage, представимых полиномами по модулю k, 

является замкнутым классом в PImage.

            Понятие замкнутого класса может быть приложено к решению вопроса об обос-новании неполноты некоторых систем.

            Пример. Доказать, что система   M = { ~x, max (x,y) } не является полной.

Пусть  e = { 0, (k-1) }. Так как обе функции системы сохраняют e, то [M] ImageTImage. Поскольку при  k > 2,     e ` EImage , то TImage не содержит, например константу 1. Значит при   

предыдущаяследующая