|
Автоматика и телемеханика, 1984, выпуск 11, страницы 112–119
(Mi at4888)
|
|
|
|
Автоматы
Настраиваемые бинарные процедуры и циклические программы
В. Л. Артюховa, Б. П. Кузнецов, А. А. Шалыто a Ленинград
Аннотация:
Предлагается метод вычисления систем булевых формул на основе программы, осуществляющей в цикле последовательную передачу специальной процедуре параметров из предварительно формируемого массива. Эта программа названа циклической бинарной программой, а процедура - настраиваемой бинарной процедурой. Рассмотрены принципы их построения, использования и оценки сложности.
Поступила в редакцию: 10.11.1983
Образец цитирования:
В. Л. Артюхов, Б. П. Кузнецов, А. А. Шалыто, “Настраиваемые бинарные процедуры и циклические программы”, Автомат. и телемех., 1984, № 11, 112–119; Autom. Remote Control, 45:11 (1984), 1481–1488
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at4888 https://www.mathnet.ru/rus/at/y1984/i11/p112
|
Статистика просмотров: |
Страница аннотации: | 162 | PDF полного текста: | 55 | Первая страница: | 2 |
|