(Дніпропетровський національний університет залізничного транспорту ім. акад. В. Лазаряна, Дніпропетровськ, 2016) Скалозуб, Владислав Васильович; Ільман, Валерій Михайлович; Івченко, Юрій Миколайович; Андрющенко, Вадим Олександрович
UKR: Викладено основні положення комп’ютерної математики, формальних конструктивних граматичних і алгоритмічних структур, методи оцінки характеристик алгоритмів,
прикладні питання трансляторів, теорії графів, мереж Петрі, що призначені для розвитку навичок структуризації предметних областей програмування, створення конструктивних об’єктів та їх застосування при моделюванні завдань програмної інженерії. Для студентів, викладачів і фахівців у галузі інформатики та програмної інженерії.