Abstract
We report on some projects to develop software rooted in formal logic and semantics in order to enhance education in computer science and mathematics. The goal is to let students actively engage with the course material by solving concrete problems where the correctness of a solution is automatically checked; furthermore, if a solution is not correct or the student gets stuck, the software shall provide additional insight and hints that aid the student towards the desired result. In particular, we describe our experience with the RISCAL software, a model checker for mathematical theories and algorithms, in university courses on logic, formal methods, and formal modeling. invited paper
| Original language | English |
|---|---|
| Title of host publication | Informatics’2019, 2019 IEEE 15th International Scientific Conference on Informatics, Poprad, Slovakia, November 20–22 |
| Editors | Wiliam Steingartner, Stefan Korecko, Aniko Szakal |
| Publisher | IEEE |
| Pages | 7-12 |
| Number of pages | 6 |
| ISBN (Print) | 978-1-7281-3178-8 |
| Publication status | Published - 2019 |
Fields of science
- 101 Mathematics
- 101001 Algebra
- 101005 Computer algebra
- 101009 Geometry
- 101012 Combinatorics
- 101013 Mathematical logic
- 101020 Technical mathematics
JKU Focus areas
- Digital Transformation