Главная /
Основы информатики и программирования /
Спецификацией {Q} S {R} программы S, где Q и R — предикаты, называется предикат, означающий, что если выполнение S началось в состоянии, удовлетворяющем Q, то имеется гарантия, что оно завершится через конечное время:
Спецификацией {Q} S {R}
программы S
, где Q
и R
— предикаты, называется предикат, означающий, что если выполнение S
началось в состоянии, удовлетворяющем Q
, то имеется гарантия, что оно завершится через конечное время:
вопрос
Правильный ответ:
в состоянии, удовлетворяющем
R
в состоянии, удовлетворяющем
Q
в состоянии, удовлетворяющем
S
в состоянии, удовлетворяющем
T
Сложность вопроса
86
Сложность курса: Основы информатики и программирования
65
Оценить вопрос
Комментарии:
Аноним
Какой человек ищет эти вопросы с интуитом? Это же очень простые ответы
18 авг 2020
Аноним
Какой человек гуглит эти тесты с интуитом? Это же очень просты вопросы
29 окт 2017
Другие ответы на вопросы из темы программирование интуит.
- # В римской системы счисления цифры в записи числа следуют, как правило, в порядке:
- # В Java применяется представление чисел в так называемом:
- # Что позволяет реализовать проверку истинности предикатов в процессе выполнения программы в языке Java:
- # Следующая спецификация:{i=0}"i++;"{i=j}:
- # При написании программы, определяющей первое вхождение заданного целого числа x в заданный массив b[0..m-1] целых чисел (m>0), если известно, что x находится в массиве b, в качестве ограничивающей функции можно попробовать взять: