Terms for subject Programming containing it is because

English	Russian
Damage-correction techniques are of limited benefit because they require one to predict in advance a few possible types of damage and to design software functions to undo the damage when it occurs	Польза от методов борьбы с искажениями ограничена, поскольку предполагается, что разработчик заранее предугадает несколько возможных типов искажений и предусмотрит программно реализуемые функции для их устранения ("Software Reliability: Principles and Practices" by Glenford J. Myers (1976) ssn)
the left side is called the consequent because it is the consequence of the truth of the antecedent	Левая часть называется консеквентом, поскольку она является следствием истинности антецедента