Algoritmul verificării izomorfismelor de grupoizi din perspectiva informaticii

Abstract

In this article, we examine some methodological approaches for studying and applying the notions of homotopism and isomorphism to solve problems in computer science. Based on the notions of homotopism, an algorithm for verifying goupoids isomorphisms was developed. In the presentation of the subject, an indisciplinarity approach is used: notions from algebraic fundamentals, algorithms and programming.