Правило вывода для условного оператора if В then А 1 else А 2 {P B} A1 {Q}, {P } А 2 {Q} |-{P} if B then A1 else A2 {Q} (6) Задача Докажем истинность {t}

Презентация:



Advertisements
Похожие презентации
А ЛГОРИТМИЧЕСКАЯ СТРУКТУРА « ВЕТВЛЕНИЕ » 9 класс.
Advertisements

АЛГОРИТМ ВЕТВЛЕНИЯ ОПЕРАТОР ВЕТВЛЕНИЯ. Какая задача решается по этой программе? Program Z1: Var a,b,c: integer; Begin Write ( vv a,b:); Read (a,b); C:=(a+b)*(b-a);
ветвление цикл
Перевод в ПОЛИЗ выражений Общепринятая запись: a*(b+c)-(d-e)/f ПОЛИЗ : abc+*de-f/- Перевод в ПОЛИЗ операторов Оператор присваивания I:=E ПОЛИЗ: IE:= Пример.
как подготовить информацию к обработке на компьютере как воспользоваться компьютером для обработки информации.
Создание программ разветвляющейся структуры. Условный оператор Условный оператор реализует алгоритмическую конструкцию "развилка" (ветвление) и изменяет.
1 Программирование на языке Паскаль Ветвления. 2 Разветвляющиеся алгоритмы Задача. Ввести два целых числа и вывести на экран наибольшее из них. Идея решения:
Ветвления Ветвления с одним действием If условие then действие 1 If условие then действие 1 Else действие 2; Else действие 2;Или If условие then действие.
Операторы. Оператор выбора Оператор выбора Оператор выбора Оператор выбора Оператор присваивания Оператор присваивания Оператор присваивания Оператор присваивания.
PASCAL Условный оператор.. Этот оператор используется для выполнения одного из двух возможных вариантов программы. Условный оператор если логическое_условие.
Ветвление и условный оператор Паскаль-3. Ветвление – это такой вычислительный процесс При котором выбирается одно из нескольких заранее предусмотренных.
Оператор ветвления. Для реализации ветвления в программе используют условный оператор (оператор ветвления). Условный оператор в полной форме записывается.
Виды алгоритмических структур: –блок-схема. –линейный алгоритм. –алгоритмическая структура «ветвление». –алгоритмическая структура «выбор». –алгоритмическая.
Алгоритмы с ветвящейся структурой. Программирование ветвлений на QBasic. Программное управление работой компьютера Епифанова Т.Н. / 2010 CLS INPUT A,B,C.
Актуализация знаний Что будет результатом выполнения процедуры task() при a = 1, 5, 10? a = 1 a = 5 a = 10 c = 1/5 = 0.2 c = 5/5 = 1 c = 10/5 = 2.
1 Программирование на языке Паскаль © К.Ю. Поляков, ВведениеВведение 2.ВетвленияВетвления 3.Сложные условияСложные условия 4.ЦиклыЦиклы 5.Циклы.
Основные типы алгоритмических структур. Линейный алгоритм ( следование ) Алгоритм, в котором команды выполняются последовательно одна за другой, называется.
Алгоритмические структуры 1.Линейный 2.Ветвление 3.Цикл.
Ветвление Байрамова Фарах 9 в. Вопросы Что такое ветвление? Что называется оператором условия и в каких случаях его используют? Пример ветвления из жизни.
Алгоритм ветвления на PasclABC. 1. Определение разветвленного алгоритма Это алгоритм в котором в зависимости от некоторого условия выбирается путь следования.
Транксрипт:

Правило вывода для условного оператора if В then А1 else А2 {P B} A1 {Q}, {P } А2 {Q} |-{P} if B then A1 else A2 {Q} (6) Задача Докажем истинность {t} if а>0 then m:=a else m:=-а {m0} По правилу 6: {t a>0} m:=a {m0} и {t } m:=-а {m0} По аксиоме (3): {а 0} m:=а {m0}3 t a>0 a0, {a0} m:=a {m0} |- {t а>0} m:=а {m0} По закону консенквенции: t a>0 а 0 Аксиома для оператора присваивания вида х:= е {Q(x e)}x:=e {Q} (3)

Пример t a 0, {a 0} m:=-a {m0} |- {t } m:=-а {m0} По закону (2) :2 t a 0 а 0 По аксиоме (3): {а 0} m:=-а {m0}3

Схемы циклов и разветвления Р - + A B Р В Р ¬В Р A Q Q B - + B Р - + A1A1 B Р В Q Р ¬В A2A2 а) цикл с предусловиемб) цикл с постусловием в) ветвление