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