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

м
Улучшен вид формул
м (Исправлены ссылки)
м (Улучшен вид формул)
'''Пример 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...
 
*<math>P (x_{1},\, x_{2},\, \ldots, \,x_{n})</math> — некоторая процедура.
*<math>x_{1} = a_{1},\; x_{2} = a_{2}</math> — известные значения параметров.
*<math>x_{3},\, \ldots,\, x_{n}</math> — неизвестные значения параметров.