Редактирование: ВПнМ, примеры задач/Задача 5
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 500: | Строка 500: | ||
может быть избыточно, но должно быть правильно | может быть избыточно, но должно быть правильно | ||
[]((p_iter_begin & !p_iter_end & <>p_iter_end)->([]p_lock U p_iter_end)) | []((p_iter_begin & !p_iter_end & <>p_iter_end)->([]p_lock U p_iter_end)) | ||
- | |||
- | Авварон: | ||
- | #define A (p@iter_begin) | ||
- | #define B ((p@iter_end) | ||
- | #define C (p@lock) | ||
- | простая: [](A -> (C U B)) | ||
- | сложная: []( (A & !B & <>B) -> (C U B) ) | ||
{{Курс ВПнМ}} | {{Курс ВПнМ}} |