 |
| Subject | English | Russian |
| progr. | provably correct program | доказуемо корректная программа (программа, написанная таким образом, что можно привлечь математический или логический аппарат для доказательства того, что она удовлетворяет предъявленным требованиям ssn) |
| progr. | provably correct programs | доказуемо корректные программы (ssn) |
| progr. | provably difficult | доказуемо трудный (о множестве задач, применительно к которым можно доказать, что для них не существует алгоритма с полиномиальной оценкой времени решения, а есть только алгоритмы с экспоненциальной оценкой временных затрат ssn) |
| data.prot. | provably prime number | доказуемо простое число |
| data.prot. | provably secure system | доказуемо безопасная система |
| progr. | provably unsolvable | доказуемо неразрешимый (о множестве задач, для которых не существует никаких алгоритмов решения ssn) |