Keeping logic in the trivium of computer science: a teaching perspective

J. A. Makowsky, A. Zamansky

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish
Pages (from-to)419-430
Number of pages12
JournalFormal Methods in System Design
Issue number2
StatePublished - 1 Nov 2017

Bibliographical note

Publisher Copyright:
© 2017, Springer Science+Business Media, LLC.


  • Computer science
  • Logic education
  • Teaching

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture


Dive into the research topics of 'Keeping logic in the trivium of computer science: a teaching perspective'. Together they form a unique fingerprint.

Cite this