Описание / Карточка / Поля MARC | Действия | |
---|---|---|
Автор | Окольнишникова, Елизавета Антоновна |
загрузить
в подборку |
Заглавие | Методы получения нижних оценок сложности ветвящихся программ, вычисляющих булевы функции : автореферат дис. ... доктора физико-математических наук : 01.01.09 | |
Выходные данные | Новосибирск 2007 | |
Физическое описание | 27 с. | |
Тема | Дискретная математика и математическая кибернетика | |
Тема | Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Логические исчисления. Исчисление высказываний, исчисление предикатов | |
Ключевые слова |
булевы функции |
|
Хранение | 9 07-5/1066; | |
Электронный адрес |
Электронный ресурс |