Для практических приложений часто необходимо не вычисление слабейшего предусловия, а лишь проверка того факта, что некоторое другое известное предусловие:
Выпуклая оболочка трех точек, не лежащих на одной прямой, — это:
Для того чтобы задать все основные конструкции выбора языка Java, достаточно дать определение только одной из них, — конструкции:
Для доказательства факта, что заданная функция не является индуктивной, применяют:
Задание на построение цели doc сводится к вызову утилиты:
Математическая модель итерации сводится к повторению некоторого преобразования T:X -> X:
Основанная на связи площади с векторным произведением формула использует:
Площадь треугольника можно сделать неориентированной, если использовать метод:
Какой из простейших графических примитивов позволяет изобразить отрезок прямой линии:
Для того чтобы стать профессионалом в программировании, необходимы: