In this paper we argue that the traditional syllabus of logic courses for computer science is outdated and missing its purposes, therefore contributing to the gradual relegation of logic from the computing curricula. We further provide some practical recommendations and directions that need to be considered in the adaptation of the logic course syllabi to the needs of modern computing practitioners.

中文翻译：

---

在计算机科学的琐碎中保持逻辑：教学视角

在本文中，我们认为计算机科学逻辑课程的传统教学大纲已经过时并且失去了其目的，因此导致逻辑从计算课程中逐渐降级。我们进一步提供了一些实用的建议和方向，这些建议和方向需要在逻辑课程大纲适应现代计算从业者的需求时加以考虑。