Computational Logic in the First Semester of Computer Science: An Experience Report
Sprache des Vortragstitels:
Sprache des Tagungstitel:
Nowadays, logic plays an ever-increasing role in moderncomputer science, in theory as well as in practice. Logic formsthe foundation of the symbolic branch of artificial intelligenceand from an industrial perspective, logic-based verificationtechnologies are crucial for major hardware and software companiesto ensure the correctness of complex computing systems. Theconcepts of computational logic that are needed for such purposesare often avoided in early stages of computer science curricula.Instead, classical logic education mainly focuses on mathematicalaspects of logic depriving students to see the practical relevanceof this subject. In this paper we present our experiences with anovel design of a first-semester bachelor logic course attended byabout 200 students. Our aim is to interlink both foundations andapplications of logic within computer science. We report on ourexperiences and the feedback we got from the students through anextensive survey we performed at the end of the semester.