Tutoring and Automatic Evaluation of Logic Proofs

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F13%3A00070404" target="_blank" >RIV/00216224:14330/13:00070404 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Tutoring and Automatic Evaluation of Logic Proofs
Original language description
Tutoring of logic proofs is an important part of undergraduate courses of logic. Commonly, a tutor trains and tests students? skills to build correct logic proofs. We introduce a system for training of students? ability to construct correct proofs in propositional or predicate logic. In addition to common techniques including presentations supported by slides and exercises we use animations which are based on carefully selected demonstrative examples and their step-by-step solutions. Animations are interactive so that a student may choose a particular step, a sequence of steps, and/or a particular task. In order to test students? knowledge, we prepared a questionnaire that captures the entire process of a logic proof construction. A student constructsa proof and then answers questions from the questionnaire. We describe the design of the questionnaire and discuss its dis/advantages.
Czech name
—
Czech description
—

Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of the 12th European Conference on e-Learning ECEL 2013
ISBN
9781909507845
ISSN
2048-8645
e-ISSN
—
Number of pages
8
Pages from-to
495-502
Publisher name
Academic Conferences and Publishing International
Place of publication
Sophia Antipolis, France
Event location
Sophia Antipolis, France
Event date
Oct 30, 2013
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)