Редактирование: ВПнМ/Теормин
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 92 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 85: | Строка 85: | ||
* <math>D_p</math> -- единый абстрактный домен данных. | * <math>D_p</math> -- единый абстрактный домен данных. | ||
- | * <math>P</math> -- программа. | + | * <math>P</math> -- программа. <math>V_p</math> -- множество переменных программы(Var). |
- | + | * <math>v \in Var</math> <math> dom(v) = D_p^v \subseteq D_p</math> | |
- | * <math>v \in Var</math> | + | |
- | + | ||
* <math>n</math> -- подстановка. <math>n: V_p \rightarrow D_p, \forall v \in Var</math> <math>n(v) \in D_p^v</math> | * <math>n</math> -- подстановка. <math>n: V_p \rightarrow D_p, \forall v \in Var</math> <math>n(v) \in D_p^v</math> | ||
* <math>~ Cond(V_p)</math> -- Набор булевых условий над <math>V_p</math> | * <math>~ Cond(V_p)</math> -- Набор булевых условий над <math>V_p</math> |