{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T22:06:09Z","timestamp":1772229969589,"version":"3.50.1"},"reference-count":92,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2025,5,20]],"date-time":"2025-05-20T00:00:00Z","timestamp":1747699200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF K51LECU1G8N3","award":["1842378"],"award-info":[{"award-number":["1842378"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Educ."],"published-print":{"date-parts":[[2025,6,30]]},"abstract":"<jats:p>\n                    It is argued that logic, and in particular mathematical logic, should play a key role in the undergraduate curriculum for students in the computing fields, which include electrical engineering (EE), computer engineering (CE), and computer science (CS). This is based on (1) the history of the field of computing and its close ties with logic, (2) empirical results showing that students with better logical thinking skills perform better in tasks such as programming and mathematics, and (3) the skills students are expected to have in the job market. Further, the authors believe teaching logic to students explicitly will improve student retention, especially involving underrepresented minorities in STEM\n                    <jats:xref ref-type=\"fn\">\n                      <jats:sup>1<\/jats:sup>\n                    <\/jats:xref>\n                    , whose rate of attrition is higher than for non-minority students. Though this work focuses specifically on the computing fields, these results demonstrate the importance of logic education to STEM (science, technology, engineering, and mathematics) as a whole.\n                  <\/jats:p>","DOI":"10.1145\/3721986","type":"journal-article","created":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T09:05:46Z","timestamp":1742202346000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The Importance of Teaching Logic to Computer Scientists and Electrical Engineers"],"prefix":"10.1145","volume":"25","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-2801-6601","authenticated-orcid":false,"given":"Paul","family":"Mayer","sequence":"first","affiliation":[{"name":"Electrical and Computer Engineering, Rice University, Houston, Texas, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0721-8999","authenticated-orcid":false,"given":"Rich","family":"Baraniuk","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering, Rice University, Houston, Texas, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,5,20]]},"reference":[{"issue":"1","key":"e_1_3_2_2_2","first-page":"47","article-title":"Developing a digital logic curriculum in electrical engineering technology: Bridging the gap between industry and academia","volume":"11","author":"Alaraje Nasser","year":"2010","unstructured":"Nasser Alaraje and Aleksandr Sergeyev. 2010. Developing a digital logic curriculum in electrical engineering technology: Bridging the gap between industry and academia. Technology Interface International Journal 11, 1\u00a0(2010), 47.","journal-title":"Technology Interface International Journal"},{"key":"e_1_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1061\/(ASCE)EI.1943-5541.0000364"},{"key":"e_1_3_2_4_2","volume-title":"The Organon","author":"Aristotle","year":"1853","unstructured":"Aristotle. 1853. The Organon. H. G. Bohn."},{"key":"e_1_3_2_5_2","unstructured":"Nina Attridge Andrew Aberdein and Matthew Inglis. 2016. Does studying logic improve logical reasoning? Retrieved from https:\/\/repository.lboro.ac.uk\/articles\/conference_contribution\/Does_studying_logic_improve_logical_reasoning_\/9373463\/1"},{"key":"e_1_3_2_6_2","volume-title":"A Gift of Fire: Social, Legal, and Ethical Issues for Computing Technology","author":"Sara Baase","year":"2012","unstructured":"Sara Baase. 2012. A Gift of Fire: Social, Legal, and Ethical Issues for Computing Technology (4th. ed.). Pearson, Upper Saddle River, NJ.","edition":"4"},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1080\/030437900308544"},{"key":"e_1_3_2_8_2","doi-asserted-by":"publisher","unstructured":"Matthew Baird Moshe Buchinsky and Veronica Sovero. 2016. Decomposing the racial gap in STEM major attrition: A course-level investigation. DOI: 10.2139\/ssrn.2870049","DOI":"10.2139\/ssrn.2870049"},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1037\/0033-2909.128.4.612"},{"key":"e_1_3_2_10_2","volume-title":"Handbook of Mathematical Logic","author":"Barwise J.","year":"1982","unstructured":"J. Barwise. 1982. Handbook of Mathematical Logic. Elsevier."},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/1083431.1083474"},{"key":"e_1_3_2_12_2","volume-title":"A Guide to Writing as an Engineer","author":"Beer David F.","year":"2019","unstructured":"David F. Beer and David A. McMurrey. 2019. A Guide to Writing as an Engineer. John Wiley & Sons."},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.20343\/teachlearninqu.6.2.9"},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/TE.2003.818757"},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1006\/ceps.2000.1048"},{"key":"e_1_3_2_16_2","volume-title":"The Mathematical Analysis of Logic","author":"George Boole","year":"1847","unstructured":"George Boole. 1847. The Mathematical Analysis of Logic. CreateSpace Independent Publishing Platform."},{"key":"e_1_3_2_17_2","volume-title":"The Laws of Thought (1854)","author":"George Boole","year":"1911","unstructured":"George Boole. 1911. The Laws of Thought (1854). Open Court Publishing Company."},{"key":"e_1_3_2_18_2","doi-asserted-by":"crossref","unstructured":"Robert Boyd. 1995. Teaching writing with logic. College Teaching 42 2 (Apr. 1995). Retrieved from https:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/87567555.1995.9925514","DOI":"10.1080\/87567555.1995.9925514"},{"key":"e_1_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/4.643644"},{"key":"e_1_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1080\/14794802.2021.1991463"},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/13.925805"},{"key":"e_1_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1109\/5.811595"},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/3467967"},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1016\/0010-0285(86)90002-2"},{"key":"e_1_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0022481200039396"},{"key":"e_1_3_2_26_2","volume-title":"Introduction to Mathematical Logic","author":"Alonzo Church","year":"1996","unstructured":"Alonzo Church. 1996. Introduction to Mathematical Logic (Reprint ed.). Princeton University Press, Princeton, NJ Chichester, West Sussex."},{"key":"e_1_3_2_27_2","unstructured":"Engineering Accreditation Commission. 2021. Criteria for Accrediting Engineering Programs. Retrieved From https:\/\/www.abet.org\/wp-content\/uploads\/2020\/09\/EAC-Criteria-2020-2021.pdf"},{"key":"e_1_3_2_28_2","volume-title":"Database Systems: A Practical Approach to Design, Implementation, and Management","author":"Connolly Thomas","year":"2014","unstructured":"Thomas Connolly and Carolyn Begg. 2014. Database Systems: A Practical Approach to Design, Implementation, and Management (6th. ed.). Pearson, Boston.","edition":"6"},{"key":"e_1_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.5555\/1734064"},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/800116.803756"},{"key":"e_1_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/12274.003.0036"},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00283-022-10177-y"},{"key":"e_1_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1080\/01445340310001604707"},{"key":"e_1_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/ECTIDAMTNCON53731.2022.9720360"},{"key":"e_1_3_2_35_2","volume-title":"The Universal Computer: The Road from Leibniz to Turing","year":"2000","unstructured":"Martin Davis. 2000. The Universal Computer: The Road from Leibniz to Turing (1st. ed.). W. W. Norton & Company, New York, NY.","edition":"1"},{"key":"e_1_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1145\/76380.76381"},{"key":"e_1_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/11740.001.0001"},{"issue":"12","key":"e_1_3_2_38_2","first-page":"1398","article-title":"On the cruelty of really teaching computing science","volume":"32","author":"Dijkstra Edsger W.","year":"1989","unstructured":"Edsger W. Dijkstra. 1989. On the cruelty of really teaching computing science. Communications of the ACM 32, 12 (1989), 1398\u20131404.","journal-title":"Communications of the ACM"},{"issue":"2","key":"e_1_3_2_39_2","first-page":"154","article-title":"A walk through Johnny von Neumann\u2019s garden","volume":"60","author":"Dyson Freeman","year":"2013","unstructured":"Freeman Dyson. 2013. A walk through Johnny von Neumann\u2019s garden. Notices of the AMs 60, 2 (2013), 154\u2013161.","journal-title":"Notices of the AMs"},{"key":"e_1_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.2003.11920029"},{"key":"e_1_3_2_41_2","doi-asserted-by":"publisher","DOI":"10.31468\/cjsdwr.420"},{"key":"e_1_3_2_42_2","unstructured":"Michael Genesereth and Vinay Chaudhri. 2019. Logic in Secondary Education."},{"key":"e_1_3_2_43_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10639-016-9538-1"},{"key":"e_1_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.11120\/ened.2010.05020026"},{"key":"e_1_3_2_45_2","volume-title":"The Computer from Pascal to Von Neumann","author":"Goldstine Herman H.","year":"1993","unstructured":"Herman H. Goldstine. 1993. The Computer from Pascal to Von Neumann. Princeton University Press."},{"key":"e_1_3_2_46_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01700692"},{"key":"e_1_3_2_47_2","doi-asserted-by":"publisher","DOI":"10.2307\/2321415"},{"key":"e_1_3_2_48_2","doi-asserted-by":"publisher","DOI":"10.2307\/268777540"},{"key":"e_1_3_2_49_2","volume-title":"Digital Design and Computer Architecture","author":"Harris David","year":"2012","unstructured":"David Harris and Sarah Harris. 2012. Digital Design and Computer Architecture. Elsevier."},{"key":"e_1_3_2_50_2","first-page":"12","article-title":"Is mathematical logic needed in electrical engineering","author":"Hietalahti Lauri","year":"2010","unstructured":"Lauri Hietalahti. 2010. Is mathematical logic needed in electrical engineering? Scientific Bulletin. Series, Mathematical Modeling in Civil Engineering (Nov. 2010), 12\u201322.","journal-title":"Scientific Bulletin. Series, Mathematical Modeling in Civil Engineering"},{"key":"e_1_3_2_51_2","author":"Holliday Wesley H.","year":"2024","unstructured":"Wesley H. Holliday, Matthew Mandelkern, and Cedegao E. Zhang. 2024. Conditional and modal reasoning in large language models. arXiv:2401.17169. Retrieved from https:\/\/doi.org\/10.48550\/arXiv.2401.17169","journal-title":"Conditional and modal reasoning in large language models"},{"key":"e_1_3_2_52_2","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Horn Laurence R.","unstructured":"Laurence R. Horn. 2018. Contradiction. In The Stanford Encyclopedia of Philosophy (Winter 2018 ed.). Edward N. Zalta (Ed.), Metaphysics Research Lab, Stanford University. Retrieved from https:\/\/plato.stanford.edu\/archives\/win2018\/entries\/contradiction\/","edition":"2018"},{"key":"e_1_3_2_53_2","doi-asserted-by":"publisher","DOI":"10.5206\/cjsotl-rcacea.2010.1.2"},{"key":"e_1_3_2_54_2","doi-asserted-by":"publisher","DOI":"10.1145\/364005.364033"},{"key":"e_1_3_2_55_2","doi-asserted-by":"publisher","DOI":"10.1080\/07380569.2023.2220696"},{"key":"e_1_3_2_56_2","doi-asserted-by":"publisher","DOI":"10.2307\/2372027"},{"key":"e_1_3_2_57_2","doi-asserted-by":"publisher","DOI":"10.1515\/9781400882618-002"},{"issue":"3","key":"e_1_3_2_58_2","first-page":"115","article-title":"Universal sequential search problems","volume":"9","author":"Levin Leonid Anatolevich","year":"1973","unstructured":"Leonid Anatolevich Levin. 1973. Universal sequential search problems. Problemy peredachi informatsii 9, 3 (1973), 115\u2013116.","journal-title":"Problemy peredachi informatsii"},{"key":"e_1_3_2_59_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3392499"},{"key":"e_1_3_2_60_2","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2014.7044414"},{"key":"e_1_3_2_61_2","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2013.6684788"},{"key":"e_1_3_2_62_2","doi-asserted-by":"publisher","DOI":"10.1093\/applin\/18.2.189"},{"key":"e_1_3_2_63_2","first-page":"13","volume-title":"Proceedings of the International Conference \u2018The Future Of Education\u2019","author":"Milbou Lotte","year":"2013","unstructured":"Lotte Milbou, Johan Deprez, and R. Laenens. 2013. A study on the reintroduction of logic in secondary schools. In Proceedings of the International Conference \u2018The Future Of Education\u2019, 13\u201314."},{"key":"e_1_3_2_64_2","doi-asserted-by":"publisher","DOI":"10.2979\/teachlearninqu.3.2.37"},{"key":"e_1_3_2_65_2","doi-asserted-by":"publisher","DOI":"10.4324\/9780429202780"},{"key":"e_1_3_2_66_2","doi-asserted-by":"publisher","DOI":"10.1145\/319059.31907112"},{"key":"e_1_3_2_67_2","doi-asserted-by":"publisher","DOI":"10.1002\/j.2168-9830.2008.tb00978.x"},{"key":"e_1_3_2_68_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39993-3_1"},{"key":"e_1_3_2_69_2","volume-title":"Introduction to Computing Systems: From Bits & Gates to C & Beyond","author":"Patt Yale N.","year":"2003","unstructured":"Yale N. Patt and Sanjay J. Patel. 2003. Introduction to Computing Systems: From Bits & Gates to C & Beyond (2nd. ed.). McGraw Hill, Boston.","edition":"2"},{"key":"e_1_3_2_70_2","volume-title":"On the Epistemology of Data Science: Conceptual Tools for a New Inductivism","author":"Pietsch Wolfgang","year":"2021","unstructured":"Wolfgang Pietsch. 2021. On the Epistemology of Data Science: Conceptual Tools for a New Inductivism. Springer Nature."},{"key":"e_1_3_2_71_2","article-title":"Improving language understanding by generative pre-training","author":"Radford Alec","year":"2018","unstructured":"Alec Radford, Karthik Narasimhan, Tim, Salimans, and Ilya, Sutskever. 2018. Improving language understanding by generative pre-training. OpenAI (2018).","journal-title":"OpenAI"},{"key":"e_1_3_2_72_2","unstructured":"Steve Reeves and Michael Clarke. 1990. Logic for Computer Science. Addison Wesley Publishing Company."},{"key":"e_1_3_2_73_2","volume-title":"Discrete Mathematics and Its Applications Seventh Edition","author":"Rosen Kenneth","year":"2011","unstructured":"Kenneth Rosen. 2011. Discrete Mathematics and Its Applications Seventh Edition (7th. ed.). McGraw Hill, New York.","edition":"7"},{"key":"e_1_3_2_74_2","unstructured":"Cynthia Selby and John Woollard. 2013. Computational thinking: The developing definition. Retrieved from https:\/\/eprints.soton.ac.uk\/356481\/"},{"key":"e_1_3_2_75_2","doi-asserted-by":"publisher","DOI":"10.5040\/9781350057142"},{"key":"e_1_3_2_76_2","doi-asserted-by":"publisher","DOI":"10.1109\/EE.1938.6431064"},{"key":"e_1_3_2_77_2","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Shapiro Stewart","year":"2024","unstructured":"Stewart Shapiro and Teresa Kouri Kissel. 2024. Classical Logic. In The Stanford Encyclopedia of Philosophy (Spring 2024 ed.). Edward N. Zalta and Uri Nodelman (Eds.), Metaphysics Research Lab, Stanford University. Retrieved from https:\/\/plato.stanford.edu\/archives\/spr2024\/entries\/logic-classical\/","edition":"2024"},{"key":"e_1_3_2_78_2","doi-asserted-by":"publisher","DOI":"10.1016\/0010-0277(95)00666-M"},{"key":"e_1_3_2_79_2","unstructured":"Kaye Stacey. 2006. What is mathematical thinking and why is it important. Progress report of the APEC project: Collaborative studies on innovations for teaching and learning mathematics in different cultures (II)\u2014Lesson study focusing on mathematical thinking."},{"key":"e_1_3_2_80_2","volume-title":"Linear Algebra and Its Applications","author":"Strang Gilbert","year":"2006","unstructured":"Gilbert Strang. 2006. Linear Algebra and Its Applications (4th. ed.). Thomson, Brooks\/Cole","edition":"4"},{"key":"e_1_3_2_81_2","volume-title":"Losing the Precious Few: How America Fails to Educate Its Minorities in Science and Engineering","author":"Tapia Richard","year":"2022","unstructured":"Richard Tapia. 2022. Losing the Precious Few: How America Fails to Educate Its Minorities in Science and Engineering. Arte Publico Press."},{"key":"e_1_3_2_82_2","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198250791.003.0007"},{"key":"e_1_3_2_83_2","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s2-42.1.230_eprint"},{"key":"e_1_3_2_84_2","unstructured":"Lionel Sujay Vailshery. 2024. Most used languages among software developers globally 2023. Retrieved from https:\/\/www.statista.com\/statistics\/793628\/worldwide-developer-survey-most-used-languages\/"},{"issue":"3","key":"e_1_3_2_85_2","article-title":"A model for freshman engineering retention","volume":"1","author":"Veenstra Cindy P.","year":"2009","unstructured":"Cindy P. Veenstra, Eric L. Dey, and Gary D. Herrin. 2009. A model for freshman engineering retention. Advances in Engineering Education 1, 3 (Jan. 2009). Retrieved from https:\/\/eric.ed.gov\/?id=EJ1076050","journal-title":"Advances in Engineering Education"},{"key":"e_1_3_2_86_2","doi-asserted-by":"publisher","DOI":"10.1017\/9781108539890"},{"key":"e_1_3_2_87_2","first-page":"199","article-title":"Zur einf\u00fchrung der transfiniten zahlen","volume":"1","author":"Neumann John Von","year":"1923","unstructured":"John Von Neumann. 1923. Zur einf\u00fchrung der transfiniten zahlen. Acta Litterarum ac Scientiarum Regiae Universitatis Hungaricae Francisco-Josephinae, sectio scientiarum mathematicarum 1 (1923), 199\u2013208.","journal-title":"Acta Litterarum ac Scientiarum Regiae Universitatis Hungaricae Francisco-Josephinae, sectio scientiarum mathematicarum"},{"key":"e_1_3_2_88_2","doi-asserted-by":"publisher","DOI":"10.1515\/crll.1925.154.219"},{"key":"e_1_3_2_89_2","doi-asserted-by":"publisher","DOI":"10.1109\/85.238389"},{"key":"e_1_3_2_90_2","doi-asserted-by":"publisher","DOI":"10.1080\/14640746808400161"},{"key":"e_1_3_2_91_2","doi-asserted-by":"publisher","DOI":"10.1080\/09500693.2021.1900623"},{"key":"e_1_3_2_92_2","doi-asserted-by":"publisher","DOI":"10.1142\/9789814503488_0018"},{"key":"e_1_3_2_93_2","doi-asserted-by":"publisher","DOI":"10.1145\/1118178.1118215"}],"container-title":["ACM Transactions on Computing Education"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3721986","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3721986","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T21:38:28Z","timestamp":1772228308000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3721986"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,20]]},"references-count":92,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,6,30]]}},"alternative-id":["10.1145\/3721986"],"URL":"https:\/\/doi.org\/10.1145\/3721986","relation":{},"ISSN":["1946-6226"],"issn-type":[{"value":"1946-6226","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,5,20]]},"assertion":[{"value":"2025-02-18","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-03-02","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-05-20","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}