{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T04:47:23Z","timestamp":1755838043044,"version":"3.41.0"},"reference-count":6,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2005,6,1]],"date-time":"2005-06-01T00:00:00Z","timestamp":1117584000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["J. Educ. Resour. Comput."],"published-print":{"date-parts":[[2005,6]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1145\/1141904.1141906","type":"journal-article","created":{"date-parts":[[2006,7,25]],"date-time":"2006-07-25T14:14:26Z","timestamp":1153836866000},"page":"2","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Teaching proofs and algorithms in discrete mathematics with online visual logic puzzles"],"prefix":"10.1145","volume":"5","author":[{"given":"John","family":"Cigas","sequence":"first","affiliation":[{"name":"Rockhurst University, Kansas City, MO"}]},{"given":"Wen-Jung","family":"Hsin","sequence":"additional","affiliation":[{"name":"Park University, Parkville, MO"}]}],"member":"320","published-online":{"date-parts":[[2005,6]]},"reference":[{"volume-title":"Discrete Mathematics, 4 th edition","author":"Dossey J.A.","key":"e_1_2_1_1_1","unstructured":"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."},{"key":"e_1_2_1_2_1","volume-title":"Discrete Mathematics: Mathematical Reasoning with Puzzles, Patterns and Games","author":"Ensley D.","year":"2005","unstructured":"Ensley , D. and Crawley , W . 2005 . Discrete Mathematics: Mathematical Reasoning with Puzzles, Patterns and Games . Wiley , New York, NY . Ensley, D. and Crawley, W. 2005. Discrete Mathematics: Mathematical Reasoning with Puzzles, Patterns and Games. Wiley, New York, NY."},{"key":"e_1_2_1_3_1","unstructured":"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"},{"key":"e_1_2_1_4_1","unstructured":"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."},{"key":"e_1_2_1_5_1","unstructured":"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."},{"key":"e_1_2_1_6_1","volume-title":"Discrete Mathematics and Its Applications","author":"Rosen K.H.","year":"2003","unstructured":"Rosen , K.H. 2003. Discrete Mathematics and Its Applications , 5 th edition. McGraw-Hill , New York , 2003 , 247--8. Rosen, K.H. 2003. Discrete Mathematics and Its Applications, 5th edition. McGraw-Hill, New York, 2003, 247--8.","edition":"5"}],"container-title":["Journal on Educational Resources in Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1141904.1141906","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1141904.1141906","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:14:23Z","timestamp":1750259663000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1141904.1141906"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6]]},"references-count":6,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2005,6]]}},"alternative-id":["10.1145\/1141904.1141906"],"URL":"https:\/\/doi.org\/10.1145\/1141904.1141906","relation":{},"ISSN":["1531-4278","1531-4278"],"issn-type":[{"type":"print","value":"1531-4278"},{"type":"electronic","value":"1531-4278"}],"subject":[],"published":{"date-parts":[[2005,6]]},"assertion":[{"value":"2005-06-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}