Редактирование: МФСП, 04 семинар (от 22 сентября)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 165: | Строка 165: | ||
является упорядоченным? | является упорядоченным? | ||
value isStore: Int-list &right; bool | value isStore: Int-list &right; bool | ||
- | isStore(l)= ∀ i:int & | + | isStore(l)= ∀ i:int &circle; i >= 1; ∧ i < len(l) => l(i+1) > l(i) |
==== длина списка ==== | ==== длина списка ==== |