Сборник продолжает (с 1988 г.) математическую направленность всемирно известной серии «Проблемы кибернетики». Представленные в выпуске работы охватывают широкий спектр проблем дискретной математики, математической логики, теории программирования, сложности и надежности управляющих систем, криптографии.
Для специалистов, аспирантов, студентов, интересующихся современным состоянием математической кибернетики и ее приложений.
Author(s): Лупанов О.Б. (ред.)
Publisher: ФМЛ
Year: 2002
Language: Russian
Pages: 288
Tags: Информатика и вычислительная техника;Кибернетика;Математические вопросы кибернетики;
В.Н. Латышев. Алгоритмическое распознавание полиномиальных тождеств 5
А.Г. Пинус. Слабые автоморфизмы и жирность точек шкал потенциалов вычислимости 15
А.О. Иванов, А. А. Тужилин. Отношение Штейнера. Современное состояние 27
Ю.И. Янов. Модальные логики и арифметика. II 49
Р.М. Колпаков. О многозначных преобразованиях одноэлементных множеств бинарных распределений с рациональными вероятностями 63
Е.А. Орехова. Об одном критерии неявной полноты в k-значной логике 77
Ю.В. Таранников. О корреляционно-иммунных и устойчивых булевых функциях 91
А.А. Ботев. О соотношениях между корреляционной иммунностью, нелинейностью и весом для неуравновешенных булевых функций 149
А.А. Вороненко. О проверяющих тестах для бесповторных функций 163
Е.В. Дебрев. О различении графов из некоторых семейств посредством безусловных реберных тестов 177
М.А. Алёхина. Синтез и сложность надежных схем из ненадежных элементов 193
Г.А. Кочергина. О сложности реализации элементарных конъюнкций и дизъюнкций схемами в некоторых полных базисах 219
КРАТКИЕ СООБЩЕНИЯ
О.М. Касим-Заде. Об одном методе получения оценок сложности схем над бесконечными базисами 247
П.С. Королёв. Квадратичные булевы функции высокого порядка устойчивости .... 255
A.И. Проскуряков. О сложности реализации некоторых функций сетями из элементов, осуществляющих аналитические операции 262
B.И. Хомич. О соотношении мощностей импликатур, связанных отношением погружаемости 270
