Formal Foundations for Teaching Support Systems in Theoretical Computer Science

理论计算机科学教学支持系统的正式基础

• 批准号: 448468041
• 负责人: Professor Dr. Thomas Zeume
• 金额: --
• 依托单位: Arbeitsgruppe Logik und Formale Verifikation
• 依托单位国家: 德国
• 项目类别: Research Grants
• 资助国家: 德国
• 项目状态: 未结题
• 来源: https://gepris.dfg.de/gepris/projekt/448468041?language=en
• 关键词: Formal; Foundations; Teaching; Support; Systems

Theoretical foundations are the backbone of diverse applications of computer science. Correctness of hardware and software is verified with formal methods originating from automata theory and logics; information extraction from modern databases relies on our understanding of the foundations of logics and complexity theory; and also representation of knowledge and inference in intelligent systems requires a solid theoretical basis. Modern, technology-assisted teaching of the foundations of theoretical computer science -- basics in logic, formal language theory, complexity theory, and computability theory -- as well as its methods, thus, has high significance for future computer scientists. Yet building technology for theoretical computer science education that assists students with individualized, well-designed feedback and instructors with high-quality analyses of progress is a challenging task, which in many cases requires new sophisticated methods and tools from theoretical computer science itself. The goal of this project is (A) to systematically identify and formalize theoretical challenges arising in the context of teaching support systems for theoretical computer science; and (B) to provide conceptual solutions to these challenges by exploring and addressing them with existing or newly-developed theoretical methods. The developed methods shall be integrated prototypically into a teaching support system for theoretical computer science.

理论基础是计算机科学各种应用的支柱。硬件和软件的正确性通过源自自动机理论和逻辑的形式化方法来验证;从现代数据库中提取信息依赖于我们对逻辑和复杂性理论基础的理解;智能系统中的知识和推理的表示也需要坚实的理论基础。 理论计算机科学基础的现代技术辅助教学-逻辑基础，形式语言理论，复杂性理论和可计算性理论-以及其方法，因此，对未来的计算机科学家具有重要意义。然而，为理论计算机科学教育构建技术，帮助学生提供个性化的，精心设计的反馈，并为教师提供高质量的进展分析，这是一项具有挑战性的任务，在许多情况下，这需要理论计算机科学本身的新的复杂方法和工具。该项目的目标是：（A）系统地识别和形式化理论计算机科学教学支持系统中出现的理论挑战;（B）通过探索和解决现有或新开发的理论方法，为这些挑战提供概念性的解决方案。所开发的方法应原型集成到理论计算机科学的教学支持系统。