"Boring formal methods" or "Sherlock Holmes deduction methods"?

Maria Spichkova

DOI: https://doi.org/10.48550/arXiv.1612.01682

2016-12-06

Abstract:This paper provides an overview of common challenges in teaching of logic and formal methods to Computer Science and IT students. We discuss our experiences from the course IN3050: Applied Logic in Engineering, introduced as a "logic for everybody" elective course at at TU Munich, Germany, to engage pupils studying Computer Science, IT and engineering subjects on Bachelor and Master levels. Our goal was to overcome the bias that logic and formal methods are not only very complicated but also very boring to study and to apply. In this paper, we present the core structure of the course, provide examples of exercises and evaluate the course based on the students' surveys.

Logic in Computer Science,Computers and Society

What problem does this paper attempt to address?

The problems that this paper attempts to solve are the common challenges faced in teaching logic and formal methods to computer science and information technology students. Specifically, the author focuses on:

1. **Students' negative views of logic and formal methods**: Many students think that logic and formal methods are not only very complex but also very boring, and are unwilling to learn these contents.
2. **The disconnection between logic and formal methods and practical applications**: It is difficult for students to connect these theoretical knowledge with real - world problems, especially outside the fields of game development, programming, testing, etc.
3. **Insufficient mathematical background**: As courses become more practice - oriented, students' mathematical backgrounds are getting weaker, which further hinders their understanding of logic and formal methods.
4. **Mathematical anxiety**: Many students are afraid of dealing with complex mathematical symbols. This phenomenon is called "mathematical anxiety", which is especially obvious when learning logic and formal methods.

To solve these problems, the author introduced a course named "IN3050: Applied Logic in Engineering" offered at the Technical University of Munich (TU Munich). The goals of this course are:

- To overcome students' prejudices against logic and formal methods and make them realize that these contents are not only not complex but also very interesting.
- To attract students' interests through practical applications and entertaining examples (such as Sherlock Holmes detective stories).
- Not to require students to have any prerequisite knowledge, making the course friendly to all students.

Through these methods, the author hopes to increase students' interests and understanding of logic and formal methods, thereby enhancing their analytical and abstract thinking abilities.