enumerative reasoning Доведення методом перебирання варіантів Англо-український словник технічних термінів