Teaching proofs and algorithms in discrete mathematics with online visual logic puzzles

@article{Cigas2005TeachingPA,
title={Teaching proofs and algorithms in discrete mathematics with online visual logic puzzles},
author={John Cigas and Wen-Jung Hsin},
journal={ACM Journal of Educational Resources in Computing},
year={2005},
volume={5},
pages={2:1-2:12}
}

Visual logic puzzles provide a fertile environment for teaching multiple topics in discrete mathematics. Many puzzles can be solved by the repeated application of a small, finite set of strategies. Explicitly reasoning from a strategy to a new puzzle state illustrates theorems, proofs, and logic principles. These provide valuable, concrete examples, in addition to the algebraic proofs that make up most of the examples in textbooks. Creating specialized, pedagogical applets allows more… CONTINUE READING