- •Дніпропетровський національний університет
- •Екзаменаційний білет № 1
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 2
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 3
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 4
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 5
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 6
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 7
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 8
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 9
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 10
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 11
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 12
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 13
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 14
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 15
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 16
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 17
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 18
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 19
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 20
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 21
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 22
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 23
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 24
- •Дніпропетровський національний університет
- •Екзаменаційний білет № 25
Дніпропетровський національний університет
(назва вищого навчального закладу)
|
Спеціальність |
Програмне забезпечення АС |
|
Семестр |
II | |
|
Навчальний предмет |
Алгоритми та структури та даних | ||||
Екзаменаційний білет № 9
Абстракция и
декомпозиция. Их взаимодействие при
пректировании программ.
Логические
спецификации. Введение в верификацию
программ.
Задача.
|
Затверджено на засіданні кафедри |
математичного забезпечення ЕОМ | |||||||||||||
|
|
протокол № |
9 |
від |
8 |
|
квітня |
2013р. |
| ||||||
|
Зав. кафедрою |
|
Бай буз О.Г. |
|
Екзаменатор |
|
Єфімов В.М. |
| |||||||
|
|
(підпис) |
(прізвище, ініціали) |
|
|
(підпис) |
(прізвище, ініціали) |
| |||||||
Дніпропетровський національний університет
(назва вищого навчального закладу)
|
Спеціальність |
Програмне забезпечення АС |
|
Семестр |
II | |
|
Навчальний предмет |
Алгоритми та структури та даних | ||||
Екзаменаційний білет № 10
Абстракция. Виды
и методы абстракции в программировании.
Процедурная
абстракция. Спецификация процедурных
абстракций. Взаимоотношения между
различными частями спецификации
(Заголовок, предложения Requires, Modifies,
Signals и Effects).
Задача.
|
Затверджено на засіданні кафедри |
математичного забезпечення ЕОМ | |||||||||||||
|
|
протокол № |
9 |
від |
8 |
|
квітня |
2013р. |
| ||||||
|
Зав. кафедрою |
|
Бай буз О.Г. |
|
Екзаменатор |
|
Єфімов В.М. |
| |||||||
|
|
(підпис) |
(прізвище, ініціали) |
|
|
(підпис) |
(прізвище, ініціали) |
| |||||||
Дніпропетровський національний університет
(назва вищого навчального закладу)
|
Спеціальність |
Програмне забезпечення АС |
|
Семестр |
II | |
|
Навчальний предмет |
Алгоритми та структури та даних | ||||
Екзаменаційний білет № 11
Спецификации.
Построение спецификаций: критерии,
свойства, характеристики спецификаций,
влияющие на их качество.
Реализация
абстракций данных. Функция абстракции.
Операции Up и Down.
Задача.
|
Затверджено на засіданні кафедри |
математичного забезпечення ЕОМ | |||||||||||||
|
|
протокол № |
9 |
від |
8 |
|
квітня |
2013р. |
| ||||||
|
Зав. кафедрою |
|
Бай буз О.Г. |
|
Екзаменатор |
|
Єфімов В.М. |
| |||||||
|
|
(підпис) |
(прізвище, ініціали) |
|
|
(підпис) |
(прізвище, ініціали) |
| |||||||
Дніпропетровський національний університет
(назва вищого навчального закладу)
|
Спеціальність |
Програмне забезпечення АС |
|
Семестр |
II | |
|
Навчальний предмет |
Алгоритми та структури та даних | ||||
Екзаменаційний білет № 12
Процедурная
абстракция. Спецификация и реализация
процедурных абстракций.
Реализация
итераторов в языке CLU.
Задача.
|
Затверджено на засіданні кафедри |
математичного забезпечення ЕОМ | |||||||||||||
|
|
протокол № |
9 |
від |
8 |
|
квітня |
2013р. |
| ||||||
|
Зав. кафедрою |
|
Бай буз О.Г. |
|
Екзаменатор |
|
Єфімов В.М. |
| |||||||
|
|
(підпис) |
(прізвище, ініціали) |
|
|
(підпис) |
(прізвище, ініціали) |
| |||||||