Задачи к экзамену (1158808), страница 2
Файл №1158808 Задачи к экзамену (Задачи к экзамену) 2 страницаЗадачи к экзамену (1158808) страница 22019-09-182019-09-18СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!
Текст из файла (страница 2)
post
if (a > 5) /\ (b < 3) then ...
elsif ((a >= b) /\ (b<0)) \/ (b<3) then ...
else ...
end
pre (a>b-1)
m1 a>b-1 | m2 a>5 | m3 b<3 | m4 a>=b | m5 b<0 | m6 b<3 | a | b | ||
1 | true | true | true | 6 | 1 | m1m2m3 | |||
2 | true | false | true | true | 0 | -1 | m1~m2m5 | ||
2 | true | true | false | true | true | ||||
2 | true | false | true | true | false | true | 3 | 2 | m1~m2m3~m5m6 |
3 | true | false | false | true | false | false | 4 | 3 | m1~m2~m3~m5~m6 |
3 | true | true | false | true | false | false | 6 | 3 | m1m2~m3~m5~m6 |
Характеристики
Тип файла
Документ
Размер
74,5 Kb
Материал
Тип материала
Предмет
Высшее учебное заведение