Анализ завершения программы while В do А. Пример ((x 0) (y>0)) A1A1 Начало r:=x; q:=0 (x=r+y*q) A3A3 (x=r+y*q) (r.

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



Advertisements
Похожие презентации
Методика верификации программы Пример 1 Cтроим схему алгоритма ((x 0) (y>0)) A1A1 Начало r:=x; q:=0 (x=r+y*q) A3A3 (x=r+y*q) (r.
Advertisements

Пример1 Мир
Права ребёнка. конец.
Права ребёнка. конец.
Права ребёнка. конец.
конец
конец
КОНЕЦ
Конец.
конец
Памятники Ульяновска. Обществознание 6 класс
ПРОГРАММИРОВАНИЕ ЦИКЛИЧЕСКИХ АЛГОРИТМОВ НАЧАЛА ПРОГРАММИРОВАНИЯ.
План: 1)RM 2)RM(ABC)? a)RMЄBB 1 C 1 б)(ABC)(BB 1 C 1 )=BC в) RMBC 1 =X 1 3) RMCC 1 =X 2 4)PX 1 ;PX 2 PX 1 AD=X 3 X 1 X 3 AB=X 4 5)PX 2 (A 1 B 1 C 1 )?
ПРОГРАММИРОВАНИЕ ЦИКЛИЧЕСКИХ АЛГОРИТМОВ НАЧАЛА ПРОГРАММИРОВАНИЯ.
AB C D D1D1 A1A1 B1B1 C1C1 M N P. A B C D N Секущая плоскость проходит через точку N, параллельно плоскости DCB.
Объем прямоугольного параллелепипеда.. Прямоугольный параллелепипед.
Аксиомы логики. ИНВЕРСИЯ Обозначение: Ā, not A. Пример: А - Дождя не будет Ā - Неверно, что дождя не будет Таблица истинности Логическое отрицание 1)
Программирование на языке Паскаль. Часть II К. Поляков, Поиск в массиве 1 Задача – найти в массиве элемент, равный X, или установить, что его.
B3: Анализ программы Что нужно знать: основные конструкции языка программирования: объявление переменных оператор присваивания оператор вывода циклы уметь.
8 D A B C A1A1 D1D1 C1C1 6 Угол между наклонной и плоскостью – это угол между наклонной и её проекцией на эту плоскость. В прямоугольном параллелепипеде.
Транксрипт:

Анализ завершения программы while В do А

Пример ((x 0) (y>0)) A1A1 Начало r:=x; q:=0 (x=r+y*q) A3A3 (x=r+y*q) (r<y) A2A2 Конец - + r:=r-y; q:=q+1 y r

Пример у>0 ук rу r>0 r+у>0 Обозначения: a = (х = r + у*q) и b = (r + у > 0) (х = r + у*q) (ук)(r + у> 0) (х = r + у*q) (r + у > 0)(r + у > 0) a bb ¬ (а b) b (¬а ¬b) b t Р = Q(rr-у) (0<r+у<t 0 )(rr-у) (0<r<t 0 ) (y<r+y<t 0 +y) (0<r+y=t 0 )