Wolfgang Windsteiger,
"Automated Theorem Proving in the Classroom"
, in Predrag Janicic: Proceedings Automated Deduction in Geometry (ADG 2021), Serie Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 352, Seite(n) 54-63, 2021, ISSN: 2075-2180
Original Titel:
Automated Theorem Proving in the Classroom
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings Automated Deduction in Geometry (ADG 2021)
Original Kurzfassung:
We report on several scenarios of using automated theorem proving software in university education. In particular, we focus on using the Theorema system in a software-enhanced logic-course for students in computer science or artificial intelligence. The purpose of using logic-software in our teaching is emph{not} to teach students the proper use of a particular piece of software. In contrast, we try to emph{employ} certain software in order to spark students' motivation and to support their understanding of logic principles they are supposed to understand after having passed the course. In a sense, we try to let the software act as a logic-tutor, the software is not an additional subject we teach. (Note to publication: Extended abstract)
Sprache der Kurzfassung:
Englisch
Serie:
Electronic Proceedings in Theoretical Computer Science (EPTCS)