Слабый конъюнктивный предикат

Материал из Викиконспекты
Версия от 17:16, 26 июня 2010; Andrey Danilchenko (обсуждение | вклад) (Новая страница: «Категория: Параллельное программирование '''Локальный предикат''' - предикат над состоян…»)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Локальный предикат - предикат над состоянием одного процесса. Слабый конъюнктивный предикат - предикат, истинный на каком-то конкретном срезе, и находящийся в конъюнктивной форме.

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Слабый_конъюнктивный_предикат&oldid=1895»