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