Математическое доказательство: вчера, сегодня, завтра
Keywords:
формальное доказательство, интерактивное доказательство, нулевое знаниеAbstract
Этот текст является слегка отредактированной стенограммой содоклада на совместном заседании Санкт-Петербургского Математического общества и Секции математики Дома учёных 23 марта 2010 года. Материалы заседания, включая видеозаписи, доступны в [1].Downloads
Published
2014-01-23
Issue
Section
Articles
License
This work is licensed under a Creative Commons Attribution 4.0 International License.
How to Cite
[1]
“Математическое доказательство: вчера, сегодня, завтра”, Компьютерные инструменты в образовании, no. 6, Jan. 2014, Accessed: Jul. 23, 2026. Available: http://cte.eltech.ru/ojs/index.php/kio/article/view/1326
