Refine your search
Availability
-
Bibliographic level
- Статьи из сериальных изданий (3)
- Книги (1)
-
Authors
-
Locations
- Книгохранилище (1)
-
Item types
- Выдается в читальный зал (1)
- 1 месяц (1)
-
Topics
- троичные матрицы (4)
- булевы функции (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)
- Show more
- Show less