Запитання та завдання для самостійної роботи

Укажіть приблизне розподілення відсотків (часу) за фазами.

Чи згодні ви з тим, що в специфікації задачі вказується, що і як повинна робити програма, а супроводження – це усунення помилок та проведення доробок на прохання користувача? Чому?

Що таке характеристична властивість задачі? Наведіть приклади.

Що таке функціональна структура задачі? Наведіть приклади.

У чому поллягає аналіз та синтез програми? Наведіть приклади.

Відомо, що в наш час розповсюджені, в основному, дві форми організації колективу програмістів: функціональна та метод головного програміста. Якій із них ви віддасте перевагу? Чому?

Чи є необхідність створення модулів, які не є замкненою програмною одиницею, у яку запаковані дані та (чи) функції, які є доступними поза модулем тільки при умові явного запиту на обслуговування? Чому?

Чи є закономірним укрупнення одиниць модульності, яке призводить до концепції пакетів програм – від бібліотек стандартних модулів до систем автоматизованого синтезу програм із готових програм? Чому?

Які переваги та недоліки має спадаюча стратегія програмування?

Напишіть програму обчислення Н3К, скориставшись її семантичною структурою.

Відомо, ЩО в математико-семантичному плані будь-яка програма – це функція, що відображує одні сукупності станів комірок у, взагалі кажучи, інші сукупності станів. Дайте визначення редукції цієї функції. Чи є редукція єдиною?

Чому є можливість механічно написати потрібну програму, відшукавши відповідну редукцію? Чи є справедливим твердження: "Метод редукцій – це апарат, який підвищує рівень правдоподібності програм"? Чому?

Чому можна сказати, що функція, яка задає семантику програми, є інваріантною відносно її редукції?

Обґрунтуйте твердження: "Не слід вважати, що коректна організація циклів завжди здійснюється за допомогою редукції".

Що таке конструктивність (ефективність) даних? Наведіть приклади.

Дайте строге та змістовне визначення пам'яті.

Як ви розумієте фразу; "Керівні структури є виключно важливими хоча б тому, що, по суті, являють собою методи побудови одних програм з інших програм"?

Дайте коректне визначення керівної структури типу розгалуження.

Дайте коректне визначення керівної структури типу циклування.

Дані цілі невід'ємні числа т та n, які не перевищують 999. Напишіть коректну програму знаходження усіх їх загальних дільників.

Дані натуральні числа т та п, які не перевищують 99. Напишіть коректну програму знаходження усіх їх натуральних загальних кратних, які менше т·п.

Напишіть коректну програму знаходження передостанньої цифри натурального числа т (1 < т< 9999).

Напишіть коректну програму, що з'ясовує, чи містить натуральне число т (т < 9999) тільки дві однакові цифри.

Дані парні натуральні числа т та п (т,п < 10000). Напишіть коректну програму знаходження їх суми, якщо як базові операції обрані операції додавання та віднімання 2.

Дані парні натуральні числа т та n (т, n < 10000). Напишіть коректну програму знаходження їх різниці, якщо як базові операціЇ обрані операції додавання та віднімання 2.

Дані натуральні числа т та n (т,n < 9999). Напишіть коректну програму знаходження їх добутку. Які операції використані як базові?

Дані натуральні числа т та 11 (т, n < 9999). Напишіть коректну програму знаходження їх частки. Які операції використані як базові?

Дано натуральне число т (т < 99). Напишіть коректну програму знаходження його двійкового представлення.

Дано натуральне число т (т < 99). Напишіть коректну програму знаходження його трійкового представлення.

Дано натуральне число т (т < 999). Напишіть коректну програму знаходження його шістнадцятирічного представлення.

Чому програми з оракулами являють собою широкі узагальнення найважливішого програмістського апарату – апарату процедур?

Поясніть на прикладі твердження: "Відшукавши h­редукцію, можна автоматично побудувати програму".

Чи згодні ви з тим, що цикли – це похідні редукцій? Чому?

Визначте коректну процедуру (функцію), яка значенням логічних змінних х та у ставить у відповідність Їх диз 'юнкцію. 4.22. Визначте процедуру (функцію), яка значенню логічної змінної х ставить у відповідність її заперечення.

Визначте коректну процедуру, яка комплексним числам Z1 та Z2 ставить у відповідність їх добуток

Визначте коректну процедуру, яка комплексним числам Z1 та Z2 ставить у відповідність Їх суму.

Визначте коректну процедуру, яка комплексним числам Z1 та Z2 ставить у відповідність їх частку.

Список літератури

1. Андерсон Р. Доказательство правильности програм. - М., 1982. - 168 с.

2. Вирт Н. Систематическое программирование. Введение. - М., 1977.-183c.

3. Дейкстра З. Заметки по структурному программированию // Дал У., Дейкстра З., Хоор К. Структурное программирование. - М., 1975. -с. 7-9.

4. Э. Дейкстра Дисциплина программирования//М.:Мир.-1979.-350 с.

5. Манакова Е.И. Композиционная технология программирования задач численного анализа // Тез. V Всесоюз. шк. - семинара "Методы параллельных вычислений и их сложность". - Киев, 1982. - Ч.3. - С. 32-34.

6. Манакова Е.И. О функционаных структурах программ // Модели и системыІ обработки информации. - 1984. - ВЬІП. 3. - С. 33-38.

7. Редько В.Н.Композиции программ и композиционное программирование // Программирование, 1978. - N~ 5. - С. 3-24.

8. Редько В.Н. Основания композиционного программирования // Программирование, 1979. - K~ 3. - С. 3-13.

9. Редько И.В., Гришко Н.В. Экспликативное программирование в среде интеграции // Труды Международной научно-практической конференции по программированию. - Киев: 1998. - С. 191-196.

10. Редько В.Н., Гришко Н.В .. Редько И.В. Экспликативное программирование в среде логико-математических спецификаций // Труды Международной научно-практической конференции по программированию. - Киев: 1998. - С. 71-76.

11. Редько И.В. Процесологічні середовища моделювання // Проблемы программирования.-2003.-№1.-С.37 – 48

12. Редько И.В. Экспликативное моделирование в среде интеграции// Вестник Международного Соломонова университета. – 2000. – №  1. – С. 43-48.

13. Редько И.В. Экспликативный базис интеграционных сред // Пробл. программирования. — 2004. — №2. – С. 59-65.

14. Редько И. В. Экспликативное моделирование: интеграционные аспекты // Проблемы программирования. – 2000. – № 2. – С. 280-285.

15. Редько И.В. Загальна експлікація поняття дескриптивного процесу // Наукові вісті НТУУ «КПІ».–2003.–№3.–С.34-41

16. Редько И.В. Дескриптологическая среда моделирования предметных областей // Пробл. программирования. — 2002. — N 1. — С. 44-50.