Редактирование: МФСП, 04 семинар (от 22 сентября)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 41: | Строка 41: | ||
Head: Первый элемент | Head: Первый элемент | ||
- | hd: T^ω | + | hd: T^ω стрелочка с волной T |
hd<> = chaos | hd<> = chaos | ||
Tail: Хвост | Tail: Хвост | ||
- | tl: T^ω | + | tl: T^ω стрелочка с волной T^ω |
tl<> = chaos | tl<> = chaos | ||
Len: длина списка | Len: длина списка | ||
- | len:T^ω | + | len:T^ω стрелочка с волной Nat |
len<n|n • is_prime> ≡ chaos | len<n|n • is_prime> ≡ chaos | ||
===elems: Элементы=== | ===elems: Элементы=== | ||
- | elems: T^ω | + | elems: T^ω стрелочка с волной T-infset |
Возвращает множество элементов списка | Возвращает множество элементов списка | ||
===inds: Индексы=== | ===inds: Индексы=== | ||
- | inds: T^ω | + | inds: T^ω стрелочка с волной Nat-infset |
inds FL={1..len FL} | inds FL={1..len FL} | ||