DagRep.14.6.108.pdf
- Filesize: 2.47 MB
- 22 pages
Document
Teaching Support Systems for Formal Foundations of Computer Science (Dagstuhl Seminar 24251)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 14, Issue 6
Volume: Dagstuhl Reports, Volume 14
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2024-12-19
Cite As Get BibTex
Tiffany Barnes, Jan Vahrenhold, Thomas Zeume, and Florian Schmalstieg. Teaching Support Systems for Formal Foundations of Computer Science (Dagstuhl Seminar 24251). In Dagstuhl Reports, Volume 14, Issue 6, pp. 108-129, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/DagRep.14.6.108
Abstract
Introductory courses on formal foundations of computer science - including basic courses on theoretical computer science (regular and context-free languages, computability theory, and complexity theory) as well as on logic in computer science (propositional and first-order logic, modeling, and algorithms for evaluation and satisfaction of formulas) - are a cornerstone of computer science curricula, yet many students struggle with their often theoretical contents. The recent influx of students in computer science, as well as the shift towards the inclusion of more online-based teaching ask for advanced teaching support systems that aid both students and instructors. This Dagstuhl Seminar focussed on fostering discussion between researchers in computing education, builders of systems for teaching formal foundations, as well as instructors of these foundations in order to facilitate more robust research and development of systems to support teaching and learning of the formal foundations of computer science.
Subject Classification
ACM Subject Classification
- Social and professional topics → Computing education
- Theory of computation
- Applied computing → Education
Keywords
- artificial intelligence in education
- computing education research
- educational data mining
- formal foundations of computer science
- intelligent tutoring systems
- user modeling and adaptive personalization
- user studies
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads