Ukrainian Journal of Information Technology. – 2021. – Vol. 3, No. 1

Permanent URI for this collectionhttps://ena.lpnu.ua/handle/ntb/57760

Науковий журнал

Видання "Український журнал інформаційних технологій" засновано у 2018 р. за рішенням вченої ради Інституту комп'ютерних наук та інформаційних технологій від 23 квітня 2018 р. Журнал є правонаступником збірника наукових праць "Вісник Національного університету "Львівська політехніка". Серія: Комп'ютерні науки та інформаційні технології", який входить до переліку фахових видань ВАК України, в яких можна друкувати матеріали дисертаційних робіт у галузі технічних наук.

Український журнал інформаційних технологій. – Львів : Видавництво Львівської політехніки, 2021. – Том 3, № 1. – 124 с. : il.

Український журнал інформаційних технологій

Зміст (том 3, № 1)


1
8
15
22
30
37
44
49
56
63
73
78
85
91
99
106
114
120
122

Content (Vol. 3, No 1)


1
8
15
22
30
37
44
49
56
63
73
78
85
91
99
106
114
120
122

Browse

Search Results

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Впорядкування та впорядковування у дискретній математиці та інформатиці
    (Видавництво Львівської політехніки, 2021-10-10) Овсяк, В. К.; Овсяк, О. В.; Петрушка, Ю. В.; Ovsyak, V. K.; Ovsyak, O. V.; Petruszka, J. V.; Українська академія друкарства; Київський національний університет культури і мистецтв; Ukrainian Academy of Printing; National University of Culture and Arts
    Досліджено наявні засоби впорядкувань і впорядковувань у деяких важливих розділах дискретної математики та інформатики, а саме: в теорії множин, класичній математичній логіці, теорії доведень (доказів), теорії графів, методі Поста, системі алгоритмічних алгебр, алгоритмічних мовах об’єктного й асемблерного програмування. Наведено декартів добуток множин, впорядковані пари і впорядковані n-ки, опис засобами теорії множин впорядкованої пари, який виконали Вінер, Хаусдорф і Куратовський. Описано вимоги до відношень, якими впорядковуються множини. Важливість впорядкувань у класичній математичній логіці та теорії доведень проілюстровано прикладами обчислень значень істинності логічних формул і формальним виведенням формули на підставі правил виведення і правил заміни. Впорядкування у теорії графів показано на прикладі блок-схеми алгоритму Евкліда, призначеного для знаходження найбільшого спільного дільника двох натуральних чисел. Описано впорядкування та впорядковування як настанов, утворених двома, трьома і чотирма впорядкованими полями, так і наявне впорядкування настанов у програмі методу Поста. Показано, що програма, утворена пронумерованими настановами, характеризується неповторюваними номерами настанов і наявністю єдиної настанови з номером 1. Проілюстровано засоби системи алгоритмічних алгебр, які застосовують для виконання впорядкувань і впорядковувань у теорії алгоритмів. Наведено операції системи алгоритмічних алгебр, в які входять узагальнені на тризначний алфавіт операції булевої алгебри та операторні операції операторної алгебри. Описано властивості операції композиції, яка призначена для опису впорядкувань операторів операторної алгебри системи алгоритмічних алгебр. Впорядкування, виконувані засобами алгоритмічних мов програмування, проілюстровано на гіпотетичному застосуванні сучасної мови об’єктного програмування C#. Програма має використовувати тільки один метод Main(), з якого починається її виконання. Асемблерна програма мікропроцесора ARM повинна містити тільки одну директиву ENTRY, з якої починається її виконання. Настанови впорядковуються послідовно зверху вниз у вигляді стовпця і записуються в оперативну пам’ять під послідовно впорядкованими адресами. Для виконання переходів застосовуються адреси, записані в настановах переходів. Вектор переривань містить фіксовані адреси комірок пам’яті, в яких записано початкові адреси програм опрацювання переривань.