Большой англо-русский словарь (с транскрипциями) EFFECTIVE computability мат. эффективная вычислимость