Описание / Карточка / Поля MARC | Действия | |
---|---|---|
Автор | Соколов, Дмитрий Олегович |
загрузить
в подборку |
Заглавие | Сложность решения задачи выполнимости булевых формул алгоритмами, основанными на расщеплении : диссертация ... кандидата физико-математических наук : 01.01.06, 01.01.09 | |
Выходные данные | Санкт-Петербург 2014 | |
Физическое описание | 88 с. | |
Тема | Математическая логика, алгебра и теория чисел | |
Тема | Дискретная математика и математическая кибернетика | |
Тема | Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Логические исчисления. Исчисление высказываний, исчисление предикатов | |
Тема | Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Теория алгоритмов, рекурсивные функции | |
Ключевые слова |
выполнимость булевых формул алгоритмами расщепления |
|
Ключевые слова |
расщепления алгоритмы |
|
Хранение | 61 15-1/387; | |
Электронный адрес |
Электронный ресурс |