|
Журнал вычислительной математики и математической физики, 1983, том 23, номер 2, страницы 440–452
(Mi zvmmf5615)
|
|
|
|
Анализ программ и бинарные отношения
С. А. Абрамов Москва
Аннотация:
Рассматривается обобщение хооровского свойства программы $P$, имеющего вид $\{f\}P\{g\}$: в качестве $f$ и $g$ привлекаются не булевы функции на множестве состояний $V$, а бинарные отношения, являющиеся подмножествами $V\times M$, где $M$ может быть произвольным множеством.
Поступила в редакцию: 12.05.1981 Исправленный вариант: 18.02.1982
Образец цитирования:
С. А. Абрамов, “Анализ программ и бинарные отношения”, Ж. вычисл. матем. и матем. физ., 23:2 (1983), 440–452; U.S.S.R. Comput. Math. Math. Phys., 23:2 (1983), 120–127
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/zvmmf5615 https://www.mathnet.ru/rus/zvmmf/v23/i2/p440
|
Статистика просмотров: |
Страница аннотации: | 181 | PDF полного текста: | 96 | Первая страница: | 1 |
|