Дополнения о правилах вывода для условного оператора

Содержание

1. Дополнения о правилах вывода для условного оператора
2. Лекция 50. Дополнения о правилах вывода для условного оператора14.04.2015О схемах программ
3. 10.03.2015Условный оператор{P & B} S1 {Q} , {P & !B} S2 {Q}_____________________________________________________{P} if (B) S1; else S2; {Q}.Верификация программ
4. 10.03.2015Доказательство PP & !BP & BQ{P & B} S1 {Q} , {P & !B} S2 {Q}_______________________________________________{P} if (B) S1; else S2; {Q}Верификация программ
5. 10.03.2015Правило 5.2.(P1&B) ∨(P2&!B) P2P1Q{P1} S1 {Q} , {P2} S2 {Q}_______________________________________________{(P1&B)∨(P2&!B)} if (B) S1; else S2; {Q}Верификация программ
6. 10.03.2015Правило 5.3.P1&P2 P2&!BP1&BQ{P1&B} S1 {Q} , {P2&!B} S2 {Q}_______________________________________________{P1&P2} if (B) S1; else S2; {Q}Верификация программ
7. РекомендацииПроверить заданное предусловие для заданных постусловия и
8. Скачать презентанцию

Лекция 50. Дополнения о правилах вывода для условного оператора14.04.2015О схемах программ

Главная
Разное
Дополнения о правилах вывода для условного оператора

Слайды и текст этой презентации

Слайд 1ВЕРИФИКАЦИЯ ПРОГРАММ
ДВС
Лектор - С.А. Ивановский
14.04.2015
О схемах программ

Слайд 2Лекция 5
0. Дополнения о правилах вывода для условного оператора
14.04.2015
О схемах

программ

Слайд 310.03.2015
Условный оператор
{P & B} S1 {Q} , {P & !B} S2 {Q}
_____________________________________________________
{P} if (B) S1; else S2; {Q}.
Верификация программ

$10.03.2015Условный оператор{P & B} S1 {Q} , {P & !B} S2 {Q}_____________________________________________________{P} if (B) S1; else S2; {Q}.Верификация программ$

Слайд 410.03.2015
Доказательство
P
P & !B
P & B
Q
{P & B} S1 {Q} , {P & !B} S2 {Q}
_______________________________________________
{P} if (B) S1; else S2; {Q}
Верификация

программ

$10.03.2015Доказательство PP & !BP & BQ{P & B} S1 {Q} , {P & !B} S2 {Q}_______________________________________________{P} if (B) S1; else S2; {Q}Верификация программ$

Слайд 510.03.2015
Правило 5.2.
(P1&B) ∨(P2&!B)
P2
P1
Q
{P1} S1 {Q} , {P2} S2 {Q}
_______________________________________________
{(P1&B)∨(P2&!B)} if (B) S1; else S2; {Q}
Верификация программ

$10.03.2015Правило 5.2.(P1&B) ∨(P2&!B) P2P1Q{P1} S1 {Q} , {P2} S2 {Q}_______________________________________________{(P1&B)∨(P2&!B)} if (B) S1; else S2; {Q}Верификация программ$

Слайд 610.03.2015
Правило 5.3.
P1&P2
P2&!B
P1&B
Q
{P1&B} S1 {Q} , {P2&!B} S2 {Q}
_______________________________________________
{P1&P2} if (B) S1; else S2; {Q}
Верификация программ

$10.03.2015Правило 5.3.P1&P2 P2&!BP1&BQ{P1&B} S1 {Q} , {P2&!B} S2 {Q}_______________________________________________{P1&P2} if (B) S1; else S2; {Q}Верификация программ$

Слайд 7Рекомендации
Проверить заданное предусловие для заданных постусловия и условного оператора →

применить Правило 5.1.
Получить предусловие по заданным постусловию и условному

оператору → применить Правило 5.2 или 5.3.

РекомендацииПроверить заданное предусловие для заданных постусловия и условного оператора → применить Правило 5.1. Получить предусловие по заданным

Скачать презентацию

Разделы презентаций

Дополнения о правилах вывода для условного оператора

Содержание

Слайды и текст этой презентации

Слайд 1ВЕРИФИКАЦИЯ ПРОГРАММ
ДВС
Лектор - С.А. Ивановский
14.04.2015
О схемах программ

Слайд 2Лекция 5
0. Дополнения о правилах вывода для условного оператора
14.04.2015
О схемах

программ

Слайд 310.03.2015
Условный оператор
{P & B} S1 {Q} , {P & !B} S2 {Q}
_____________________________________________________
{P} if (B) S1; else S2; {Q}.
Верификация программ

Слайд 410.03.2015
Доказательство
P
P & !B
P & B
Q
{P & B} S1 {Q} , {P & !B} S2 {Q}
_______________________________________________
{P} if (B) S1; else S2; {Q}
Верификация

программ

Слайд 510.03.2015
Правило 5.2.
(P1&B) ∨(P2&!B)
P2
P1
Q
{P1} S1 {Q} , {P2} S2 {Q}
_______________________________________________
{(P1&B)∨(P2&!B)} if (B) S1; else S2; {Q}
Верификация программ

Слайд 610.03.2015
Правило 5.3.
P1&P2
P2&!B
P1&B
Q
{P1&B} S1 {Q} , {P2&!B} S2 {Q}
_______________________________________________
{P1&P2} if (B) S1; else S2; {Q}
Верификация программ

Слайд 7Рекомендации
Проверить заданное предусловие для заданных постусловия и условного оператора →

применить Правило 5.1.
Получить предусловие по заданным постусловию и условному

Обратная связь

Что такое TheSlide.ru?

Разделы презентаций

Дополнения о правилах вывода для условного оператора

Содержание

Слайды и текст этой презентации

Слайд 1ВЕРИФИКАЦИЯ ПРОГРАММДВСЛектор - С.А. Ивановский14.04.2015О схемах программ

Слайд 2Лекция 50. Дополнения о правилах вывода для условного оператора14.04.2015О схемах

программ

Слайд 310.03.2015Условный оператор{P & B} S1 {Q} , {P & !B} S2 {Q}_____________________________________________________{P} if (B) S1; else S2; {Q}.Верификация программ

Слайд 410.03.2015Доказательство PP & !BP & BQ{P & B} S1 {Q} , {P & !B} S2 {Q}_______________________________________________{P} if (B) S1; else S2; {Q}Верификация

программ

Слайд 510.03.2015Правило 5.2.(P1&B) ∨(P2&!B) P2P1Q{P1} S1 {Q} , {P2} S2 {Q}_______________________________________________{(P1&B)∨(P2&!B)} if (B) S1; else S2; {Q}Верификация программ

Слайд 610.03.2015Правило 5.3.P1&P2 P2&!BP1&BQ{P1&B} S1 {Q} , {P2&!B} S2 {Q}_______________________________________________{P1&P2} if (B) S1; else S2; {Q}Верификация программ

Слайд 7РекомендацииПроверить заданное предусловие для заданных постусловия и условного оператора →

применить Правило 5.1. Получить предусловие по заданным постусловию и условному

Похожие презентации

Обратная связь

Что такое TheSlide.ru?

Слайд 1ВЕРИФИКАЦИЯ ПРОГРАММ
ДВС
Лектор - С.А. Ивановский
14.04.2015
О схемах программ

Слайд 2Лекция 5
0. Дополнения о правилах вывода для условного оператора
14.04.2015
О схемах

Слайд 310.03.2015
Условный оператор
{P & B} S1 {Q} , {P & !B} S2 {Q}
_____________________________________________________
{P} if (B) S1; else S2; {Q}.
Верификация программ

Слайд 410.03.2015
Доказательство
P
P & !B
P & B
Q
{P & B} S1 {Q} , {P & !B} S2 {Q}
_______________________________________________
{P} if (B) S1; else S2; {Q}
Верификация

Слайд 510.03.2015
Правило 5.2.
(P1&B) ∨(P2&!B)
P2
P1
Q
{P1} S1 {Q} , {P2} S2 {Q}
_______________________________________________
{(P1&B)∨(P2&!B)} if (B) S1; else S2; {Q}
Верификация программ

Слайд 610.03.2015
Правило 5.3.
P1&P2
P2&!B
P1&B
Q
{P1&B} S1 {Q} , {P2&!B} S2 {Q}
_______________________________________________
{P1&P2} if (B) S1; else S2; {Q}
Верификация программ

Слайд 7Рекомендации
Проверить заданное предусловие для заданных постусловия и условного оператора →

применить Правило 5.1.
Получить предусловие по заданным постусловию и условному