Ukrainian
Summary:Важливою проблемою сучасного програмування є його математизація, розробка формалізованих мов проектування алгоритмів і програм, а також їх абстрактних моделей. Засоби проектування, аналізу й реалізації алгоритмів є особливо актуальними у зв’язку з сучасними процесами комп’ютеризації й автоматизації діяльності суспільства. Такі засоби розробляють у рамках алгоритміки та[⇒] алгебраїчного програмування — напрямів української алгебро-кібернетичної школи, що беруть свій початок від фундаментальних робіт академіка В.М. Глушкова. У книзі запропоновані нові моделі, методи та інструментальні засоби для побудови послідовних та паралельних програм, що грунтуються на алгоритміці та парадигмі переписування термів. Вивчено проблему розробки ефективних програм для мультипроцесорних архітектур на основі використання інструментів автоматизованого проектування алгоритмів та синтезу програм.Важливою проблемою сучасного програмування є його математизація, розробка формалізованих мов проектування алгоритмів і програм, а також їх абстрактних моделей. Засоби проектування, аналізу й реалізації алгоритмів є особливо актуальними у зв’язку з сучасними процесами комп’ютеризації й автоматизації діяльності суспільства. Такі засоби розробляють у рамках алгоритміки та алгебраїчного програмування — напрямів української алгебро-кібернетичної школи, що беруть свій початок від фундаментальних робіт академіка В.М. Глушкова. У книзі запропоновані нові моделі, методи та інструментальні засоби для побудови послідовних та паралельних програм, що грунтуються на алгоритміці та парадигмі переписування термів. Вивчено проблему розробки ефективних програм для мультипроцесорних архітектур на основі використання інструментів автоматизованого проектування алгоритмів та синтезу програм. Розглянуто результати застосування створених інструментальних засобів для розробки програм у різноманітних предметних областях. Reading audience:Книга буде корисною для широкого кола фахівців, аспірантів та студентів, що займаються проблемами автоматизації проектування і програмування паралельних обчислень.