Введение
Введение
Теоретическое программирование – математическая дисциплина, изучающая синтаксические и семантические свойства программ, их структуру, процесс их составления, преобразования и выполнения.
Программирование - как искусство - материализация того, чего не было.
Программирование - как ремесло - технология.
Программирование - как наука – показывает, как можно достичь множества целей, применяя строго определенные правила построения к основным конструктивным элементам.
Вводный пример: Деление x/y
Рекомендуемые материалы
r:=x; q:=0;
While r>y do
Begin
r:=r-y;
q:=q+1;
End;
В r хранится остаток, а в q – частное
Проверим: Write(‘y*q+r=’,y*q+r)
Программа стала выдавать много ошибочных сообщений.
Добавим условие:
Если не выполняется {x=y*q+r} , то выходим из программы.
В результате оказалось, что может быть у=0.
Перед r:=x будем писать {y>0} чтобы программа работала только с положительными числами.
В результате оказалось, что данный пример срабатывает следующим образом: x=6, y=3, q=1, r=3.
Перепишем программу так, что r должно быть явно меньше делителя.
{0£x and 0£y}
r:=x; q:=0;
Обратите внимание на лекцию "Содержание".
while r³q do
begin
r:=r-y;
q:=q+1;
end;
{x=y*q+r and 0£r<q}