{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:33:55Z","timestamp":1750221235787,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,2]],"date-time":"2018-07-02T00:00:00Z","timestamp":1530489600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["DUE-1504860"],"award-info":[{"award-number":["DUE-1504860"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,2]]},"DOI":"10.1145\/3197091.3197127","type":"proceedings-article","created":{"date-parts":[[2018,6,20]],"date-time":"2018-06-20T20:15:46Z","timestamp":1529525746000},"page":"135-140","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Lab exercises for a discrete structures course: exploring logic and relational algebra with Alloy"],"prefix":"10.1145","author":[{"given":"Laura E.","family":"Brown","sequence":"first","affiliation":[{"name":"Michigan Technological University, USA"}]},{"given":"Adam","family":"Feltz","sequence":"additional","affiliation":[{"name":"Michigan Technological University, USA"}]},{"given":"Charles","family":"Wallace","sequence":"additional","affiliation":[{"name":"Michigan Technological University, USA"}]}],"member":"320","published-online":{"date-parts":[[2018,7,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2663342"},{"key":"e_1_3_2_1_2_1","unstructured":"D. Barker-Plummer J. Barwise and J. Etchemendy. 2007. Language Proof and Logic. CSLI Publications.   D. Barker-Plummer J. Barwise and J. Etchemendy. 2007. Language Proof and Logic. CSLI Publications."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/2021573"},{"volume-title":"Proceedings of Formal Methods in Computer Science Education.","author":"Boyatt R.C.","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.3102\/0034654314564881"},{"key":"e_1_3_2_1_6_1","first-page":"75","article-title":"Gamification in Education: A Systematic Mapping Study","volume":"18","author":"Dicheva Darina","year":"2015","journal-title":"Journal of Educational Technology & Society"},{"key":"e_1_3_2_1_7_1","unstructured":"Kees Doets and Jan van Eijck. 2004. The Haskell Road to Logic Maths and Programming. College Publications.  Kees Doets and Jan van Eijck. 2004. The Haskell Road to Logic Maths and Programming. College Publications."},{"volume-title":"ORGANON: Learning Management System for Basic Logic Courses. In Tools for Teaching Logic, Patrick Blackburn, Hans van Ditmarsch, Mar\u00eda Manzano, and Fernando Soler-Toscano (Eds.)","year":"2011","author":"Dostalova Ludmila","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1037\/0022-3514.92.6.1087"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2647868.2647880"},{"key":"e_1_3_2_1_11_1","unstructured":"W. Grassman and J-P. Tremblay. 1996. Logic and Discrete Mathematis: A Computer Science Perspective. Prentice Hall.   W. Grassman and J-P. Tremblay. 1996. Logic and Discrete Mathematis: A Computer Science Perspective. Prentice Hall."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"D. Gries and F. Schneider. 1993. A Logical Approach to Discrete Math. Springer-Verlag.   D. Gries and F. Schneider. 1993. A Logical Approach to Discrete Math. Springer-Verlag.","DOI":"10.1007\/978-1-4757-3837-7"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Cordilia Hall and John O\u2019Donnell. 2000. Discrete Mathematics Using a Computer. Springer.   Cordilia Hall and John O\u2019Donnell. 2000. Discrete Mathematics Using a Computer. Springer.","DOI":"10.1007\/978-1-4471-3657-6"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03364-3_41"},{"key":"e_1_3_2_1_15_1","unstructured":"Eileen Head. 1998. ASSIST: A Simple Simulator for State Transitions. Ph.D. Dissertation. http:\/\/www.cs.binghamton.edu\/~software  Eileen Head. 1998. ASSIST: A Simple Simulator for State Transitions. Ph.D. Dissertation. http:\/\/www.cs.binghamton.edu\/~software"},{"key":"e_1_3_2_1_16_1","first-page":"35","article-title":"Teaching logic using a state-of-the-art proof assistant","volume":"3","author":"Hendriks Maxim","year":"2010","journal-title":"Acta Didactica Napocensia"},{"volume-title":"Software Abstractions: Logic, Language and Analysis","year":"2012","author":"Jackson D.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","unstructured":"Joint Task Force on Computing Curricula. 2013. Computer Science Curricula 2013: Curriculum Guidelines for Undergraduate Degree Programs in Computer Science. ACM and IEEE Computer Society.   Joint Task Force on Computing Curricula. 2013. Computer Science Curricula 2013: Curriculum Guidelines for Undergraduate Degree Programs in Computer Science. ACM and IEEE Computer Society."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.17275\/per.14.02.1.1"},{"key":"e_1_3_2_1_20_1","unstructured":"Eric Lehman F. Thomas Leighton and Albert R. Meyer. 2017. Mathematics for Computer Science. Samurai Media Limited.   Eric Lehman F. Thomas Leighton and Albert R. Meyer. 2017. Mathematics for Computer Science. Samurai Media Limited."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10648-010-9125-8"},{"key":"e_1_3_2_1_22_1","first-page":"15","article-title":"Educational Software for First Order Logic Semantics in Introductory Logic Courses","volume":"12","author":"Mauco Maria Virginia","year":"2014","journal-title":"Information Systems Education Journal"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3159450.3159609"},{"key":"e_1_3_2_1_24_1","unstructured":"Beseme Project. 2003. http:\/\/www.cs.ou.edu\/~beseme\/index.html  Beseme Project. 2003. http:\/\/www.cs.ou.edu\/~beseme\/index.html"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.3102\/0034654310374880"},{"key":"e_1_3_2_1_26_1","unstructured":"Susan Rodger and Thomas Finley. 2006. JFLAP \u2014 An Interactive Formal Languages and Automata Package. Jones and Bartlett.   Susan Rodger and Thomas Finley. 2006. JFLAP \u2014 An Interactive Formal Languages and Automata Package. Jones and Bartlett."},{"key":"e_1_3_2_1_27_1","unstructured":"K.H. Rosen. 2012. Discrete Mathematics and Its Applications (7 ed.). McGraw-Hill.  K.H. Rosen. 2012. Discrete Mathematics and Its Applications (7 ed.). McGraw-Hill."},{"key":"e_1_3_2_1_28_1","unstructured":"Christian D. Schunn and Mellisa M. Patchan. 2009. An Evaluation of Accelerated Learning in the CMU Open Learning Initiative Course \u201cLogic & Proofs\u201d.  Christian D. Schunn and Mellisa M. Patchan. 2009. An Evaluation of Accelerated Learning in the CMU Open Learning Initiative Course \u201cLogic & Proofs\u201d."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzm026"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04912-5_6"},{"key":"e_1_3_2_1_31_1","unstructured":"Springer Lecture Notes in Computer Science 72\u201391.  Springer Lecture Notes in Computer Science 72\u201391."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"Leo C. Ureel and Charles Wallace. 2016. Discrete Mathematics for Computing Students: A Programming Oriented Approach with Alloy. In Frontiers in Education.  Leo C. Ureel and Charles Wallace. 2016. Discrete Mathematics for Computing Students: A Programming Oriented Approach with Alloy. In Frontiers in Education.","DOI":"10.1109\/FIE.2016.7757641"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048147.2048180"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3159450.3162349"},{"key":"e_1_3_2_1_35_1","unstructured":"E. Wiebe L. Williams K. Yang and C. Miller. 2003. Computer science attitude survey. http:\/\/www4.ncsu.edu\/~wiebe\/www\/articles\/prl-tr-2003-1.pdf  E. Wiebe L. Williams K. Yang and C. Miller. 2003. Computer science attitude survey. http:\/\/www4.ncsu.edu\/~wiebe\/www\/articles\/prl-tr-2003-1.pdf"}],"event":{"name":"ITiCSE '18: 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Larnaca Cyprus","acronym":"ITiCSE '18"},"container-title":["Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3197091.3197127","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3197091.3197127","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3197091.3197127","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:07:15Z","timestamp":1750212435000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3197091.3197127"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,2]]},"references-count":35,"alternative-id":["10.1145\/3197091.3197127","10.1145\/3197091"],"URL":"https:\/\/doi.org\/10.1145\/3197091.3197127","relation":{},"subject":[],"published":{"date-parts":[[2018,7,2]]},"assertion":[{"value":"2018-07-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}