|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
О проверяющих тестах для некоторого класса функций, реализованных контактными схемамитезисы доклада
- Автор: Романов Д.С.
- Сборник: Ломоносовские чтения: Научная конференция, Москва, факультет ВМК МГУ имени М.В. Ломоносова, 14–23 апреля 2014 г.: Тезисы докладов
- Тезисы
- Год издания: 2014
- Место издания: М.: Издательский отдел факультета ВМиК МГУ (лицензия ИД 05899 от 24.09.2001); МАКС Пресс
- Первая страница: 80
- Последняя страница: 81
- Аннотация: Доказано, что с ростом n стремится к единице доля зависящих от n переменных функций алгебры логики, для каждой из которых существуют реализующие их контактные схемы, допускающие проверяющие тесты размыкания (проверяющие тесты замыкания) линейной по n длины.
- Добавил в систему: Романов Дмитрий Сергеевич