Класс Compf, содержащий метод compile, можно сделать выведенным из класса:
Для извлечения квадратного корня в языке Java можно использовать:
Выяснение того факта, лежат ли три точки на одной прямой, сводится к вычислению площади треугольника и:
В программах на языке C можно использовать следующий макрос, который в случае ложности его аргумента немедленно прекращает выполнение программы, сообщая о причине этого:
Для представления вершин полиэдра можно использовать выведенный из класса R3Vector класс:
При нахождении минимального числа, содержащегося в каждом из трех упорядоченных по возрастанию массивов целых чисел, в предположении, что таковое существует, в качестве действий, которые будут приближать цикл к завершению можно использовать следующие операторы:
Предикат можно назвать константным, если в нем:
Если предусловие Q имеет вид T, то в этом случае инвариант можно строить только исходя из:
Функция f:X*->Y называется индуктивной, если f(w o x) можно вычислить, зная:
Эффективный метод вычисления значения многочлена в точке носит имя:
