向证明过渡
计算机与社会
2015-07-19 v1 计算机科学中的逻辑
摘要
本文描述了在“过渡”课程中使用的一些策略。此类课程帮助数学专业的本科生从学习程序过渡到学习作为批判性数学家发挥作用，以便理解并处理抽象概念。本文的合著者之一曾是 Leon Henkin 的学生。他对她的影响帮助塑造了该课程中使用的策略，并在文末进行了描述。
引用
@article{arxiv.1507.03680,
title = {Transitioning to Proof},
author = {Diane Resek and Dan Fendel},
journal= {arXiv preprint arXiv:1507.03680},
year = {2015}
}
备注
Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015), Rennes, France, June 9-12, 2015. Editors: M. Antonia Huertas, Jo\~ao Marcos, Mar\'ia Manzano, Sophie Pinchinat, Fran\c{c}ois Schwarzentruber