База ответов ИНТУИТ

Основы информатики и программирования

<<- Назад к вопросам

При написании программы, определяющей количество вхождений образца abcd в последовательность символов, для доказательства сюръективности функции F необходимо:

(Отметьте один правильный вариант ответа.)

Варианты ответа
предъявить прообраз конечного элемента
предъявить прообраз определенного элемента
предъявить прообраз начального элемента
предъявить прообраз произвольного элемента(Верный ответ)
Похожие вопросы
При написании программы, определяющей количество вхождений образца abcd в последовательность символов, функция F3 - это::
При написании программы, определяющей первое вхождение заданного целого числа x в заданный массив b[0..m-1] целых чисел (m>0), если известно, что x находится в массиве b, в качестве ограничивающей функции можно попробовать взять:
Спецификацией {Q} S {R} программы S, где Q и R — предикаты, называется предикат, означающий, что если выполнение S началось в состоянии, удовлетворяющем Q, то имеется гарантия, что оно завершится через конечное время:
Функция, действующая из некоторого множества значений переменных программы в множество из двух значений {T, F} ( Да и Нет) - это:
Для вычисления значения f(w) не являющейся индуктивной функции f на цепочке w применяется следующая:
Теорема критерия индуктивности утверждает, что f индуктивна тогда и только тогда, когда из равенства значений f на последовательностях a и b следует равенство значений f:
Каноническое минимальное индуктивное расширение для доказательства теоремы о минимальном индуктивном расширении для любой функции f:X*->Y, строится в:
Каноническое индуктивное расширение, построенное в ходе доказательства теоремы о минимальном индуктивном расширении для любой функции f:X*->Y, позволяет убедиться в истинности:
Предикат, описывающий максимально сильные ограничения на состояние переменных программы S, которые могут быть получены при данном предусловии Q:
Предикат, описывающий максимально широкое множество в пространстве состояний переменных программы S, на котором гарантируется получение постусловия R называется: