Том 14, серия 2, номер 2, 2007 г., Стр. 76-91
УДК 519.7
Н. Г. Парватов
Наследственные системы дискретных функций
Аннотация:
Рассматриваются функции, принимающие значения в конечном множестве $D$ и зависящие от переменных, принимающих значения в конечном множестве $E$. Множества таких функций, замкнутые относительно операций перестановки и отождествления переменных, называются наследственными. Изучаются возможности эффективного задания наследственных систем при помощи запрещающих и порождающих множеств, а также посредством предикатов. На наследственные системы переносятся известные для замкнутых классов теоремы: о соответствии Галуа, теорема Яблонского о предикатно характеризуемых классах, теорема Кузнецова о полноте.
Библ. 12.
Парватов Н. Г. 1
1. Томский гос. университет, фак-т прикл. матем. и киб.,
пр. Ленина, 36, 634050 Томск, Россия
е-mail: parvatov@mail.tsu.ru
Статья поступила 19 декабря 2006 г.
Исправленный вариант — 3 ноября 2007 г.
