Большой англо-русский словарь (с транскрипциями) PREDICATE programming мат. предикатное программирование