Редактирование: ВПнМ/Теормин
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 92 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 669: | Строка 669: | ||
** по трассе можно определить, выполняется ли на ней темпоральная формула, | ** по трассе можно определить, выполняется ли на ней темпоральная формула, | ||
** трассу можно записать в форме: | ** трассу можно записать в форме: | ||
- | ***<math>f^{n_1}, f^ | + | ***<math>f^{n_1}, f^(n_2),f^(n_3), ... </math> -- где значения пропозициональных формул на каждом интервале совпадают. |
* Обозначим E(f) набор всех трасс, отличающихся лишь значениями <math>n_1, n_2, n_3</math> (т.е. длиной интервалов). | * Обозначим E(f) набор всех трасс, отличающихся лишь значениями <math>n_1, n_2, n_3</math> (т.е. длиной интервалов). | ||
** E(f) называется расширением прореживания f. | ** E(f) называется расширением прореживания f. |