Спецкурс Математическая теория программирования 14.09.18, часть 1

Окончание доказательства корректности программы пузырьковой сортировки. Пример фундированного множества - множество пар натуральных чисел с отношением лексикографического порядка, и его применение для доказательства завершаемости программы пузырьковой сортировки. Понятие функциональной программы.

Видео Спецкурс Математическая теория программирования 14.09.18, часть 1 автора Искусство Пучков