Logic Modelling

TL;DR

This paper emphasizes the importance of model building and effective tools in teaching logic to computer science students, highlighting logic's role as a fundamental methodology across applications.

Contribution

It advocates for centering model building in logic education and stresses the need for supporting tools to enhance learning and application.

Findings

Model building should be central in logic teaching.

Effective tools are essential for successful logic education.

Logic underpins many applications in computer science.

Abstract

This is a reflection on the author's experience in teaching logic at the graduate level in a computer science department. The main lesson is that model building and the process of modelling must be placed at the centre stage of logic teaching. Furthermore, effective use must be supported with adequate tools. Finally, logic is the methodology underlying many applications, it is hence paramount to pass on its principles, methods and concepts to computer science audiences.