Navigation bar
  Print document Start Previous page
 138 of 179 
Next page End  

138
р1' = p(L(l)) = х(1)', 
p2'= р(L (2)) = х(2)'и т. д.
В силу упорядоченности значений х(1)', х(2)', ..., x(N)' получаем, что значения выходной
последовательности будут также упорядочены:
p1'
  р2'
  …
p
N
'
Что и требовалось доказать.
Следовательно, весь комплекс алгоритмов и подпрограмм полностью соответствует поставленной
задаче и гарантирует получение правильных результатов, при любых допустимых исходных данных.
Проверка на ЭВМ программы сортировки товаров, составленной таким систематическим образом,
при указанных исходных данных дает следующие результаты:
товары:
яблоки, 500, 200 
огурцы, 400, 250 
арбузы, 200, 600 
персики, 800, 100
остатки:
яблоки, 2500, 100 
огурцы, 2000, 150 
арбузы, 1200, 200 
персики, 2000, 0
выручка = 880000
сортировка:
персики, 2000, 0 
яблоки, 2500, 100 
огурцы, 2000, 150 
арбузы, 1200, 200
Таким образом, выполнение программы подтверждает правильность составленного комплекса
алгоритмов. Полное и исчерпывающее обоснование их правильности приведено выше.
Вопросы
1. Что такое сложные алгоритмы и программы?
2. Что такое упорядоченная последовательность?
3. Что такое упорядочение методом «пузырька»?
4. Как доказывается правильность сложных программ?
5. Что такое разработка программ «сверху-вниз»?
Задания
1. Составьте алгоритм и программу обработки данных о товарах и постройте обоснование их правильности
для следующих задач:
а) подсчет планируемых доходов от продажи товаров;
б) подсчет начальной суммы вложений реализации товаров;
в) подсчет планируемой прибыли от продажи товаров;
г) подсчет текущей задолженности.
2. Составьте алгоритм и программу сортировки данных о товарах и постройте обоснование их правильности
для следующих задач:
а) сортировка данных по начальному количеству;
б) сортировка данных по остаточному количеству;
в) сортировка данных по начальной стоимости;
г) сортировка данных по продажной цене.
Сайт создан в системе uCoz