Современные технологии в теории и практике программирования