Дмитриева М.В., Павлова М.В. — Факультативный курс ''Система автоматизации процесса решения задач''. Часть 2. Построение доказательства
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Факультативный курс ''Система автоматизации процесса решения задач''. Часть 2. Построение доказательства
Авторы: Дмитриева М.В., Павлова М.В.
Аннотация:
Статья продолжает материал авторов из номера 2 за 1998 год. В данной статье обсуждается переход от нескольких от известных утверждений к некоторому новому утверждению.
|
|
О проекте