Teaching proofs and algorithms in discrete mathematics with online visual logic puzzles-Reference-Cited by-同舟云学术

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

Published:2005-06 Issue:2 Volume:5 Page:2
ISSN:1531-4278
Container-title:Journal on Educational Resources in Computing
language:en
Short-container-title:J. Educ. Resour. Comput.

Author:

Cigas John¹,Hsin Wen-Jung²

Affiliation:

1. Rockhurst University, Kansas City, MO

2. Park University, Parkville, MO

Abstract

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 automation of repetitive tasks as well as a framework for discussing and implementing algorithms for solving the puzzles. One such applet is presented here and several possible exercises using it are described.

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/1141904.1141906

Reference6 articles.

1. Dossey J.A. Otto A.D. Spence L.E. and Vanden Eynden C. 2002. Discrete Mathematics 4 th edition. Addison Wesley Boston MA 88--9. Dossey J.A. Otto A.D. Spence L.E. and Vanden Eynden C. 2002. Discrete Mathematics 4 th edition. Addison Wesley Boston MA 88--9.

2. Fujiwara H. 1996. Nonogram v0.5 http://www.pro.or.jp/~fuji/java/copyright-eng.html Fujiwara H. 1996. Nonogram v0.5 http://www.pro.or.jp/~fuji/java/copyright-eng.html

3. Greenwald S.J. 2003. Proof-Writing. http://www.mathsci.appstate.edu/~sjg/class/4710/sampleproofs.html. Greenwald S.J. 2003. Proof-Writing. http://www.mathsci.appstate.edu/~sjg/class/4710/sampleproofs.html.

4. Lock P.F. and Struthers A.A. 1999. Using the game Minesweeper to introduce students to proofs.Abstracts of Papers Presented to the American Mathematical Society 20(1) 189. Lock P.F. and Struthers A.A. 1999. Using the game Minesweeper to introduce students to proofs.Abstracts of Papers Presented to the American Mathematical Society 20(1) 189.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Discrete Math with Programming;Proceedings of the 52nd ACM Technical Symposium on Computer Science Education;2021-03-03

2. Undergraduate Students’ Solutions of Modeling Problems in Algorithmic Graph Theory;Mathematics;2019-06-26

3. Analyzing rich qualitative data to study pencil-puzzle-based assignments in CS1 and CS2;Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education;2018-07-02

4. An Active and Collaborative Approach to Teaching Discrete Structures;Proceedings of the 49th ACM Technical Symposium on Computer Science Education;2018-02-21

5. Teaching Using Computer Games;Journal of Educational Technology Systems;2011-03