“无聊的形式方法”还是“福尔摩斯演绎法”？
"Boring formal methods" or "Sherlock Holmes deduction methods"?
摘要：
本文概述了计算机科学和IT专业学生在逻辑和形式方法教学中面临的共同挑战。我们讨论我们的经验，从过程中IN3050：应用逻辑工程，介绍了作为一个“逻辑为大家”选修课在慕尼黑工业大学，德国，从事学生学习计算机科学，IT和工程学科的学士和硕士水平。我们的目标是克服逻辑和形式方法不仅非常复杂，而且非常枯燥的学习和应用的偏见。在本文中，我们提出了该课程的核心结构，提供练习的例子和评估的基础上，学生的调查课程。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
