Logic for CS Undergraduates: a Sketch

EasyChair Preprint 8622

Abstract

At the undergraduate level, there are elementary approaches to logic that are neither philosophically demanding nor inapplicable in a computational context. I illustrate this with a sketch of logical application about computation and its appreciation in hopefully practical ways. It depends on the utility of distinguishing formal and mathematical entities from those empirical ones perceived in nature and society.

Keyphrases: FOL=, interpretations, logic, structure

@booklet{EasyChair:8622,
  author    = {Dennis Hamilton},
  title     = {Logic for CS Undergraduates: a Sketch},
  howpublished = {EasyChair Preprint 8622},
  year      = {EasyChair, 2022}}