skip to main content
10.1145/3649409.3691070acmconferencesArticle/Chapter ViewAbstractPublication PagessigcseConference Proceedingsconference-collections
abstract

A Survey of Undergraduate Theory of Computing Curricula

Published: 05 December 2024 Publication History

Abstract

Theory of Computing (ToC) is an important aspect of nearly every undergraduate CS curriculum, as it concerns what computation fundamentally means. However, there has been little research into ToC pedagogy, both within the classroom and how it fits within its institutional context. We propose in this working group to create a survey of current ToC pedagogy. Our goals are to create a standard for teaching ToC, find trends, determine under-researched areas, and to build a community among ToC educators.

References

[1]
Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, and Mahesh Viswanathan. 2013. Automated Grading of DFA Constructions. In IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3--9, 2013, Francesca Rossi (Ed.). IJCAI/AAAI, 1976--1982. http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6759
[2]
Dave Berque, David K Johnson, and Larry Jovanovic. 2001. Teaching theory of computation using pen-based computers and an electronic whiteboard. ACM SIGCSE Bulletin, Vol. 33, 3 (2001), 169--172.
[3]
Ryan E. Dougherty. 2024. Designing Theory of Computing Backwards. In Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 2 (Portland, OR, USA) (SIGCSE 2024). Association for Computing Machinery, New York, NY, USA, 1628--1629. https://doi.org/10.1145/3626253.3635479
[4]
Ryan E. Dougherty. 2024. Experiences Using Research Processes in an Undergraduate Theory of Computing Course. In Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1 (Portland, OR, USA) (SIGCSE 2024). Association for Computing Machinery, New York, NY, USA, 310--316. https://doi.org/10.1145/3626252.3630849
[5]
J. Philip East. 2006. On Models of and for Teaching: Toward Theory-Based Computing Education. In Proceedings of the Second International Workshop on Computing Education Research (Canterbury, United Kingdom) (ICER '06). Association for Computing Machinery, New York, NY, USA, 41--50. https://doi.org/10.1145/1151588.1151596
[6]
Jeff Erickson, Jason Xia, Eliot Wong Robson, Tue Do, Aidan Tzur Glickman, Zhuofan Jia, Eric Jin, Jiwon Lee, Patrick Lin, Steven Pan, et al. 2023. Auto-graded scaffolding exercises for theoretical computer science. In ASEE Annual Conference and Exposition, Conference Proceedings.
[7]
Joan Krone. 1992. Student Designed Machines for a Theory of Computation Course. SIGCSE Bull., Vol. 24, 3 (sep 1992), 51--52. https://doi.org/10.1145/142040.142075
[8]
Michael Luu, Matthew Ferland, Varun Nagaraj Rao, Arushi Arora, Randy Huynh, Frederick Reiber, Jennifer Wong-Ma, and Michael Shindler. 2023. What is an Algorithms Course? Survey Results of Introductory Undergraduate Algorithms Courses in the U.S. In Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1 (Toronto ON, Canada) (SIGCSE 2023). Association for Computing Machinery, New York, NY, USA, 284--290. https://doi.org/10.1145/3545945.3569820
[9]
Mostafa Mohammed, Clifford A. Shaffer, and Susan H. Rodger. 2021. Teaching Formal Languages with Visualizations and Auto-Graded Exercises. In Proceedings of the 52nd ACM Technical Symposium on Computer Science Education (Virtual Event, USA) (SIGCSE '21). Association for Computing Machinery, New York, NY, USA, 569--575. https://doi.org/10.1145/3408877.3432398
[10]
ACM Joint Task Force on Computer Science Curricula. 2024. Computer Science Curricula 2023. https://csed.acm.org/wp-content/uploads/2024/05/The-Report.pdf
[11]
Nelishia Pillay. 2010. Learning Difficulties Experienced by Students in a Course on Formal Languages and Automata Theory. SIGCSE Bull., Vol. 41, 4 (jan 2010), 48--52. https://doi.org/10.1145/1709424.1709444
[12]
Tim Randolph. 2024. Participatory Governance in the Computer Science Theory Classroom. In Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1. 1091--1097.
[13]
Eliot Wong Robson, Sam Ruggerio, and Jeff Erickson. 2024. FSM Builder: A Tool for Writing Autograded Finite Automata Questions. In Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1 (Milan, Italy) (ITiCSE 2024). Association for Computing Machinery, New York, NY, USA, 269--275. https://doi.org/10.1145/3649217.3653599
[14]
Scott Sigman. 2007. Engaging Students in Formal Language Theory and Theory of Computation. In Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education (Covington, Kentucky, USA) (SIGCSE '07). Association for Computing Machinery, New York, NY, USA, 450--453. https://doi.org/10.1145/1227310.1227463
[15]
Jason Xia and Craig Zilles. 2023. Using Context-Free Grammars to Scaffold and Automate Feedback in Precise Mathematical Writing. In Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1 (Toronto ON, Canada) (SIGCSE 2023). Association for Computing Machinery, New York, NY, USA, 479--485. https://doi.org/10.1145/3545945.3569728

Index Terms

  1. A Survey of Undergraduate Theory of Computing Curricula

      Recommendations

      Comments

      Information & Contributors

      Information

      Published In

      cover image ACM Conferences
      SIGCSE Virtual 2024: Proceedings of the 2024 on ACM Virtual Global Computing Education Conference V. 2
      December 2024
      292 pages
      ISBN:9798400706042
      DOI:10.1145/3649409
      Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

      Sponsors

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      Published: 05 December 2024

      Check for updates

      Author Tags

      1. algorithm design
      2. cs course design
      3. cs pedagogy
      4. technical cs course
      5. theory of computing

      Qualifiers

      • Abstract

      Conference

      SIGCSE Virtual 2024
      Sponsor:

      Acceptance Rates

      Overall Acceptance Rate 1,787 of 5,146 submissions, 35%

      Upcoming Conference

      SIGCSE TS 2025
      The 56th ACM Technical Symposium on Computer Science Education
      February 26 - March 1, 2025
      Pittsburgh , PA , USA

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • 0
        Total Citations
      • 58
        Total Downloads
      • Downloads (Last 12 months)58
      • Downloads (Last 6 weeks)23
      Reflects downloads up to 16 Feb 2025

      Other Metrics

      Citations

      View Options

      Login options

      View options

      PDF

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader

      Figures

      Tables

      Media

      Share

      Share

      Share this Publication link

      Share on social media