Основы функционального программирования/Вводная лекция: различия между версиями
Содержимое удалено Содержимое добавлено
м Исправлены ссылки |
м Улучшен вид формул |
||
Строка 82:
'''Пример 2. Быстрая сортировка Хоара на абстрактном функциональном языке'''
<math>\operatorname{quickSort} ([\,]) = [\,]</math>
<math>\operatorname{quickSort} ([x:xs]) = \operatorname{quickSort} ([y \mid y \in xs,\, y \leq x]) + [x] + \operatorname{quickSort} ([y \mid y \in xs,\, y > x])</math>
<!-- Парсер MATH ругается на эту правильную формулу TeX...
Строка 170:
*<math>P (x_{1},\, x_{2},\, \ldots, \,x_{n})</math> — некоторая процедура.
*<math>x_{1} = a_{1},\
*<math>x_{3},\, \ldots,\, x_{n}</math> — неизвестные значения параметров.
|