Transitioning to Proof
Computers and Society
2015-07-19 v1 Logic in Computer Science
Abstract
This paper describes some strategies used in a `transition' course. Such courses help undergraduate mathematics majors move from learning procedures to learning to function as critical mathematicians in order to understand and work with abstract concepts. One of the co-authors of this paper was a student of Leon Henkin. His influence on her helped shape the strategies used in the course, and is described at the end of the paper.
Cite
@article{arxiv.1507.03680,
title = {Transitioning to Proof},
author = {Diane Resek and Dan Fendel},
journal= {arXiv preprint arXiv:1507.03680},
year = {2015}
}
Comments
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