ARC: An Educational Project on Automated Reasoning in the Class
PROCEEDING
Isabela Dramnesc, West University of Timisoara, Romania ; Tudor Jebelean, Johannes Kepler University, Austria ; Erika Abraham, RWTH Aachen University, Germany ; Gabor Kusper, Eszterhazy Catholic University of Eger, Hungary ; Sorin Stratulat, University of Lorraine, France
EdMedia + Innovate Learning, in Online ISBN 978-1-939797-65-0 Publisher: Association for the Advancement of Computing in Education (AACE), Waynesville, NC
Abstract
The international Erasmus+ European Project: “ARC – Automated Reasoning in the Class”, running from 2019 to 2022 is a partnership of universities from Austria, France, Germany, Hungary, and Romania, and has the purpose of developing advanced material for teaching subjects related to Computational Logic by using Automated Reasoning. The material includes a comprehensive textbook treating the necessary theoretical background (selected topics in Mathematical Logic), but mostly the practical methods from Automated Theorem Proving, as well as the description of the basic programming paradigms and the associated languages, in relation to their logical aspects. Furthermore, we address the most important applications, like program verification and testing, semantic representation of information, algorithm synthesis, etc. One of the main goals of the approach is to improve the logical background of the software professionals in order to motivate them to use formal methods for certification of complex systems and thus to avoid costly failures.
Citation
Dramnesc, I., Jebelean, T., Abraham, E., Kusper, G. & Stratulat, S. (2022). ARC: An Educational Project on Automated Reasoning in the Class. In T. Bastiaens (Ed.), Proceedings of EdMedia + Innovate Learning (pp. 934-943). Online: Association for the Advancement of Computing in Education (AACE). Retrieved September 1, 2024 from https://www.learntechlib.org/primary/p/221395/.
© 2022 Association for the Advancement of Computing in Education (AACE)
