2020/06/02 by Merlin Carl, Carl, Merlin
Computer Science · Mathematics · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #cs.AI #math.LO
paper · pdf · doi:10.48550/arxiv.2006.01800
arxiv created 2020/07/09 · arxiv updated 2020/07/10
We describe two systems for supporting beginner students in acquiring basic skills in expressing statements in the formalism of first-order predicate logic; the first, called "math dictations", presents users with the task of formalizing a given natural-language sentence, while the second, called "Game of Def", challenges users to give a formal description of a set of a geometric pattern displayed to them. In both cases, an automatic checking takes place.