Задачата СОРТИРАНЕ.  Приложения на сортирането:

-- Алгоритъмът за двоично търсене в итеративен вариант
   с доказателство за коректност.

-- Други приложения на сортирането без прецизен
   псевдокод и без доказателства за коректност.

Стабилност на сортиращи алгоритми: определение и значение.


-- променено на 19 март --

Сортиращ алгоритъм Insertion Sort: псевдокод и доказателство
за коректност (Лема 23 и Теорема 56).