TY  CONF
TI  ЭКВИВАЛЕНТ В МАТЕМАТИКЕ И ИНФОРМАТИКЕ
KW  эквивалентность
KW  логика
KW  алгоритмы
KW  программирование
KW  теории множеств
JO  ПРОБЛЕМНЫЕ ВОПРОСЫ МОДЕЛИРОВАНИЯ СИСТЕМ И ПРОЦЕССОВ
AU  Поярков, И.А.
AU  Ильин, Е.С.
PY  2025
PB  Воронежский государственный лесотехнический университет имени Г.Ф. Морозова