2015/07/14 by Diane Resek, Resek, Diane, Dan Fendel +1
Computer Science · Mathematics · Social Sciences · #Computers and Society (cs.CY) #FOS: Computer and information sciences #History and Theory of Mathematics #Logic in Computer Science (cs.LO) #Mathematics Education and Teaching Techniques #cs.CY #cs.LO
paper · pdf · doi:10.48550/arxiv.1507.03680
Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015), Rennes, France, June 9-12, 2015. Editors: M. Antonia Huertas, João Marcos, María Manzano, Sophie Pinchinat, François Schwarzentruber
arxiv created 2015/07/14 · openalex publication_date 2015/07/14 · arxiv updated 2015/07/19 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.