TY CONF TI EQUIVALENT IN MATHEMATICS AND COMPUTER SCIENCE KW equivalence KW logic KW algorithms KW programming KW set theory JO CHALLENGING ISSUES IN SYSTEMS MODELING AND PROCESSES AU Poyarkov, I.A. AU Ilyin, E.S. PY 2025 PB FSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov