|
|
Андон П.І., Дорошенко А.Ю., Жереб К.А., Яценко О.А.
Інститут програмних систем НАН України. — Київ : Академперіодика, 2018. — 192 с.
ISBN 978-966-360-367-4
Важливою проблемою сучасного програмування є його математизація, розробка формалізованих мов проектування алгоритмів і програм, а також їх абстрактних моделей. Засоби проектування, аналізу й реалізації алгоритмів є особливо актуальними у зв’язку з сучасними процесами комп’ютеризації й автоматизації діяльності суспільства. Такі засоби розробляють у рамках алгоритміки та алгебраїчного програмування — напрямів української алгебро-кібернетичної школи, що беруть свій початок від фундаментальних робіт академіка В.М. Глушкова. У книзі запропоновані нові моделі, методи та інструментальні засоби для побудови послідовних та паралельних програм, що ґрунтуються на алгоритміці та парадигмі переписування термів. Вивчено проблему розробки ефективних програм для мультипроцесорних архітектур на основі використання інструментів автоматизованого проектування алгоритмів та синтезу програм. Розглянуто результати застосування створених інструментальних засобів для розробки програм у різноманітних предметних областях.
Книга буде корисною для широкого кола фахівців, аспірантів та студентів, що займаються проблемами автоматизації проектування і програмування паралельних обчислень.
|
