LecTP09 (Ещё одни вордовские лекции, но подправленные), страница 2
Описание файла
Файл "LecTP09" внутри архива находится в папке "Ещё одни вордовские лекции, но подправленные". Документ из архива "Ещё одни вордовские лекции, но подправленные", который расположен в категории "". Всё это находится в предмете "технология программирования" из 5 семестр, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Онлайн просмотр документа "LecTP09"
Текст 2 страницы из документа "LecTP09"
m:= m+1; p:= pm
ВСЕ ПОКА {p= n!}.
По теореме 9.6 в силу результата шага 7 и имея в виду, что (n>0, p=1, m= 1) p= m!; (p= m!, m= n) p= n!.
(Шаг 9). Имеет место
{n>0, p любое, m любое} p:=1; m:=1;
ПОКА m <> n ДЕЛАТЬ
m:= m+1; p:= pm
ВСЕ ПОКА {p= n!}.
По теореме 9.3 в силу результатов шагов 3 и 8.
(Шаг 10). Имеет место свойство (9.4) по теореме 9.5 в силу результатов шагов 1 и 9.
Упражнения к лекции 9.
9.1. Что такое триада Хоора?
9.2. Что такое свойство программы?
9.3. Пусть заданы описания
const n= <конкретное целое значение>;
var k, m: integer;
x: array[1..n] of integer;
Доказать свойство программы:
{n>0}
m:= x[1]
k:=1;
ПОКА k<n ДЕЛАТЬ
k:= k+1;
ЕСЛИ x[k]<m ТО
m:= x[k]
ВСЕ ЕСЛИ
ВСЕ ПОКА;
{n>0 & m<= x[i] для всех i, 1<=i<= n}
Литература к лекции 9.
9.1. С.А. Абрамов. Элементы программирования. - М.: Наука, 1982. С. 85-94.
9.2. М. Зелковец, А. Шоу, Дж. Гэннон. Принципы разработки программного обеспечения. - М.: Мир, 1982. С. 98-105.