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

J. A. Makowsky; A. Zamansky

doi:10.1007/s10703-017-0301-z

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

J. A. Makowsky, A. Zamansky

Department of Information Systems

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	419-430
Number of pages	12
Journal	Formal Methods in System Design
Volume	51
Issue number	2
DOIs	https://doi.org/10.1007/s10703-017-0301-z
State	Published - 1 Nov 2017

Bibliographical note

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

Keywords

Computer science
Logic education
Teaching

ASJC Scopus subject areas

Software
Theoretical Computer Science
Hardware and Architecture

Access to Document

10.1007/s10703-017-0301-z

Cite this

@article{5a9646287dba42f5ae76c655d0fbac92,

title = "Keeping logic in the trivium of computer science: a teaching perspective",

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.",

keywords = "Computer science, Logic education, Teaching",

author = "Makowsky, {J. A.} and A. Zamansky",

note = "Publisher Copyright: {\textcopyright} 2017, Springer Science+Business Media, LLC.",

year = "2017",

month = nov,

day = "1",

doi = "10.1007/s10703-017-0301-z",

language = "English",

volume = "51",

pages = "419--430",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer Netherlands",

number = "2",

}

TY - JOUR

T1 - Keeping logic in the trivium of computer science

T2 - a teaching perspective

AU - Makowsky, J. A.

AU - Zamansky, A.

PY - 2017/11/1

Y1 - 2017/11/1

N2 - 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.

AB - 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.

KW - Computer science

KW - Logic education

KW - Teaching

UR - http://www.scopus.com/inward/record.url?scp=85032342883&partnerID=8YFLogxK

U2 - 10.1007/s10703-017-0301-z

DO - 10.1007/s10703-017-0301-z

M3 - Article

AN - SCOPUS:85032342883

SN - 0925-9856

VL - 51

SP - 419

EP - 430

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 2

ER -

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

Abstract

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this