Задачи к экзамену, страница 2
2019-09-182019-09-18zzyxelСтудИзба
Описание файла
Документ из архива "Задачи к экзамену", который расположен в категории "". Всё это находится в предмете "практикум по rsl" из 7 семестр, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Онлайн просмотр документа "Задачи к экзамену"
Текст 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 |