Методи впорядкувань у комп’ютерних науках та інформаційних технологіях
DOI:
https://doi.org/10.31866/2617-796X.5.1.2022.261288Ключові слова:
впорядкування, комутативна операція, алгебра, алгоритмАнотація
Метою статті є аналіз відомих методів упорядкувань у комп’ютерних науках.
Методи дослідження: методи упорядкованих пар, відношень, нумерація Геделя, система алгоритмічних алгебр Глушкова.
Наукова новизна полягає у створенні методу як опису, так і перетворень упорядкувань.
Висновки. У методах упорядкованих пар, відношень, нумерації Геделя, математичної логіки, машинах Поста і Тюрінга, модифікованої системи алгоритмічних алгебр Глушкова відсутня можливість еквівалентних перетворень упорядкувань, які наявні в алгоритмах.
Посилання
Aho, A.V., Hopcroft, J.E. and Ullman, J.D., 1974. The design and analysis of computer algorithms. Addison-Wesley Publishing Company.
Church, A., 1936. An unsolvable problem of elementary number theory. American Journal of Mathematics, 58, pp.345-363.
Gluschkow, W.M., Zeitlin, G.E. and Justchenko, J.L. 1980. Algebra. Sprachen. Programmierung. Berlin: Akademie-Verlag.
Glushkov, V.M., Tceitlin, G.E. and Iushchenko, E.L., 1989. Algebra. Iazyki. Programmirovanie [Algebra. Languages. Programming]. Kyiv: Naukova dumka.
Gödel numbering. Wikipedia. [online] Avialable at: <https://en.wikipedia.org/wiki/G%C3%B6del_numbering> [Accessed 15 April 2022].
Kleene, S.C., 1981. Origins of recursive function theory. Annals of the History of Computing, 3 (1), pp.52-67.
Kolmogorov, A.N., 1953. O poniatii algoritma [On the concept of an algorithm]. Uspekhi matematicheskikh nauk, 8 (4), pp.175-176.
Krinitckii, N.A., 1988. Algoritmy vokrug nas [Algorithms around us]. Moscow: Mir.
Kryvyi, S.L., 2014. Dyskretna matematyka [Discrete Mathematics]. Chernivtsi: Kyiv: Bukrek.
Kuratovskii, K. and Mostovskii, A., 1970. Teoriia mnozhestv [Theory of sets]. Translation from English M.I. Kratko. Moscow: Mir.
Markov, A.A., 1951. Teoriia algorifmov [Theory of algorithm]. In: Trudy Matematicheskogo instituta im. V.A. Steklova AN SSSR [Proceedings of the Mathematical Institute. V.A. Steklov Academy of Sciences of the USSR], 38, pp.176-189.
Nikitchenko, M.S., 2010. Teoretychni osnovy prohramuvannia [Theoretical bases of programming]. Nizhyn: Vydavnytstvo NDU imeni Mykoly Hoholia.
Ordered pair. Wikipedia. [online] Avialable at: <https://en.wikipedia.org/wiki/Ordered_pair> [Accessed 15 April 2022].
Post, E.L., 1936. Finite Combinatory Processes Formulation 1. Journal of Symbolic Logic, 1, pp.103-105.
Schönhage, A., 1970. Universelle Turing Speicherung. In: J. Dörr and G. Hotz eds. Automatentheorie und Formale Sprachen, Bibliogr. Institut, Mannheim, pp.369-383.
Turing, A.M., 1937. On computable numbers, with an application to the Entscheidungs problem. Proceedings of London Mathematical Society, series 2, 42, pp.230-265.
Vinogradov, I.M. ed., 1985. Matematicheskaia entciklopediia [Mathematical Encyclopedia]. Moscow: Sovetskaia entciklopediia.
##submission.downloads##
Опубліковано
Як цитувати
Номер
Розділ
Ліцензія
Авторське право (c) 2022 Олександр Овсяк, Ігор Оконченко
Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.
Автори зберігають авторські права на статтю та одночасно надають журналу право його першої публікації на умовах ліцензії Creative Commons Attribution License, яка дозволяє іншим особам вільно поширювати опубліковану статтю з обов’язковим посиланням на її авторів та першу публікацію.
Журнал дозволяє авторам зберігати авторські права і права на публікації без обмежень.
Автор опублікованої статті має право поширювати інформацію про неї та розміщувати посилання на роботу в електронному репозитарії установи.
