|
Вестник Московского университета. Серия 1: Математика. Механика, 2000, номер 6, страницы 65–68
(Mi vmumm1634)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Краткие сообщения
О глубине и сложности формул в некоторых классах $k$-значной логики
Р. Ф. Сафин
Аннотация:
Для некоторых предполных классов $k$-значной логики показано, что для всякой конечной системы функций
$\mathcal{A}$, порождающей один из этих классов, найдутся такие константы $c$ и $d$, что для любой функции $f$ из $[\mathcal{A}]$ глубина $D(f)$ и сложность $L(f)$ функции $f$ в классе формул над $\mathcal{A}$ связаны соотношением
$D(f)\le c\log_2L(f)+d$.
Библиогр. 7.
Поступила в редакцию: 29.03.2000
Образец цитирования:
Р. Ф. Сафин, “О глубине и сложности формул в некоторых классах $k$-значной логики”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2000, № 6, 65–68
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vmumm1634 https://www.mathnet.ru/rus/vmumm/y2000/i6/p65
|
Статистика просмотров: |
Страница аннотации: | 45 | PDF полного текста: | 18 |
|