Introducing proof techniques using the logical game mine hunter

Authors

Allan Alexander Struthers, Michigan Technological University

Document Type

Article

Publication Date

1-1-1995

Abstract

The advantages of using the logical game Mine Hunter[1] to motivate and introduce proof techniques are discussed. © 1995 Taylor and Francis Group, LLC.

Publication Title

PRIMUS

Recommended Citation

Struthers, A. (1995). Introducing proof techniques using the logical game mine hunter. PRIMUS, 5(2), 108-112. http://doi.org/10.1080/10511979508965778
Retrieved from: https://digitalcommons.mtu.edu/michigantech-p/9400