| Subject | Russian | English |
| progr. | атомарный блок с предусловием | conditional atomic block (в языке программирования X10 Alex_Odeychuk) |
| progr. | в форме предусловия | in the form of a precondition (корпорации AdaCore Alex_Odeychuk) |
| progr. | Возникновение события может вызвать нарушение предусловий и может привести к выполнению других условий, постусловий | the occurrence of the event may cause the preconditions to cease to hold and may cause other conditions, postconditions, to become true |
| progr. | вызывать нарушение предусловий | cause the preconditions to cease to hold (ssn) |
| progr. | выражение-предусловие для надклассового типа | class-wide precondition expression (корпорации AdaCore Alex_Odeychuk) |
| math. | задача с предусловием | promise problem (Д.В. Мусатов – СЛОЖНОСТЬВЫЧИСЛЕНИЙ Jumpow) |
| progr. | краткое описание, предусловия и постусловия | brief description, preconditions and postconditions (ssn) |
| progr. | набор входных значений и предусловий | a set of input values and preconditions (ssn) |
| progr. | нарушение предусловий | preconditions to cease to hold (ssn) |
| comp., net. | необходимо предусловие | precondition required (сервер указывает клиенту на необходимость использования в запросе заголовков условий, наподобие If-Match Alex_Odeychuk) |
| el. | оператор цикла с предусловием | do while DOVAP |
| el. | оператор цикла с предусловием | while statement |
| progr. | оператор цикла с предусловием | while statement (в языке программирования Х10; IBM Alex_Odeychuk) |
| AI. | определять предусловия выполнения действия | define the preconditions for the execution of an action (Alex_Odeychuk) |
| progr. | параллельный цикл с предусловием | parallel while loop (Alex_Odeychuk) |
| progr. | поведение: отклик компонента или системы на набор входных значений и предусловий | behavior: The response of a component or system to a set of input values and preconditions (см. Standard glossary of terms used in Software Testing ssn) |
| progr. | постулат предусловий действия | action precondition axiom (ssn) |
| AI. | предусловие выполнения действия | precondition for the execution of an action (Alex_Odeychuk) |
| progr. | Предусловие: дежурный оператор вошёл в систему | Precondition: The monitoring operator is logged in (см. Software Modeling and Design by Hassan Gomaa 2011 ssn) |
| AI. | предусловие действия | action precondition (what must be established before the action is performed Alex_Odeychuk) |
| comp., net. | предусловие ложно | precondition failed (Alex_Odeychuk) |
| progr. | предусловие надклассового типа | class-wide precondition (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk) |
| AI. | предусловие продукционного правила | production's precondition (Alex_Odeychuk) |
| progr. | предусловие функции | function precondition (специальное условие, которые проверяется при вызове (входе в) функцию Alex_Odeychuk) |
| AI. | предусловия действия | action precondition (Alex_Odeychuk) |
| progr. | предусловия и постусловия | pre and post conditions (средства контрактного программирования; корпорации AdaCore Alex_Odeychuk) |
| progr. | предусловия и постусловия | preconditions and postconditions (ssn) |
| progr. | предусловия и постусловия функции | function preconditions and postconditions (Alex_Odeychuk) |
| progr. | предусловия развёртывания | pre-deployment conditions (Alex_Odeychuk) |
| progr. | предусловия события | preconditions of the event (ssn) |
| telecom. | проверка предусловий | precondition check (oleg.vigodsky) |
| progr. | проверка предусловия надклассового типа | class-wide precondition check (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk) |
| progr. | связанный с предусловием | precondition-related (Alex_Odeychuk) |
| IT | слабейшее предусловие | weakest precondition |
| progr. | совокупность объектов, характеризуемая функциями, аксиомами и предусловиями | collection of objects characterized by functions, axioms and preconditions (ssn) |
| for.pol. | сформировать предусловия | shape the conditions that underpin (+ gerund ... – ... для + отгл. сущ. Alex_Odeychuk) |
| progr. | тип – это совокупность объектов, характеризуемая функциями, аксиомами и предусловиями | a type is a collection of objects characterized by functions, axioms and preconditions (см. Object-Oriented Software Construction second edition by Bertrand Meyer ssn) |
| progr. | тип это совокупность объектов, характеризуемая функциями, аксиомами и предусловиями | a type is a collection of objects characterized by functions, axioms and preconditions (см. Object-Oriented Software Construction second edition by Bertrand Meyer ssn) |
| progr. | функции, аксиомы и предусловия | functions, axioms and preconditions (ssn) |
| progr. | цикл с предусловием | head-controlled loop (to_work) |
| progr. | цикл с предусловием | an entry-condition loop (Shady) |
| progr. | цикл с предусловием | pretest loop (цикл, в котором предикат управления циклом вычисляется до того как выполняется какая-либо обработка внутри цикла ssn) |
| progr. | цикл с предусловием | do-while loop (ssn) |
| progr. | цикл с предусловием | while loop (ssn) |
| progr. | цикл с предусловием | entry-condition loop (Shady) |
| progr. | цикл с предусловием | pretested loop (условие завершения цикла проверяется до исполнения тела цикла. Ant: posttested loop ssn) |
| progr. | цикл с предусловием | pre-test loop (ptraci) |
| progr. | элемент предусловия | precondition conjunct (Alex_Odeychuk) |
