Download PDFOpen PDF in browser

Undergraduate Logic Teaching in Computing: Why, What, How?

EasyChair Preprint 8616

15 pagesDate: August 8, 2022

Abstract

Logic lies at the heart of computing, but its presence is somewhat dimming. This is particularly striking at the undergraduate level, where far too little logic training is done. This paper examines this regrettable state of affairs, considering what is actually taught, what should be taught, and how logic must be taught at computing undergraduates.

Keyphrases: computing, logic, teaching

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@booklet{EasyChair:8616,
  author    = {Roger Villemaire},
  title     = {Undergraduate Logic Teaching in Computing: Why, What, How?},
  howpublished = {EasyChair Preprint 8616},
  year      = {EasyChair, 2022}}
Download PDFOpen PDF in browser