Using Computer Programs and Search Problems for Teaching Theory of Computation: Recognizing the significance of a cornerstone of computer science.

The article considers the importance of incorporating the theory of computation into undergraduate university-level computer science programs. The author discusses how using computer problems such as the halting problem and the question of P versus NP help build an understanding of the limits and po...

Full description

Bibliographic Details
Published in:Communications of the ACM Vol. 63; no. 10; pp. 33 - 36
Main Author: MacCormick, John
Format: Article
Published: Association for Computing Machinery Oct2020
Subjects:
Online Access:View this record in EBSCOhost
fields @attributes:
  recordID: 1
pdfLink:
plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=146056000&site=ehost-live
header:
  @attributes:
    shortDbName: hlh
    uiTerm: 146056000
    longDbName: Humanities International Complete
    uiTag: AN
  controlInfo:
    bkinfo:
    jinfo:
      jid:
        00010782
        ACM
      jtl: Communications of the ACM
      issn: 00010782
      maglogo: N
    pubinfo:
      dt: Oct2020
      vid: 63
      iid: 10
      pid: 68
      pub: Association for Computing Machinery
    artinfo:
      ui:
        146056000
        10.1145/3382036
      ppf: 33
      ppct: 3
      formats:
      tig:
        atl: Using Computer Programs and Search Problems for Teaching Theory of Computation: Recognizing the significance of a cornerstone of computer science.
      aug:
        au: MacCormick, John
        affil: Associate Professor of Computer Science at Dickinson College, Carlisle, PA, USA
      su:
        Computer science education
        Theory
        Famous problems in symbolic & mathematical logic
        Electronic information resource searching
        Computer software
      sug:
        subj:
          Computer science education
          Theory
          Famous problems in symbolic & mathematical logic
          Electronic information resource searching
          Computer software
      ab: The article considers the importance of incorporating the theory of computation into undergraduate university-level computer science programs. The author discusses how using computer problems such as the halting problem and the question of P versus NP help build an understanding of the limits and possibilities of computers. He relates that using two approaches, search problems and using real computer programs, both help foster a better understanding of the field.
      pubtype: Periodical
      doctype: Article
      src: R
    language: English
    refInfo:
    copyright:
      @attributes:
        flag: Y
      dt:
        @attributes:
          year: 2020
    holdings:
      @attributes:
        islocal: N