Идет загрузка презентации. Пожалуйста, подождите

Идет загрузка презентации. Пожалуйста, подождите

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

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


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



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

Еще похожие презентации в нашем архиве: