> -- Valery Solovey писал(а):
> Ну, я не знаю как объяснить лучше.
Ну, объясните, например вот эту вашу сентенцию: Постусловие - цель.
Насколько я понимаю, как и предусловие, постусловие - проверка нахождения в некоей области, только для постусловия это проверка после проведения работы функцией.
Оно не описывает, что мы должны получить.
Оно лишь проверяет, что процессе вычислений и операций мы не вылетели за пределы доменов в результатах.