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.
|Number of pages||12|
|Journal||Formal Methods in System Design|
|State||Published - 1 Nov 2017|
Bibliographical noteFunding Information:
The second author was supported by the Israel Science Foundation under Grant agree-
© 2017, Springer Science+Business Media, LLC.
- Computer science
- Logic education
ASJC Scopus subject areas
- Theoretical Computer Science
- Hardware and Architecture