Refine your search
Availability
-
Bibliographic level
- Книги (6)
- Статьи из сборников (2)
-
Authors
- Закревский, Аркадий Дмитриевич [x]
- Бутаков, Евгений Артемович (1)
- Лазарев, Владимир Георгиевич (1)
- Поттосин, Юрий Васильевич (1)
- Уткин, Анатолий Александрович (1)
- Черемисинова, Людмила Дмитриевна (1)
- Show more
- Show less
-
Locations
-
Item types
- Выдается в читальный зал (6)
- 1 месяц (5)
-
Topics
- булевы функции (8)
- минимизация булевых функций (3)
- ЛЯПАС, язык программирования логический (2)
- дизъюнктивные нормальные формы (2)
- дискретные автоматы (2)
- дискретные устройства (2)
- задачи теории графов (2)
- Жегалкина полиномы (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)
- логические уравнения (1)
- логический синтез (1)
- логическое проектирование (1)
- Show more
- Show less