Пример. <0, 1, 0, 1> <0, 1, 1, 1>, а оценки <0, 1, 1> и <1, 0, 1> несравнимы
<0, 1, 0, 1> <0, 1, 1, 1>, а оценки <0, 1, 1> и <1, 0, 1> несравнимы. В общем, есть отношение частичного порядка.
Функция f (Х1, …, Хn) называется монотонной, если для любых оценок а и b списка переменных, таких что a b, имеем: f (а) f (b). Класс монотонных функций обозначается через M.
Класс М монотонных функций функционально замкнут. Действительно, элементарные суперпозиции не выводят из класса М монотонных функций. Доказывается аналогично предыдущему.
Билет 26.
«Теорема Поста. Доказательство необходимости. Пример». 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | Поиск по сайту:
|