Тема 3.Поняття про тип даних.

Поняття типової безпеки. Поняття типу.

Класифікація засобів визначення даних у мовах програмування:

1) засоби структурування даних;

2) засоби визначення нового типу;

3) засоби визначення абстрактних типів даних (А.Т.Д.);

4) засоби об’єктно-орієнтованого програмування (ООП).

Покоління мов програмування високого рівня. Встроєні та користувацьки типи даних. Властивості вбудованих типів даних.

Теорія структурної організації даних Хоара.

Питання до студентів:

1. Дайте визначення поняттю “типова безпека”. Що таке контроль типів?

2. Що таке “ слабо типізована мова” і “ сильно типізована мова” ?

3. Що таке “ статично типізована мова” і “ динамічно типізована мова” ?

4. Дайте визначення поняттю “тип даних”. Чому це поняття не є таким точним?

5. Що забезпечують мови програмування з засобами структурування даних? Назвіть недоліки мов програмування даного рівня.

6. Коли з’явились мови програмування з засобами визначення нових типів?Назвіть переваги і недоліки мов програмування даного рівня.

7. Сформулюйте концепцію А.Т.Д. Назвіть переваги і недоліки мов програмування даного рівня.

8. Сформулюйте концепцію ООП. Коли має сенс використовувати засоби цього рівня?

9. Наведіть класифікацію мов програмування високого рівня.

10. Наведіть властивості вбудованих типів даних. Наведіть причини розширення мов програмування користувацькими типами даних.

11. Наведіть приклади мов програмування що відносяться до класу “мова ядро” і “мова оболонка”. Які мови на вашу думку мають переваги і чому?

12. Наведіть основні положення теорії структурної організації даних Хоара.

13. Наведіть основні філософські засади розробки мови програмування ПАСКАЛЬ.

14. Наведіть основні філософські засади розробки мови програмування C.

15. Наведіть основні філософські засади розробки мови програмування C++.

Тема 4. Види та методи абстракції в програмуванні.

Абстракція тадекомпозиція та їх взаємодія у процесі розробки програм.

Поняття декомпозиції.

Поняття абстракції.

Поняття специфікації.

Поняття реалізації.

Методи абстракції: абстракція крізь параметрізацію та абстракція крізь специфікацію.

Види абстракції: процедурна абстракція, абстракція даних та абстракція крізь ітерацію.

Питання до студентів:

1. У чому полягає необхідність процесу декомпозиції при розробці програм?

2. Назвіть основні складові процесу декомпозиції.

3. Чому декомпозицію треба проводити на базі абстракцій?

4. Що таке абстракція? Що дає абстракція математиці, а що - програмуванню?

5. Що таке специфікація? Чому абстракція неможлива без специфікації?

6. Що таке психологічна константа “ 7 +/- 2 “? Як вона впливає на процес розробки програм?

7. Які стосунки існують між абстракцією, специфікацією та реалізацією?

8. Назвіть види та методи абстракції.

9. Що дає абстракція через параметризацію?

10. Що дає абстракція через специфікацію?

11. Назвіть основну мету використання процедурної абстракції.

12. Назвіть основну мету використання абстракції даних.

13. Назвіть основну мету використання абстракції через ітерацію.

Змістовий модуль ІI. Теорія А.Т.Д.