Викиучебник

Основы функционального программирования/Структуры данных и базисные операции: различия между версиями

Интерактивная навигация по истории
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
→‎Введение: <tt> -> <math>
Строка 34:
Главное свойство списка: <math>x \in List(A) \and x \neq [] \Rightarrow head(x) \in A, tail(x) \in List(A)</math>.
 
Для обозначения списка из <math>n</math> элементов можно употреблять множество различных нотаций, однако здесь будет использоваться только такая: <math>>[a_{1}, a_{2}, \ldots, a_{n}]</math>. Применяя к такому списку определённым образом операции <math>head</math> и <math>tail</math> можно добраться до любого элемента списка, т.&nbsp;к.:
 
<math>head([a_{1}, a_{2}, \ldots, a_{n}]) = a_{1}</math>
Источник — https://ru.wikibooks.org/wiki/Основы_функционального_программирования/Структуры_данных_и_базисные_операции