Abstract
Computer science (CS) students often evaluate the behavior of the code they write by running it on specific inputs, studying the outputs, and then inductively reasoning to a more general understanding of the code. This is a good starting point in the student's career, but successful graduates must be able to reason deductively about the code they create and encounter. They must be able to reason about the code on all inputs, without running the code. This paper describes an online system named "BeginToReason" that is designed to introduce symbolic reasoning, and the results of its use. Eighty students across six lab sections completed a written assessment while working with the BeginToReason System. The objective was to observe student understanding of the purpose of presented code both before and after completing a lesson using the BeginToReason System. Keywords: Symbolic reasoning, reasoning tool, online system, verification engine
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
