Refine your search
Availability
-
Bibliographic level
- Книги (4)
- Статьи из сборников (3)
-
Authors
-
Locations
-
Item types
- Выдается в читальный зал (4)
- 1 месяц (2)
- 1 неделя (1)
- 6 месяцев (1)
-
Topics
- конъюнктивные нормальные формы (5)
- дизъюнктивные нормальные формы (3)
- булевы функции (2)
- булевы функции монотонные (2)
- дискретная математика (2)
- комбинаторика (2)
- логические схемы (2)
- множества (2)
- учебные пособия для вузов (2)
- NP-полные задачи (1)
- SAT-решатели (1)
- Блейка метод (1)
- Жегалкина полиномы (1)
- Поста теорема (1)
- Тьюринга машина (1)
- Тьюринга машины (1)
- Тьюринга-Черча тезис (1)
- Функции (мат.) булевы (1)
- Хачиян, Леонид Генрихович (1)
- Хачияна алгоритм полиномиальный (1)
- алгебра (1)
- алгоритмы (1)
- алгоритмы вероятностные (1)
- алгоритмы полиномиальные (1)
- бинарные отношения (1)
- булевы формулы (1)
- булевы функции линейные (1)
- булевы функции самодвойственные (1)
- булевы функции элементарные (1)
- булевы функции-константы (1)
- воспоминания (1)
- выпуклое программирование квадратичное (1)
- вычислимые функции (1)
- генерации теория (теория алгоритмов) (1)
- графы (1)
- деревья (графов теория) (1)
- дизъюнктивные нормальные формы монотонные (1)
- дизъюнктивные нормальные формы тупиковые (1)
- дуализации теория (теория алгоритмов) (1)
- задачи (1)
- игры матричные, алгоритмы (1)
- классы булевых функций (1)
- конечные автоматы (1)
- конструктивные комбинаторные задачи (1)
- конъюнктивные нормальные формы тупиковые (1)
- конъюнктивные нормальные формы, выполнимость (1)
- критерий полноты булевых функций (1)
- критерий функциональной полноты (1)
- линейное программирование (1)
- логика предикатов (1)
- Show more
- Show less