|
Овсяк, В. К. Впорядкування та впорядковування у дискретній математиці та інформатиці [Текст] / В. К. Овсяк, О. В. Овсяк, Ю. В. Петрушка // Ukrainian Journal of Information Technology. – 2021. – Vol. 3, № 1. – С. 37-43.
Досліджено наявні засоби впорядкувань й впорядковувань в деяких важливих розділах дискретної математики та інформатики, а саме: в теорії множин, класичній математичній логіці, теорії доведень (доказів), теорії графів, методі Поста, системі алгоритмічних алгебр, алгоритмічних мовах об'єктного і асемблерного програмування. Наведено декартів добуток множин, впорядковані пари і впорядковані n-ки, опис засобами теорії множин впорядкованої пари, які виконані Вінером, Хаусдорфом і Куратовським. Описано вимоги до відношень, якими впорядковуються множини. |