research-article

Evaluating proof blocks problems as exam questions

Authors:

Seth Poulsen,

Mahesh Viswanathan,

Geoffrey L. Herman,

Matthew WestAuthors Info & Claims

ACM Inroads, Volume 13, Issue 1

Pages 41 - 51

https://doi.org/10.1145/3514213

Published: 14 February 2022 Publication History

Get Access

References

[1]

William Billingsley and Peter Robinson. 2007. Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book. Journal of Automated Reasoning 39, 2 (2007), 181--218.

Digital Library

Google Scholar

[2]

Richard Bornat and Bernard Sufrin. 1997. Jape: A calculator for animating proof-on-paper. In International Conference on Automated Deduction. Springer, 412--415.

Crossref

Google Scholar

[3]

Joachim Breitner. 2016. Visual theorem proving with the Incredible Proof Machine. In International Conference on Interactive Theorem Proving. Springer, 123--139.

Crossref

Google Scholar

[4]

Paul Denny, Andrew Luxton-Reilly, and Beth Simon. 2008. Evaluating a new exam question: Parsons problems. In Proceedings of the fourth international workshop on computing education research. 113--124.

Digital Library

Google Scholar

[5]

Yuemeng Du, Andrew Luxton-Reilly, and Paul Denny. 2020. A Review of Research on Parsons Problems. In Proceedings of the Twenty-Second Australasian Computing Education Conference(ACE'20). Association for Computing Machinery, New York, NY, USA, 195--202.

Digital Library

Google Scholar

[6]

Douglas E Ensley and J Winston Crawley. 2005. Discrete mathematics: mathematical reasoning and proof with puzzles, patterns, and games. John Wiley & Sons.

Google Scholar

[7]

Barbara J Ericson, Lauren E Margulieux, and Jochen Rick. 2017. Solving parsons problems versus fixing and writing code. In Proceedings of the 17th Koli Calling International Conference on Computing Education Research. 20--29.

Digital Library

Google Scholar

[8]

N. Fraser. 2015. Ten things we've learned from Blockly. In 2015 IEEE Blocks and Beyond Workshop (Blocks and Beyond). 49--50.

Digital Library

Google Scholar

[9]

Ken Goldman, Paul Gross, Cinda Heeren, Geoffrey Herman, Lisa Kaczmarczyk, Michael C Loui, and Craig Zilles. 2008. Identifying important and difficult concepts in introductory computing courses using a delphi process. In Proceedings of the 39th SIGCSE technical symposium on Computer science education. 256--260.

Digital Library

Google Scholar

[10]

Geoffrey L. Herman, Craig Zilles, and Michael C. Loui. 2014. A Psychometric Evaluation of the Digital Logic Concept Inventory. Computer Science Education 24, 4 (2014), 277 -- 303.

Crossref

Google Scholar

[11]

Mark Hodds, Lara Alcock, and Matthew Inglis. 2014. Self-explanation training improves proof comprehension. Journal for Research in Mathematics Education 45, 1 (2014), 62--101.

Crossref

Google Scholar

[12]

Association for Computing Machinery (ACM) Joint Task Force on Computing Curricula and IEEE Computer Society. 2013. Computer Science Curricula 2013: Curriculum Guidelines for Undergraduate Degree Programs in Computer Science. Association for Computing Machinery, New York, NY, USA.

Digital Library

Google Scholar

[13]

Sorin Lerner, Stephen R Foster, and William G Griswold. 2015. Polymorphic blocks: Formalism-inspired UI for structured connectors. In Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. 3063--3072.

Digital Library

Google Scholar

[14]

Frederic M Lord. 1980. Applications of item response theory to practical testing problems. Routledge.

Google Scholar

[15]

John Maloney, Mitchel Resnick, Natalie Rusk, Brian Silverman, and Evelyn Eastmond. 2010. The scratch programming language and environment. ACM Transactions on Computing Education (TOCE) 10, 4 (2010), 1--15.

Digital Library

Google Scholar

[16]

The Joint Task Force on Computing Curricula. 2014. Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering. Technical Report. New York, NY, USA.

Google Scholar

[17]

Dale Parsons and Patricia Haden. 2006. Parson's Programming Puzzles: A Fun and Effective Learning Tool for First Programming Courses. In Proceedings of the 8th Australasian Conference on Computing Education - Volume 52 (Hobart, Australia) (ACE '06). Australian Computer Society, Inc., AUS, 157--163.

Digital Library

Google Scholar

[18]

Leo Porter, Daniel Zingaro, Soohyun Nam Liao, Cynthia Taylor, Kevin C Webb, Cynthia Lee, and Michael Clancy. 2019. BDSI: A validated concept inventory for basic data structures. In Proceedings of the 2019 ACM Conference on International Computing Education Research. 111--119.

Digital Library

Google Scholar

[19]

Seth Poulsen, Geoffrey L. Herman, Peter A.H. Peterson, Enis Enis Golaszewski, Akshita Gorti, Linda Oliva, Travis Scheponik, and Alan T. and Sherman. 2021. Psychometric Evaluation of the Cybersecurity Concept Inventory. ACM Transactions on Computing Education (TOCE) In press (2021).

Google Scholar

[20]

Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman, and Matthew West. 2021. Proof Blocks: Autogradeable Scaffolding Activities for Learning to Write Proofs. arxiv:2106.11032 [cs.CY]

Google Scholar

[21]

R Core Team. 2020. R: A language and environment for statistical computing. R Foundation for Statistical Computing, Vienna, Austria. https://www.R-project.org/

Google Scholar

[22]

Dimitris Rizopoulos. 2006. LTM: An R package for latent variable modelling and item response theory analyses. Journal of Statistical Software 17, 5 (2006), 1--25. http://www.jstatsoft.org/v17/i05/

Crossref

Google Scholar

[23]

Annie Selden and John Selden. 1987. Errors and misconceptions in college level theorem proving. In Proceedings of the second international seminar on misconceptions and educational strategies in science and mathematics, Vol. 3. ERIC, 457--470.

Google Scholar

[24]

Annie Selden and John Selden. 2008. Overcoming Students' Difficulties in Learning to Understand and Construct Proofs. In Making the Connection, Marilyn P. Carlson and Chris Rasmussen (Eds.). The Mathematical Association of America, Washington DC, 95--110.

Crossref

Google Scholar

[25]

Charles Severance, Ted Hanss, and Josepth Hardin. 2010. Ims learning tools interoperability: Enabling a mash-up approach to teaching and learning tools. Technology, Instruction, Cognition and Learning 7, 3-4 (2010), 245--262.

Google Scholar

[26]

Andreas J Stylianides, Kristen N Bieda, and Francesca Morselli. 2016. Proof and argumentation in mathematics education research. In The second handbook of research on the psychology of mathematics education. Brill Sense, 315--351.

Google Scholar

[27]

GJ Stylianides, AJ Stylianides, and K Weber. 2017. Research on the teaching and learning of proof: Taking stock and moving forward. In Compendium for Research in Mathematics Education, Jinfa Cai (Ed.). National Council of Teachers of Mathematics, Chapter 10, 237--266.

Google Scholar

[28]

PrairieLearn Team. 2021. pl-order-blocks Documentation. https://prairielearn.readthedocs.io/en/latest/elements/pl-order-blocks-element

Google Scholar

[29]

PrairieLearn Team. 2021. PrairieLearn Documentation. https://prairielearn.readthedocs.io/en/latest/

Google Scholar

[30]

Association for Computing Machinery (ACM) The Joint Task Force on Computing Curricula and IEEE Computer Society. 2016. Curriculum Guidelines for Undergraduate Degree Programs in Computer Engineering. Technical Report. New York, NY, USA.

Google Scholar

[31]

Lev Semenovich Vygotsky. 1978. Mind in society: The development of higher psychological processes. Harvard university press.

Google Scholar

[32]

Keith Weber. 2001. Student difficulty in constructing proofs: The need for strategic knowledge. Educational Studies in Mathematics 48, 1 (Oct. 2001), 101--119.

Crossref

Google Scholar

[33]

Keith Weber and Lara Alcock. 2004. Semantic and Syntactic Proof Productions. Educational Studies in Mathematics 56, 2 (July 2004), 209--234.

Crossref

Google Scholar

[34]

David Weintrop and Uri Wilensky. 2015. To block or not to block, that is the question: students' perceptions of blocks-based programming. In Proceedings of the 14th international conference on interaction design and children. 199--208.

Digital Library

Google Scholar

[35]

Matthew West, Geoffrey L. Herman, and Craig Zilles. 2015. PrairieLearn: Mastery-based Online Problem Solving with Adaptive Scoring and Recommendations Driven by Machine Learning. In 2015 ASEE Annual Conference & Exposition. ASEE Conferences, Seattle, Washington, 26.1238.1-26.1238.14. https://peer.asee.org/24575.

Crossref

Google Scholar

[36]

David Wood, Jerome S Bruner, and Gail Ross. 1976. The role of tutoring in problem solving. Journal of child psychology and psychiatry 17, 2 (1976), 89--100.

Crossref

Google Scholar

[37]

Benjamin Xie, Matthew J. Davidson, Min Li, and Amy J. Ko. 2019. An item response theory evaluation of a language-independent CS1 knowledge assessment. In Proceedings of the 50th ACM Technical Symposium on Computer Science Education(SIGCSE '19). Association for Computing Machinery, Minneapolis, MN, USA, 699--705.

Digital Library

Google Scholar

Cited By

View all

Wu ZSmith DMonga MLonati VBarendsen ESheard JPaterson J(2024)Evaluating Micro Parsons Problems as Exam QuestionsProceedings of the 2024 on Innovation and Technology in Computer Science Education V. 110.1145/3649217.3653583(674-680)Online publication date: 3-Jul-2024
https://dl.acm.org/doi/10.1145/3649217.3653583

Recommendations

Comments

Information & Contributors

Information

Published In

ACM Inroads Volume 13, Issue 1

March 2022

62 pages

ISSN:2153-2184

EISSN:2153-2192

DOI:10.1145/3519006

Editors:
Margaret Hamilton
RMIT University, Melbourne VIC, Australia
,
James Harland
RMIT University, Melbourne VIC, Australia

Issue’s Table of Contents

Permission to make digital or hard copies of all or part 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 components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 February 2022

Published in INROADS Volume 13, Issue 1

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article
Popular
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
360
Total Downloads

Downloads (Last 12 months)62
Downloads (Last 6 weeks)1

Reflects downloads up to 10 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Wu ZSmith DMonga MLonati VBarendsen ESheard JPaterson J(2024)Evaluating Micro Parsons Problems as Exam QuestionsProceedings of the 2024 on Innovation and Technology in Computer Science Education V. 110.1145/3649217.3653583(674-680)Online publication date: 3-Jul-2024
https://dl.acm.org/doi/10.1145/3649217.3653583

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Cited By

Recommendations

CISSP Practice Questions Exam Cram (4th Edition)

PMP Exam Prep Questions, Answers, & Explanations: 800+ PMP Practice Questions with Detailed Solutions (Volume 1)

CISSP Exam Prep Questions, Answers & Explanations: 1000+ CISSP Practice Questions with Detailed Solutions

Comments

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Digital Edition

Magazine Site

References

Cited By

Recommendations

CISSP Practice Questions Exam Cram (4th Edition)

PMP Exam Prep Questions, Answers, & Explanations: 800+ PMP Practice Questions with Detailed Solutions (Volume 1)

CISSP Exam Prep Questions, Answers & Explanations: 1000+ CISSP Practice Questions with Detailed Solutions

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Get Access

Login options

Full Access

View options

PDF

eReader

Digital Edition

Magazine Site

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations