Automated Theorem Proving in the Classroom

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 teachin...

Full description

Saved in:
Bibliographic Details
Published inarXiv.org
Main Author Windsteiger, Wolfgang
Format Paper Journal Article
LanguageEnglish
Published Ithaca Cornell University Library, arXiv.org 03.01.2022
Subjects
Artificial intelligence
Automation
Colleges & universities
Computer Science - Logic in Computer Science
Logic
Software
Students
Theorem proving
Online AccessGet full text
ISSN2331-8422
DOI10.48550/arxiv.2201.07275

Cover

More Information
Summary: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 not to teach students the proper use of a particular piece of software. In contrast, we try to 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.
Bibliography:SourceType-Working Papers-1
ObjectType-Working Paper/Pre-Print-1
content type line 50
ISSN:2331-8422
DOI:10.48550/arxiv.2201.07275