эвристика построения теоремы Мат. theorem-finding heuristics Источник: Полный русско-английский словарь на Gufo.me Предложить изменения эвристика доказательства теоремы эвристическая абстракция
