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 条

[21] Special Section on Foundations of Computer Science-Mathematical Foundations and Applications of Computer Science and Algorithms-Foreword
Yamazaki, Koichi
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2012, E95D (03) : 711 - 711
[22] Special section on foundations of computer science —New trends in theoretical computer science
Koshiba, Takeshi, 2017, Institute of Electronics, Information and Communication, Engineers, IEICE (E100D)
[23] Special Section on Foundations of Computer Science - Frontiers of Theoretical Computer Science - FOREWORD
Kijima, Shuji
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2018, E101D (03): : 573 - 573
[24] Challenges of teaching Computer Science
Emilia Echeveste, Maria
Cecilia Martinez, M.
VIRTUALIDAD EDUCACION Y CIENCIA, 2016, 7 (12): : 34 - 48
[25] Teaching Computer Science in the Community
Chor, Benny
Zaritsky, Assaf
DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY (ICDCIT 2016), 2016, 9581 : 3 - 9
[26] Special section on foundations of computer science - Foreword
Fujiwara, A
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2006, E89D (02) : 743 - 743
[27] Teaching the foundations of computational science on the undergraduate level
Freundl, C.
Koestler, H.
Ruede, U.
COMPUTATIONAL SCIENCE - ICCS 2006, PT 2, PROCEEDINGS, 2006, 3992 : 185 - 192
[28] Special Issue on Logical Foundations of Computer Science
Artemov, Sergei
Nerode, Anil
JOURNAL OF LOGIC AND COMPUTATION, 2020, 30 (01) : 1 - 1
[29] Mathematical Foundations of Computer Science 2004 -: Preface
Koubek, V
Kratochvíl, J
THEORETICAL COMPUTER SCIENCE, 2005, 345 (2-3) : 171 - 172
[30] Special Section on Foundations of Computer Science FOREWORD
Kakugawa, Hirotsugu
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2009, E92D (02) : 107 - 107

← 1 2 3 4 5 →