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 条
  • [41] Special Section on Foundations of Computer Science-New Trends in Theoretical Computer Science-
    Koshiba, Takeshi
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2017, E100D (03): : 413 - 413
  • [42] On teaching computer ethics within a computer science department
    Quinn, MJ
    SCIENCE AND ENGINEERING ETHICS, 2006, 12 (02) : 335 - 343
  • [43] On teaching computer ethics within a computer science department
    Michael J. Quinn
    Science and Engineering Ethics, 2006, 12 : 335 - 343
  • [44] Computer science with political science - Teaching implications of the Internet
    Snow, SG
    Hearne, J
    SOCIAL SCIENCE COMPUTER REVIEW, 1997, 15 (03) : 288 - 291
  • [45] Resources for Teaching Web Science to Computer Science Undergraduates
    McCown, Frank
    Nelson, Michael L.
    PROCEEDINGS OF THE 45TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION (SIGCSE'14), 2014, : 725 - 725
  • [46] TEACHING OF COMPUTER SCIENCE - MASTER-OF-SCIENCE-DEGREE
    SNYDER, JN
    COMPUTERS AND PEOPLE, 1975, 24 (01): : 25 - 26
  • [47] METHOD FOR TEACHING INTRODUCTION TO COMPUTER SCIENCE
    THOMPSON, LD
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (01): : A259 - A259
  • [48] Teaching computer science with virtual worlds
    Slator, BM
    Hill, C
    Del Val, D
    IEEE TRANSACTIONS ON EDUCATION, 2004, 47 (02) : 269 - 275
  • [49] Undergraduate Teaching Assistants in Computer Science
    Danielsiek, Holger
    Vahrenhold, Jan
    Hubwieser, Peter
    Krugel, Johannes
    Magenheim, Johannes
    Ohmdorf, Laura
    Ossenschinidt, Daniel
    Schaper, Niclas
    PROCEEDINGS OF 2017 IEEE GLOBAL ENGINEERING EDUCATION CONFERENCE (EDUCON2017), 2017, : 718 - 725
  • [50] Teaching Teamwork in Engineering and Computer Science
    Lingard, Robert
    Barkataki, Shan
    2011 FRONTIERS IN EDUCATION CONFERENCE (FIE), 2011,
12345