E-viri
Recenzirano
-
Makowsky, J. A.; Zamansky, A.
Formal methods in system design, 11/2017, Letnik: 51, Številka: 2Journal Article
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.
