A design study with teachers produced 10 guidelines and an open-source, fully client-side web tool, Z3Guide, which received positive student feedback in a formative workshop.
Iltis: Learning Logic in the Web
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
The Iltis project provides an interactive, web-based system for teaching the foundations of formal methods. It is designed with the objective to allow for simple inclusion of new educational tasks; to pipeline such tasks into more complex exercises; and to allow simple inclusion and cascading of feedback mechanisms. Currently, exercises for many typical automated reasoning workflows for propositional logic, modal logic, and some parts of first-order logic are covered. Recently, Iltis has reached a level of maturity where large parts of introductory logic courses can be supplemented with interactive exercises. Sample interactive course material has been designed and used in courses over the last years, many of them with more than 300 students. We invite all readers to try out Iltis: https://iltis.cs.tu-dortmund.de
citation-role summary
background 1
citation-polarity summary
fields
cs.HC 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
A design study with teachers produced 10 guidelines and an open-source, fully client-side web tool, Z3Guide, which received positive student feedback in a formative workshop.