Boring Formal Methods'' or ``Sherlock Holmes Deduction Methods''?

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 TU Munich, Germany, to engage pu...

Full description

Saved in:
Bibliographic Details
Published inSoftware Technologies: Applications and Foundations Vol. 9946; pp. 242 - 252
Main Author Spichkova, Maria
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2016
Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Apply Logic
Battery Power
Formal Method
Information Package
Propositional Logic
Online AccessGet full text

Cover

More Information
Summary: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 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.
ISBN:9783319502298
3319502298
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-319-50230-4_18