ВПОРЯДКУВАННЯ ТА ВПОРЯДКОВУВАННЯ В ДИСКРЕТНІЙ МАТЕМАТИЦІ ТА ІНФОРМАТИЦІ

Досліджено наявні засоби впорядкувань й впорядковувань в деяких важливих розділах дискретної математики та інформатики, а саме: в теорії множин, класичній математичній логіці, теорії доведень (доказів), теорії графів, методі Поста, системі алгоритмічних алгебр, алгоритмічних мовах об'єктного і асемблерного програмування. Наведено де­кар­тів добуток множин, впорядковані пари і впорядковані n-ки, опис засобами теорії множин впорядкованої пари, які виконані Вінером, Хаусдорфом і Куратовським. Описано вимоги до відношень, якими впорядковуються множини. Важливість впорядкувань в класичній математичній логіці і теорії доведень проілюстровано прикладами обчислень значень істинності логічних формул і формальним виводом формули на підставі правил виводу і правил заміни. Впорядкування в теорії графів показано на прикладі блок-схеми алгоритму Евкліда, призначеного для знаходження найбільшого спільного дільника двох натуральних чисел. Описано впорядкування та впорядковування як настанов, утворених двома, трьома і чотирма впорядкованими полями так і наявне впорядкування настанов в програмі метода Поста. Показано, що програма, утворена пронумерованими настановами, з неповторюваними номерами настанов і наявністю єдиної настанови з номером 1.

Проілюстровано засоби системи алгоритмічних алгебр, які застосовуються для виконання впорядкувань й впо­ряд­ковувань в теорії алгоритмів. Наведено операції системи алгоритмічних алгебр, які включають узагальнені на трьохзначний алфавіт операції Булевої алгебри та операторні операції операторної алгебри. Описано властивості операції композиції, яка призначена для опису впорядкувань операторів операторної алгебри системи алгоритмічних алгебр. Впорядкування виконувані засобами алгоритмічних мов програмування проілюстровано на гіпотетичному застосуванні сучасної мови об'єктного програмування C#. Програма має містити тільки один метод Main(), з якого починається виконання програми. Асемблерна програма мікропроцесора ARM має мати тільки одну директиву ENTRY, з якої починається виконання програми. Настанови впорядковуються послідовно зверху вниз у вигляді стовпця і записуються в оперативну пам'ять під послідовно впорядкованими адресами. Для виконання переходів застосовуються адреси, записані в настановах переходів. Вектор переривань містить фіксовані адреси комірок пам'яті, в яких записані початкові адреси програм опрацювання переривань.