#logic
1
From rub.de
Iltis: Formal Foundations of Computer Science Online
1 1
Iltis - An interactive, webbased system for teaching formal foundations of computer science
9h ago
1
From arxiv.org
Iltis: Learning Logic in the Web
1 1
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...
9h ago
1
From arxiv.org
Logical Modelling in CS Education: Bridging the Natural Language Gap
2 2
An important learning objective for computer science students is to learn how to formalize descriptions of real world scenarios in order to subsequently solve real world challenges using methods and algorithms from formal foundations of computer science. Two key steps when formalizing with...
#logic #education #toxiv_bot_toot
10h ago
