Syrus

Providing practice problems in discrete mathematics with instant feedback

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

Research output: Contribution to conferencePaper

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 - Jan 1 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

Fingerprint

Students
Feedback
Seed

All Science Journal Classification (ASJC) codes

  • Computer Science (miscellaneous)

Cite this

Zaccai, D., Tagore, A., Hoffman, D., Kirschenbaum, J., Bainazarov, Z., Friedman, H. M., ... 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
Zaccai, Diego ; Tagore, Aditi ; Hoffman, Dustin ; Kirschenbaum, Jason ; Bainazarov, Zakariya ; Friedman, Harvey M. ; Pearl, Dennis Keith ; Weide, Bruce W. / 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.6 p.
@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 Keith} and Weide, {Bruce W.}",
year = "2014",
month = "1",
day = "1",
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

Syrus : Providing practice problems in discrete mathematics with instant feedback. / Zaccai, Diego; Tagore, Aditi; Hoffman, Dustin; Kirschenbaum, Jason; Bainazarov, Zakariya; Friedman, Harvey M.; Pearl, Dennis Keith; Weide, Bruce W.

2014. 61-66 Paper presented at 45th ACM Technical Symposium on Computer Science Education, SIGCSE 2014, Atlanta, GA, United States.

Research output: Contribution to conferencePaper

TY - CONF

T1 - Syrus

T2 - Providing practice problems in discrete mathematics with instant feedback

AU - Zaccai, Diego

AU - Tagore, Aditi

AU - Hoffman, Dustin

AU - Kirschenbaum, Jason

AU - Bainazarov, Zakariya

AU - Friedman, Harvey M.

AU - Pearl, Dennis Keith

AU - Weide, Bruce W.

PY - 2014/1/1

Y1 - 2014/1/1

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

SP - 61

EP - 66

ER -

Zaccai D, Tagore A, Hoffman D, Kirschenbaum J, Bainazarov Z, Friedman HM et al. Syrus: Providing practice problems in discrete mathematics with instant feedback. 2014. Paper presented at 45th ACM Technical Symposium on Computer Science Education, SIGCSE 2014, Atlanta, GA, United States. https://doi.org/10.1145/2538862.2538929