Дніпропетровський національний університет

(назва вищого навчального закладу)

Спеціальність	Програмне забезпечення АС			Семестр	II
Навчальний предмет		Алгоритми та структури та даних

Екзаменаційний білет № 25

72. Процедурная абстракция. Спецификация процедурных абстракций. Взаимоотношения между различными частями спецификации (Заголовок, предложения Requires, Modifies, Signals и Effects).

73. Анализ создаваемых абстракций данных. Классы операций. Полнота типа.

74. Задача.

Затверджено на засіданні кафедри

математичного забезпечення ЕОМ

протокол №

9

від 

8



квітня

2013р.

Зав. кафедрою

Бай буз О.Г.

Екзаменатор

Єфімов В.М.

(підпис)

(прізвище, ініціали)

(підпис)

(прізвище, ініціали)