У стислій формі викладено математичні засади синтезу систем автоматизації наукових досліджень: вступ до теорії булевих функцій, теорії графів, синтезу скінченних автоматів та традиційні теорії алгоритмів. Розглянуто основоположні питання створення програмного забезпечення систем автоматизації, такі як аналіз мовних засобів, технологій програмування, операційних середовищ та концепцію відкритих систем. Наведено опис системи автоматизації досліджень алгоритмів протоколів маршрутизації в internet.
Призначено для студентів та аспірантів природничих спеціальностей університетів та технічних закладів вищої освіти, що спеціалізуються у галузі автоматизації наукових досліджень. Може бути використаний науковцями та підготовленими користувачами, які прагнуть поглибити свої знання в цій галузі.
