Сложность и алгоритмы построения проверяющих тестов и некоторых классов полиномиальных форм булевых функций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук

Описание

Тип публикации: автореферат диссертации

Год издания: 2007

Ключевые слова: Дискретная математика и математическая кибернетика, физико-математические науки, математика, Основания математики. Математическая логика, Логические исчисления. Исчисление высказываний, исчисление предикатов

Ссылки на полный текст

Персоны

  • Рябец Леонид Владимирович

Вхождение в базы данных