Refine your search
Availability
-
Bibliographic level
- Книги (2)
-
Authors
- Марченков, Сергей Серафимович [x]
-
Locations
-
Item types
- Выдается в читальный зал (1)
- 1 месяц (1)
- 6 месяцев (1)
- Выдается по месту хранения (1)
-
Topics
- NP-полные задачи (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