Большой англо-русский словарь (с транскрипциями) EXTENDED characterization мат. расширенная формализация