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