Back to Search
Start Over
Keeping logic in the trivium of computer science: a teaching perspective.
- Source :
- Formal Methods in System Design; Nov2017, Vol. 51 Issue 2, p419-430, 12p
- Publication Year :
- 2017
-
Abstract
- 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. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 09259856
- Volume :
- 51
- Issue :
- 2
- Database :
- Complementary Index
- Journal :
- Formal Methods in System Design
- Publication Type :
- Academic Journal
- Accession number :
- 126260458
- Full Text :
- https://doi.org/10.1007/s10703-017-0301-z