Syrus: Providing practice problems in discrete mathematics with instant feedback

Diego Zaccai, Aditi Tagore, Dustin Hoffman, Jason Kirschenbaum, Zakariya Bainazarov, Harvey M. Friedman, Dennis K. Pearl, Bruce W. Weide

Research output: Contribution to conferencePaperpeer-review

1 Scopus citations

Abstract

Syrus is courseware designed with the goal of helping students better understand logical sentences involving quantifiers. Syrus uses template-guided mutation of "seed" formulas to generate candidate practice problems, and third-party theorem-provers to automatically determine the truth value of each. It provides students with a virtually unlimited supply of unique and relevant practice problems and provides immediate feedback on each problem. Results of an empirical study of its efficacy are reported.

Original languageEnglish (US)
Pages61-66
Number of pages6
DOIs
StatePublished - 2014
Event45th ACM Technical Symposium on Computer Science Education, SIGCSE 2014 - Atlanta, GA, United States
Duration: Mar 5 2014Mar 8 2014

Other

Other45th ACM Technical Symposium on Computer Science Education, SIGCSE 2014
CountryUnited States
CityAtlanta, GA
Period3/5/143/8/14

All Science Journal Classification (ASJC) codes

  • Computer Science (miscellaneous)

Fingerprint Dive into the research topics of 'Syrus: Providing practice problems in discrete mathematics with instant feedback'. Together they form a unique fingerprint.

Cite this