12 citations · 12 across the 6 of their papers we have counts for
3 papers · 1 filter
Finding Common Mistakes In Modelling With Mathematical Formalisms Using LLMs
Lilian Killich, Marko Schmellenkamp, Fabian Vehlken +1
Modelling with mathematical formalisms like logical formulas, mathematical equations, or regular expressions is an important yet challenging task for students of computer science a…
Tool-Assisted Learning of Computational Reductions
Tristan Kneisel, Elias Radtke, Marko Schmellenkamp +2
Computational reductions are an important and powerful concept in computer science. However, they are difficult for many students to grasp. In this paper, we outline a concept for…
Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic
Gaetano Geck, Artur Ljulin, Sebastian Peter +3
Logic is a foundation for many modern areas of computer science. In artificial intelligence, as a basis of database query languages, as well as in formal software and hardware veri…