@inproceedings{RISC6096,author = {David M. Cerna and Martina Seidl and Wolfgang Schreiner and Wolfgang Windsteiger and Armin Biere},
title = {{Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App}},
booktitle = {{ITICSE 2020}},
language = {english},
abstract = {In this paper, we share our experiences concerning the introduc-
tion of the Android-based self-study app AXolotl within the first-
semester logic course offered at our university. This course is manda-
tory for students majoring in Computer Science and Artificial In-
telligence. AXolotl was used as part of an optional lab assignment
bridging clausal reasoning and SAT solving with classical reason-
ing, proof construction, and first-order logic. The app provides an
intuitive interface for proof construction in various logical calculi
and aids the students through rule application. The goal of the
lab assignment was to help students make a smoother transition
from clausal and decompositional reasoning used earlier in the
course to inferential and contextual reasoning required for proof
construction and first-order logic. We observed that the lab had a
positive influence on students’ understanding and end the paper
with a discussion of these results.},
pages = {61--67},
isbn_issn = {9781450368742},
year = {2020},
editor = {ACM},
refereed = {yes},
length = {7},
conferencename = {ITICSE},
url = {https://dl.acm.org/doi/10.1145/3341525.3387409}
}