Вестник Московского Университета. Математика, Механика - Содержание


УДК 519.95

О глубине и сложности формул в некоторых классах $k$-значной логики / Сафин Р.Ф. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 2000. N.6 C. 65-68.

Для некоторых предполных классов $k$-значной логики показано, что для всякой конечной системы функций $\cal A$, порождающей один из этих классов, найдутся такие константы $c$ и $d$, что для любой функции $f$ из $[\cal A]$ глубина $D(f)$ и сложность $L(f)$ функции $f$ в классе формул над $\cal A$ связаны соотношением $D(f) \le c \log_2 L(f) + d$.

Библиогр. 7.

К оглавлению номера  Go!