Давыдовский Михаил Альбинович SPE-классификация программ Программа может рассматриваться как модель некоторой другой модели определенной части реального. - презентация

1 Давыдовский Михаил Альбинович SPE-классификация программ Программа может рассматриваться как модель некоторой другой модели определенной части реального мира.

2 Классы программ S-программы. Specification programs. P-программы. Programs for real world Problem decision E-программы. Extrapolation programs.

3 S-программы Программы, функция которых формально определяется спецификацией программ Спецификация – это определение того, что должна делать программа, ее входных и выходных параметров. Примеры. Нахождение корней квадратного уравнения Классическая задача коммивояжера (торгового агента, развозящего товары по складам)

4 Разработка S-программы

5 P-программы Программы, решающие задачи реального мира. Примеры. Программа для игры в шахматы Прогноз погоды Задача коммивояжера, в которой надо учитывать графики работы складов, расписание движения транспорт При решении этих задач необходимо пользоваться некоторыми приближенными данными. Само решение получается также неточным.

6 Разработка P-программы

7 E-программы Программы, автоматизирующие деятельность человека. Эти программы являются частью реального мира. Примеры. Операционная система Система управления самолетом Система управления запасами товаров на складе

8 Разработка E-программы