|
Вестник Московского университета. Серия 1: Математика. Механика, 2004, номер 3, страницы 52–55
(Mi vmumm1249)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Краткие сообщения
О сложности реализации формулами одной последовательности функций $4$-значной логики
А. Б. Угольников
Аннотация:
В работе приведен пример последовательности функций $4$-значной логики, сложность которых в классе формул
над некоторой неполной конечной системой имеет рост “двойной экспоненты” от числа переменных. Ранее
автором показано, что в двузначной логике такой эффект невозможен.
Библиогр. 6.
Поступила в редакцию: 17.12.2003
Образец цитирования:
А. Б. Угольников, “О сложности реализации формулами одной последовательности функций $4$-значной логики”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2004, № 3, 52–55
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vmumm1249 https://www.mathnet.ru/rus/vmumm/y2004/i3/p52
|
Статистика просмотров: |
Страница аннотации: | 52 | PDF полного текста: | 23 |
|