{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T07:16:25Z","timestamp":1776323785781,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,3,3]],"date-time":"2021-03-03T00:00:00Z","timestamp":1614729600000},"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":["CCF-1414078 and CCF-1954837"],"award-info":[{"award-number":["CCF-1414078 and CCF-1954837"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-20-1-2751"],"award-info":[{"award-number":["N00014-20-1-2751"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,3,3]]},"DOI":"10.1145\/3408877.3432537","type":"proceedings-article","created":{"date-parts":[[2021,3,5]],"date-time":"2021-03-05T18:46:01Z","timestamp":1614969961000},"page":"1156-1162","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Discrete Math with Programming"],"prefix":"10.1145","author":[{"given":"Yanhong A.","family":"Liu","sequence":"first","affiliation":[{"name":"Stony Brook University, Stony Brook, NY, USA"}]},{"given":"Matthew","family":"Castellana","sequence":"additional","affiliation":[{"name":"Stony Brook University, Stony Brook, NY, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,3,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Ullman","author":"Aho Alfred V.","year":"1994","unstructured":"Alfred V. Aho and Jeffrey D . Ullman . 1994 . Foundations of Computer Science: C Edition .W. H. Freeman . Alfred V. Aho and Jeffrey D. Ullman. 1994. Foundations of Computer Science: C Edition .W. H. Freeman."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/268809.268827"},{"key":"e_1_3_2_1_3_1","volume-title":"Proof Editor","author":"Bj\u00f6rnsson Elin","unstructured":"Elin Bj\u00f6rnsson , Fredrik Johansson , Jan Liu , Jesper Olsson , Henry Ly , and Andreas Widbom . 2017. Proof Editor for Natural Deduction in First-order Logic : The Evaluation of an Educational Aiding Tool for Students Learning Logic . Bachelor Thesis. Chalmers University of Technology, University of Gothenburg . Elin Bj\u00f6rnsson, Fredrik Johansson, Jan Liu, Jesper Olsson, Henry Ly, and Andreas Widbom. 2017. Proof Editor for Natural Deduction in First-order Logic: The Evaluation of an Educational Aiding Tool for Students Learning Logic . Bachelor Thesis. Chalmers University of Technology, University of Gothenburg."},{"key":"e_1_3_2_1_4_1","volume-title":"Discrete Mathematics","author":"Chartrand Gary","unstructured":"Gary Chartrand and Ping Zhang . 2011. Discrete Mathematics . Waveland Press . Gary Chartrand and Ping Zhang. 2011. Discrete Mathematics .Waveland Press."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1141904.1141906"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/953053.808079"},{"key":"e_1_3_2_1_7_1","volume-title":"Discrete Mathematics: Introduction to Mathematical Reasoning","author":"Epp Susanna S","year":"2011","unstructured":"Susanna S Epp . 2011 a. Discrete Mathematics: Introduction to Mathematical Reasoning . Nelson Education . Susanna S Epp. 2011a. Discrete Mathematics: Introduction to Mathematical Reasoning .Nelson Education."},{"key":"e_1_3_2_1_8_1","volume-title":"Discrete Mathematics with Applications","author":"Epp Susanna S","unstructured":"Susanna S Epp . 2011b. Discrete Mathematics with Applications 4 th ed.). Nelson Education . Susanna S Epp. 2011b. Discrete Mathematics with Applications 4th ed.). Nelson Education.","edition":"4"},{"key":"e_1_3_2_1_9_1","unstructured":"Leo Geurts Lambert Meertens and Steven Pemberton. 1990. ABC Programmer's Handbook . https:\/\/homepages.cwi.nl\/ steven\/abc\/programmers\/handbook.html  Leo Geurts Lambert Meertens and Steven Pemberton. 1990. ABC Programmer's Handbook . https:\/\/homepages.cwi.nl\/ steven\/abc\/programmers\/handbook.html"},{"key":"e_1_3_2_1_10_1","volume-title":"A Logical Approach to Discrete Math","author":"Gries David","unstructured":"David Gries and Fred B Schneider . 2013. A Logical Approach to Discrete Math . Springer Science & Business Media . David Gries and Fred B Schneider. 2013. A Logical Approach to Discrete Math .Springer Science & Business Media."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/165408.165414"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3328778.3372686"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0898-1221(75)90011-5"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.26599\/TST.2019.9010012"},{"key":"e_1_3_2_1_15_1","volume-title":"Systematic Program Design: From Clarity To Efficiency","author":"Liu Yanhong Annie","unstructured":"Yanhong Annie Liu . 2013. Systematic Program Design: From Clarity To Efficiency . Cambridge University Press . Yanhong Annie Liu. 2013. Systematic Program Design: From Clarity To Efficiency .Cambridge University Press."},{"key":"e_1_3_2_1_16_1","first-page":"15","volume-title":"Liu and Matthew Castellana","author":"Yanhong","year":"2020","unstructured":"Yanhong A. Liu and Matthew Castellana . 2020 . Discrete Math with Programming : A Principled Approach. Computing Research Repository , Vol. arXiv: 2011 .14059 [cs.CY] (Nov. 2020), bibinfonumpages 15 pages. Yanhong A. Liu and Matthew Castellana. 2020. Discrete Math with Programming: A Principled Approach. Computing Research Repository , Vol. arXiv:2011.14059 [cs.CY] (Nov. 2020), bibinfonumpages15 pages."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2994595"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384645"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(94)00031-9"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111542.1111562"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3328778.3372544"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/382200.382202"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1227504.1227348"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1229637.1229638"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1953163.1953247"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1900008.1900060"},{"key":"e_1_3_2_1_27_1","volume-title":"Hacking Discrete Math with Python 3","author":"Romeo Isabella","unstructured":"Isabella Romeo . 2018. Hacking Discrete Math with Python 3 . CreateSpace Independent Publishing Platform . Isabella Romeo. 2018. Hacking Discrete Math with Python 3 .CreateSpace Independent Publishing Platform."},{"key":"e_1_3_2_1_28_1","volume-title":"Discrete Mathematics and Its Applications","author":"Rosen Kenneth H","unstructured":"Kenneth H Rosen . 2012. Discrete Mathematics and Its Applications 7 th ed.). McGraw-Hill . Kenneth H Rosen. 2012. Discrete Mathematics and Its Applications 7th ed.). McGraw-Hill.","edition":"7"},{"key":"e_1_3_2_1_29_1","volume-title":"Computational Logic and Set Theory: Applying Formalized Logic to Analysis","author":"Schwartz Jacob T","unstructured":"Jacob T Schwartz , Domenico Cantone , and Eugenio G Omodeo . 2011. Computational Logic and Set Theory: Applying Formalized Logic to Analysis . Springer . Jacob T Schwartz, Domenico Cantone, and Eugenio G Omodeo. 2011. Computational Logic and Set Theory: Applying Formalized Logic to Analysis .Springer."},{"key":"e_1_3_2_1_30_1","volume-title":"Dubinsky, and Edmond Schonberg","author":"Schwartz Jacob T.","year":"1986","unstructured":"Jacob T. Schwartz , Robert B. K. Dewar , Ed Dubinsky, and Edmond Schonberg . 1986 . Programming with Sets : An Introduction to SETL .Springer. Jacob T. Schwartz, Robert B. K. Dewar, Ed Dubinsky, and Edmond Schonberg. 1986. Programming with Sets: An Introduction to SETL .Springer."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1566445.1566511"},{"key":"e_1_3_2_1_32_1","volume-title":"A Gentle Introduction to Discrete Math Featuring Python","author":"Stavely Allan M.","unstructured":"Allan M. Stavely . 2014. A Gentle Introduction to Discrete Math Featuring Python . The New Mexico Tech Press . Allan M. Stavely. 2014. A Gentle Introduction to Discrete Math Featuring Python .The New Mexico Tech Press."},{"key":"e_1_3_2_1_33_1","volume-title":"Computer Science Curricula","author":"The Joint Task Force on Computing Curricula. 2013.","year":"2013","unstructured":"The Joint Task Force on Computing Curricula. 2013. Computer Science Curricula 2013 . Technical Report. ACM and IEEE Computer Society . https:\/\/www.acm.org\/binaries\/content\/assets\/education\/cs2013_web_final.pdf. The Joint Task Force on Computing Curricula. 2013. Computer Science Curricula 2013. Technical Report. ACM and IEEE Computer Society. https:\/\/www.acm.org\/binaries\/content\/assets\/education\/cs2013_web_final.pdf."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2016.7757641"},{"key":"e_1_3_2_1_35_1","first-page":"8","volume-title":"Proceedings of the NLUUG najaarsconferentie. Dutch UNIX users group","author":"Rossum Guido Van","year":"1993","unstructured":"Guido Van Rossum . 1993 . An Introduction to Python for UNIX\/C Programmers . Proceedings of the NLUUG najaarsconferentie. Dutch UNIX users group (1993), bibinfonumpages 8 pages. Guido Van Rossum. 1993. An Introduction to Python for UNIX\/C Programmers . Proceedings of the NLUUG najaarsconferentie. Dutch UNIX users group (1993), bibinfonumpages8 pages."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3078325"},{"key":"e_1_3_2_1_37_1","unstructured":"Hillel Wayne. 2020. Alloy Documentation.  Hillel Wayne. 2020. Alloy Documentation."}],"event":{"name":"SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education","location":"Virtual Event USA","acronym":"SIGCSE '21","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 52nd ACM Technical Symposium on Computer Science Education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3408877.3432537","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3408877.3432537","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3408877.3432537","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:26Z","timestamp":1750195466000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3408877.3432537"}},"subtitle":["A Principled Approach"],"short-title":[],"issued":{"date-parts":[[2021,3,3]]},"references-count":37,"alternative-id":["10.1145\/3408877.3432537","10.1145\/3408877"],"URL":"https:\/\/doi.org\/10.1145\/3408877.3432537","relation":{},"subject":[],"published":{"date-parts":[[2021,3,3]]},"assertion":[{"value":"2021-03-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}