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 条

[1] Deductive teaching from computer science foundations
Rocchi P.
Education and Information Technologies, 1998, 3 (1) : 41 - 50
[2] Special Section on Foundations of Computer Science - Foundations of Computer Science and their New Trends -
Kawachi, Akinori
Kawahara, Jun
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2024, E107D (03) : 277 - 277
[3] Special Section on Foundations of Computer Science - Foundations of Computer Science Supporting the Information Society -
Chun, Jinhee
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2023, E106D (03) : 271 - 271
[4] Teaching Computer Science Majors about Teaching Computer Science
Bell, Tim
Lambert, Lynn
SIGCSE 11: PROCEEDINGS OF THE 42ND ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2011, : 541 - 546
[5] TOWARD FORMAL FOUNDATIONS OF TELEOLOGICAL SYSTEMS SCIENCE
SACHS, WM
GENERAL SYSTEMS, 1976, 21 : 145 - 153
[6] TEACHING COMPUTER SCIENCE
GEISLER, RG
COMPUTERS AND PEOPLE, 1974, 23 (07): : 2 - 3
[7] Special section on Foundations of Computer Science
Iwamoto, Chuzo
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2008, E91D (02) : 161 - 161
[8] SPECIAL SECTION ON FOUNDATIONS OF COMPUTER SCIENCE
Aaronson, Scott
Erickson, Jeff
Mahdian, Mohammad
Ravi, R.
Viola, Emanuele
SIAM JOURNAL ON COMPUTING, 2011, 40 (03) : 770 - 770
[9] Special section on Foundations of Computer Science
Asano, T
Nakano, K
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2004, E87D (02): : 279 - 280
[10] Logical foundations of computer science - Preface
Adian, SI
THEORETICAL COMPUTER SCIENCE, 1999, 224 (1-2) : 1 - 1

← 1 2 3 4 5 →