Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Zakariya Bainazarov"'
Autor:
Aditi Tagore, Harvey M. Friedman, Dennis K. Pearl, Diego Zaccai, Bruce W. Weide, Dustin Hoffman, Jason Kirschenbaum, Zakariya Bainazarov
Publikováno v:
SIGCSE
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eee4f9c5930cf96a860143d838b87f42
https://doi.org/10.1145/2538862.2538929
https://doi.org/10.1145/2538862.2538929
