Математическое доказательство: вчера, сегодня, завтра
Ключевые слова:
формальное доказательство, интерактивное доказательство, нулевое знаниеАннотация
Этот текст является слегка отредактированной стенограммой содоклада на совместном заседании Санкт-Петербургского Математического общества и Секции математики Дома учёных 23 марта 2010 года. Материалы заседания, включая видеозаписи, доступны в [1].Загрузки
Опубликован
23.01.2014
Выпуск
Раздел
Новая статья
Лицензия
Материал публикуется под лицензией:
Как цитировать
[1]
«Математическое доказательство: вчера, сегодня, завтра», Компьютерные инструменты в образовании, вып. 6, янв. 2014, просмотрено: июл. 23, 2026. доступно на: http://cte.eltech.ru/ojs/index.php/kio/article/view/1326
