Послеусловие
Translation of "послеусловие" into English
послеусловие
NounОсновная форма
/pəsʲlʲɪʊsˈlovʲɪje/
Основная форма
/pəsʲlʲɪʊsˈlovʲɪje/
Специальный термин в программировании, логике и формальных спецификациях.
Used in logic, programming, and formal specification: a condition that must hold after an operation, procedure, or algorithm has completed.
Послеусловие метода требует, чтобы результат был положительным числом.
The method's postcondition requires the result to be a positive number.
Definitions
послеусловие
NounОсновная форма
/pəsʲlʲɪʊsˈlovʲɪje/
Основная форма
/pəsʲlʲɪʊsˈlovʲɪje/
Условие, которое должно быть выполнено после завершения действия, операции, процедуры или алгоритма.
Послеусловие метода требует, чтобы результат был положительным числом.