Computational Logic in the First Semester of Computer Science: An Experience Report

David Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere

Abstract

Nowadays, logic plays an ever-increasing role in modern computer science, in theory as well as in practice. Logic forms the foundation of the symbolic branch of artificial intelligence and from an industrial perspective, logic-based verification technologies are crucial for major hardware and software companies to ensure the correctness of complex computing systems. The concepts of computational logic that are needed for such purposes are often avoided in early stages of computer science curricula. Instead, classical logic education mainly focuses on mathematical aspects of logic depriving students to see the practical relevance of this subject. In this paper we present our experiences with a novel design of a first-semester bachelor logic course attended by about 200 students. Our aim is to interlink both foundations and applications of logic within computer science. We report on our experiences and the feedback we got from the students through an extensive survey we performed at the end of the semester.

Download


Paper Citation


in Harvard Style

Cerna D., Seidl M., Schreiner W., Windsteiger W. and Biere A. (2020). Computational Logic in the First Semester of Computer Science: An Experience Report.In Proceedings of the 12th International Conference on Computer Supported Education - Volume 2: CSEDU, ISBN 978-989-758-417-6, pages 374-381. DOI: 10.5220/0009464403740381


in Bibtex Style

@conference{csedu20,
author={David Cerna and Martina Seidl and Wolfgang Schreiner and Wolfgang Windsteiger and Armin Biere},
title={Computational Logic in the First Semester of Computer Science: An Experience Report},
booktitle={Proceedings of the 12th International Conference on Computer Supported Education - Volume 2: CSEDU,},
year={2020},
pages={374-381},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0009464403740381},
isbn={978-989-758-417-6},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 12th International Conference on Computer Supported Education - Volume 2: CSEDU,
TI - Computational Logic in the First Semester of Computer Science: An Experience Report
SN - 978-989-758-417-6
AU - Cerna D.
AU - Seidl M.
AU - Schreiner W.
AU - Windsteiger W.
AU - Biere A.
PY - 2020
SP - 374
EP - 381
DO - 10.5220/0009464403740381