TEACHING FORMAL FOUNDATIONS OF COMPUTER SCIENCE WITH ILTIS

被引：0
|
作者：
Schmellenkamp, Marko [1 ]
Vehlken, Fabian [1 ]
Zeume, Thomas [1 ]
机构：
[1] Ruhr Univ Bochum, Bochum, Germany
来源：
BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE | 2024年 / 2024卷 / 142期
关键词：
Curricula - Formal languages - Websites;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Introductory courses on formal foundations of computer science are often attended by large numbers of students with diverse backgrounds. In this paper we outline how we address this challenge in our courses by supplementing traditional teaching with web -based, interactive exercises. The web -based exercises are provided by Iltis, a modern teaching support system covering the foundations of computer science logic, formal languages, and (parts of) complexity theory. We give a gentle introduction to Iltis, describe its technical integration into our courses, and outline research challenges and opportunities coming up when developing such a system.
引用
收藏
页码：31 / 49
页数：19
相关论文
共 50 条
  • [31] Hardness assumptions in the foundations of theoretical computer science
    Krajícek, J
    ARCHIVE FOR MATHEMATICAL LOGIC, 2005, 44 (06) : 667 - 675
  • [32] Special Section on Foundations of Computer Science FOREWORD
    Kaji, Yuichi
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2010, E93D (02) : 207 - 207
  • [33] Hardness assumptions in the foundations of theoretical computer science
    Jan Krajíček
    Archive for Mathematical Logic, 2005, 44 : 667 - 675
  • [34] Special section on foundations of computer science - Foreword
    Nakano, Shin-ichi
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2007, E90D (02) : 387 - 387
  • [35] Special section on foundations of computer science - Foreword
    Asano, T
    Chen, W
    Fujiwara, A
    Ito, H
    Iwata, S
    Kaji, Y
    Sakai, M
    Sakakibara, Y
    Takimoto, E
    Tanaka, K
    Toda, S
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2005, E88D (01) : 10 - 11
  • [36] Linguistics Foundations of Computer Science and Its Applications
    Qismallah, Azhari
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2021, 21 (10): : 276 - 282
  • [37] On Formal Methods Thinking in Computer Science Education
    Dongol, Brijesh
    Dubois, Catherine
    Hallerstede, Stefan
    Hehner, Eric
    Morgan, Carroll
    Mueller, Peter
    Ribeiro, Leila
    Silva, Alexandra
    Smith, Graeme
    DE Vink, Erik
    FORMAL ASPECTS OF COMPUTING, 2025, 37 (01) : 1 - 23
  • [38] The Role of Formal Methods in Computer Science Education
    ter Beek, Maurice H.
    Broy, Manfred
    Dongol, Brijesh
    ACM Inroads, 2024, 15 (04) : 58 - 66
  • [39] Models in Science - Teaching for Developing Formal Reasoning
    Anita, Laura-Iulia
    EDU'08: PROCEEDINGS OF THE 7TH WSEAS INTERNATIONAL CONFERENCE ON EDUCATION AND EDUCATIONAL TECHNOLOGY, 2008, : 44 - 49
  • [40] A REVIEW OF RESEARCH ON FORMAL REASONING AND SCIENCE TEACHING
    LAWSON, AE
    JOURNAL OF RESEARCH IN SCIENCE TEACHING, 1985, 22 (07) : 569 - 617
12345