СИСТЕМА АВТОМАТИЗАЦИИ ПРОЦЕССА РЕШЕНИЯ ЗАДАЧ. ЧАСТЬ 2. ПОСТРОЕНИЕ ДОКАЗАТЕЛЬСТВА

М.В. Дмитриева

СИСТЕМА АВТОМАТИЗАЦИИ ПРОЦЕССА РЕШЕНИЯ ЗАДАЧ. ЧАСТЬ 2. ПОСТРОЕНИЕ ДОКАЗАТЕЛЬСТВА

Authors

Marina Dmitrieva

Abstract

Статья написана в соавторстве с М.В. Павловой. Статья продолжает материал авторов из номера 2 за 1998 год. В данной статье обсуждается переход от нескольких от известных утверждений к некоторому новому утверждению.

Downloads

PDF (Russian)

Published

1998-08-31

Issue

No. 3-4 (1998)

Section

Lesson Plans

License

Public offer

How to Cite

[1]

“СИСТЕМА АВТОМАТИЗАЦИИ ПРОЦЕССА РЕШЕНИЯ ЗАДАЧ. ЧАСТЬ 2. ПОСТРОЕНИЕ ДОКАЗАТЕЛЬСТВА”, Comput. Tools Educ., no. 3-4, Aug. 1998, Accessed: Oct. 23, 2026. Available: http://cte.eltech.ru/ojs/index.php/kio/article/view/66