- эвристика доказательства теоремы
- мат. theorem-proving heuristics
Большой англо-русский и русско-английский словарь. 2001.
эвристика доказательства теоремы
Смотреть что такое "эвристика доказательства теоремы" в других словарях:
1 − 2 + 3 − 4 + … — Первые 15000 частичных сумм ряда 0 + 1 − 2 + 3 − 4 + … В математике, 1 − 2 + 3 − 4 + … это числовой ряд, слагаемые которого по модулю представляют собой последовательные натуральные … Википедия
