Основы функционального программирования/Структуры данных и базисные операции: различия между версиями
Содержимое удалено Содержимое добавлено
м Отформатированы формулы |
|||
Строка 41:
<math>\operatorname{tail}\Big([a_1,\; a_2,\; \ldots,\; a_n]\Big) = [a_2, \;\ldots,\; a_n]</math> (при <math>n > 0</math>).
Кроме списков вводится ещё один тип данных, который носит название «списочная структура над <math>A</math>» (обозначение — <math>\operatorname{ListStr}(A)</math>), при этом можно построить
Определение:
| |||