СИСТЕМА АВТОМАТИЗАЦИИ ПРОЦЕССА РЕШЕНИЯ ЗАДАЧ. ЧАСТЬ 2. ПОСТРОЕНИЕ ДОКАЗАТЕЛЬСТВА
Аннотация
Статья написана в соавторстве с М.В. Павловой. Статья продолжает материал авторов из номера 2 за 1998 год. В данной статье обсуждается переход от нескольких от известных утверждений к некоторому новому утверждению.Загрузки
Опубликован
31.08.1998
Выпуск
Раздел
Сценарии уроков
Лицензия
Как цитировать
[1]
«СИСТЕМА АВТОМАТИЗАЦИИ ПРОЦЕССА РЕШЕНИЯ ЗАДАЧ. ЧАСТЬ 2. ПОСТРОЕНИЕ ДОКАЗАТЕЛЬСТВА», Comput. Tools Educ., вып. 3-4, авг. 1998, просмотрено: окт. 23, 2026. доступно на: http://cte.eltech.ru/ojs/index.php/kio/article/view/66
