Дизъюнкция истинна, если:

Предикат можно назвать константным, если в нем:

Если предикат истинен во всех состояниях, в которых он определен, то он называется:

Площадь треугольника можно сделать неориентированной, если использовать метод:

Какой из операторов цикла языка Java применяется, если выполнение тела цикла хотя бы раз обязательно:

Научиться писать понятные и легко модифицируемые программы на языке Java легко, если соблюдать следующие правила:

Если все элементы контейнера хранятся в векторе непрерывным куском и порядок элементов в имитируемой структуре соответствует порядку элементов в векторе, то такая реализация на базе вектора называется:

Если все элементы контейнера хранятся в одном векторе, а другой вектор — вектор ссылок, определяет реально содержащиеся в имитируемой структуре элементы и их порядок, то такая реализация на базе вектора называется:

Если предусловие Q имеет вид T, то в этом случае инвариант можно строить только исходя из:

Функция f:X*->Y называется индуктивной, если f(w o x) можно вычислить, зная:

Если при доказательстве теоремы о критерии индуктивности найдутся две различные цепочки a и b такие, что f(a) = f(b), то можно гарантировать, что: