Page 3 - 4570

УДК 004.383.4:004.4
ББК 32.973-01
Д31

Рецензент: доктор технічних наук, професор, завідувач кафедри
інформатики Тимків Д. Ф.

Рекомендовано методичною радою університету
(протокол № 2 від «_23_» _жовтня_________ 2014_ р.)

Демчина М. М.
Д31 Формальні методи програмної інженерії. Дискретні структури:
конспект лекцій / М. М. Демчина, В. М. Юрчишин, В. І. Шекета.
– Івано-Франківськ: ІФНТУНГ, 2014. – 94 с.

МВ 02070855-10043- 2014

У конспекті лекцій представлено основні відомості з формальних
методів програмної інженерії в формі дискретних структур на основі
освітньо-професійної програми та освітньо-кваліфікаційної

характеристики за напрямом підготовки 6.050103 – «Програмна
інженерія».
Призначено для підготовки бакалаврів за напрямом підготовки
6.050103 – Програмна інженерія». Конспект лекцій може бути

використаний студентами денної та заочної форм навчання.

УДК 004.383.4:004.4
ББК 32.973-01

МВ 02070855-10043-2014

 Демчина М. М., Юрчишин В. М. Шекета В. І.
 ІФНТУНГ, 2014