Для любой функции на пространстве последовательностей существует и единственно:
Для произвольной функции f на пространстве последовательностей существует единственный с точностью до изоморфизма:
Большинство предикатов в состоянии, в котором не определены некоторые из переменных, входящих в него:
Какой класс позволит задать произвольный вектор и обеспечит все необходимые манипуляции над векторами в трехмерном пространстве:
Один из способов моделирования геометрических объектов в трехмерном пространстве состоит в том, чтобы аппроксимировать реальный объект:
Предикат, описывающий максимально широкое множество в пространстве состояний переменных программы S, на котором гарантируется получение постусловия R называется: