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

doi:10.1145/2538862.2538929

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 conference › Paper › peer-review

2 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 language	English (US)
Pages	61-66
Number of pages	6
DOIs	https://doi.org/10.1145/2538862.2538929
State	Published - 2014
Event	45th ACM Technical Symposium on Computer Science Education, SIGCSE 2014 - Atlanta, GA, United States Duration: Mar 5 2014 → Mar 8 2014

Other

Other	45th ACM Technical Symposium on Computer Science Education, SIGCSE 2014
Country/Territory	United States
City	Atlanta, GA
Period	3/5/14 → 3/8/14

All Science Journal Classification (ASJC) codes

Computer Science (miscellaneous)

Access to Document

10.1145/2538862.2538929

Cite this

Zaccai, D., Tagore, A., Hoffman, D., Kirschenbaum, J., Bainazarov, Z., Friedman, H. M., Pearl, D. K., & Weide, B. W. (2014). Syrus: Providing practice problems in discrete mathematics with instant feedback. 61-66. Paper presented at 45th ACM Technical Symposium on Computer Science Education, SIGCSE 2014, Atlanta, GA, United States. https://doi.org/10.1145/2538862.2538929

@conference{1d6df9c61d54491b9e4a81d99f9fdf81,

title = "Syrus: Providing practice problems in discrete mathematics with instant feedback",

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.",

author = "Diego Zaccai and Aditi Tagore and Dustin Hoffman and Jason Kirschenbaum and Zakariya Bainazarov and Friedman, {Harvey M.} and Pearl, {Dennis K.} and Weide, {Bruce W.}",

year = "2014",

doi = "10.1145/2538862.2538929",

language = "English (US)",

pages = "61--66",

note = "45th ACM Technical Symposium on Computer Science Education, SIGCSE 2014 ; Conference date: 05-03-2014 Through 08-03-2014",

}

Zaccai, D, Tagore, A, Hoffman, D, Kirschenbaum, J, Bainazarov, Z, Friedman, HM, Pearl, DK & Weide, BW 2014, 'Syrus: Providing practice problems in discrete mathematics with instant feedback', Paper presented at 45th ACM Technical Symposium on Computer Science Education, SIGCSE 2014, Atlanta, GA, United States, 3/5/14 - 3/8/14 pp. 61-66. https://doi.org/10.1145/2538862.2538929

TY - CONF

T1 - Syrus

T2 - 45th ACM Technical Symposium on Computer Science Education, SIGCSE 2014

AU - Zaccai, Diego

AU - Tagore, Aditi

AU - Hoffman, Dustin

AU - Kirschenbaum, Jason

AU - Bainazarov, Zakariya

AU - Friedman, Harvey M.

AU - Pearl, Dennis K.

AU - Weide, Bruce W.

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84899761427&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84899761427&partnerID=8YFLogxK

U2 - 10.1145/2538862.2538929

DO - 10.1145/2538862.2538929

M3 - Paper

AN - SCOPUS:84899761427

SP - 61

EP - 66

Y2 - 5 March 2014 through 8 March 2014

ER -

Syrus: Providing practice problems in discrete mathematics with instant feedback

Abstract

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this