Определенность (или детерминированность)

Команды, образующие алгоритм (или, можно сказать, входящие в СКИ), должны быть предельно четкими и однозначными. Их результат не может зависеть от какой-либо дополнительной информации извне алгоритма. Сколько бы раз вы не запускали программу, для одних и тех же исходных данных всегда будет получаться один и тот же результат.

Результативность

Результат выполнения алгоритма должен быть обязательно получен, т.е. правильный алгоритм не может обрываться безрезультатно из-за какого-либо непреодолимого препятствия в ходе выполнения. Кроме того, любой алгоритм должен завершиться за конечное число шагов.

Корректность

Любой алгоритм создан для решения той или иной задачи, поэтому нам необходима уверенность, что это решение будет правильным для любых допустимых исходных данных. Указанное свойство алгоритма принято называть его корректностью

Массовость

Алгоритм имеет смысл разрабатывать только в том случае, когда он будет применяться многократно для различных наборов исходных данных.

Логические операции. Операции отношения

Операции отношения: <, >, <=, >=, <>, =.

Операции отношения осуществляют сравнение двух операндов и определяют истинно или ложно соответствующее отношение между ними.

Логическое сложение

Высказывание, которое может быть ложным или истинным называется логическим. Например: «Сейчас идет дождь». Мы всегда может сказать истинно оно или нет. Значит оно является логическим.

Высказывания могут объединятся и образовывать новые высказывания.

Логическое сложение (дизъюнкция) – это логическая операция, ставящая в соответствие двум простым высказываниям составное, которое ложно тогда и только тогда, когда оба высказывания ложны. Записывается A or B или A \/ B.

Например: A= «Белый платок»

B= «Голубой шарфик»

A\/B= «Белый платок или голубой шарфик»

Значения логической операции можно определить по таблице истинности.

A	B	A or B
True	True	True
True	False	True
False	True	True
False	False	False

Логическое умножение

Высказывания могут объединятся и образовывать новые высказывания.

Логическое умножение (конъюнкция) – это логическая операция, ставящая в соответствие двум простым высказываниям составное, которое истинно тогда и только тогда, когда оба исходных высказывания истинны. Записывается A and B или A & B.

Например: A= «Светит солнце»

B= «Дует легкий ветерок»

A&B=«Светит солнце, и дует легкий ветерок».

Значения логической операции можно определить по таблице истинности.

A	B	A and B
True	True	True
True	False	False
False	True	False
False	False	False

Оператор FOR

Этот оператор называют циклом со счетчиком или циклом с параметром.

На каждом шаге цикла переменная счетчик автоматически изменяет свое значение на единицу.

Оператор повтора For состоит из заголовка и тела цикла.

Заголовок оператора повтора for определяет:

• диапазон изменения значений переменной (счетчика цикла) и одновременно число повторений оператора, содержащегося в теле цикла;

• направление изменения значения счетчика цикла (возрастание — to; убывание — downto).

Тело цикла может быть простым или составным оператором. Оператор for обеспечивает выполнение тела цикла до тех пор, пока не будут перебраны все значения счетчика цикла от начального до конечного.

for... do — заголовок цикла;

операторы; — тело цикла

Запись оператора for

Оператор for можно реализовать двумя способами:

for счетчик:=НачальноеЗначение to КонечноеЗначение do

begin

операторы;

end;

for счетчик :=НачальноеЗначение downto КонечноеЗначение do

begin

операторы;

end;