20141120d1985 k y0rusy5003 ca creator text monographic Кибернетика stltpush (RuTPU)RU\TPU\subj\39446 59539 частные производные сложность многочлены аддитивная сложность булевы функции широковещательные каналы графы изоморфизм машина Тьюринга моделирование алгебраически замкнутые поля кванторы элиминация экспертные системы прототипы RU 20231101234913.0 276254