原名:Automated Proof Checking in Introductory Discrete Mathematics Classes Andrew J. Haven
作品简介:抽象的。数学严谨性是计算机科学学习中必须学习的基本概念。在学习编写数学证明的过程中，教师大量参与提供有关正确和错误证明的反馈。该领域的计算机化反馈可以减轻指导的负担……
资源下载
VIP免费升级VIP
原名:Automated Proof Checking in Introductory Discrete Mathematics Classes Andrew J. Haven
作品简介:抽象的。数学严谨性是计算机科学学习中必须学习的基本概念。在学习编写数学证明的过程中，教师大量参与提供有关正确和错误证明的反馈。该领域的计算机化反馈可以减轻指导的负担……
![[ANDREWS JN] 恢复和建造耶路撒冷的诫命](http://www.bestbookpdf.com/wp-content/uploads/2023/08/20/20115401885.jpg)
