Russian Federation
Russian Federation
Equivalence in the context of information technology is an important concept that underlies many aspects of software development and theoretical computer science. This paper explores the concept of equivalence, its types, and its application in the IT field. Equivalence of software solutions, algorithms, and logical expressions ensures the correct functioning of programs, optimizes their performance, and reduces the likelihood of errors. The article discusses approaches to verifying code equivalence, logical equivalence of expressions, and methods for optimizing equivalent solutions. The advantages of using equivalence in programming, such as improving the reliability and efficiency of programs, are analyzed, as well as the challenges associated with verifying full equivalence and optimizing algorithms. The paper emphasizes the importance of equivalence in modern software development systems and its role in improving software quality.
equivalence, logic, algorithms, programming, set theory
1. Kas'yanov, V. V. Teoriya algoritmov i vychislimosti : uchebnoe posobie / V. V. Kas'yanov ; Moskovskiy gosudarstvennyy universitet. – Moskva: MGU, 2011. – 320 s.
2. Grinchenko, S. N. Formal'nye metody programmirovaniya: uchebnoe posobie / S. N. Grinchenko, S. A. Puzyrev; Sankt-Peterburgskiy politehnicheskiy universitet. – Sankt-Peterburg: SPbGPU, 2006. – 250 s.
3. Levin, I. B. Algoritmy i struktury dannyh: uchebnoe posobie / I. B. Levin, E. A. Livshic; Moskovskiy gosudarstvennyy universitet. – Moskva: MGU, 2010. – 340 s.
4. Gavrilov, G. P. Metody optimizacii programm: monografiya / G. P. Gavrilov, Yu. I. Rozenblyum; Moskovskiy institut elektroniki i matematiki. – Moskva: Radio i svyaz', 1987. – 210 s.
5. Il'in, I. V. Programmirovanie: sintaksis i semantika yazykov: uchebnoe posobie / I. V. Il'in; Moskovskiy gosudarstvennyy tehnicheskiy universitet. – Moskva: Binom, 2009. – 312 s.
6. Mischenko, S. G. Formal'nye yazyki i grammatiki v programmirovanii / S. G. Mischenko, A. N. Shevcov; Moskovskiy gosudarstvennyy tehnicheskiy universitet. –Moskva:MGTU im. N. E. Baumana, 2012. – 230 s.
7. Skrypnikov A.V., Stukalo O.G., Denisenko V.V., Bakaev D.N., Minakova A.A., Butenko A.O. Modelirovanie riskov realizacii proektov razvitiya predpriyatiy myasopererabatyvayuschey promyshlennosti // Modelirovanie sistem i processov. – 2022. – T. 15, № 3. – S. 77-83. DOI: https://doi.org/10.12737/2219-0767-2022-15-3-77-83; EDN: https://elibrary.ru/TKMZZG
