Increasing Interaction and Visualization in the Computability Course

增加可计算性课程中的交互和可视化

• 批准号: 0311407
• 负责人: Rakesh Verma
• 金额: $ 10万
• 依托单位: University of Houston
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2003
• 资助国家: 美国
• 起止时间: 2003-07-01 至 2006-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0311407&HistoricalAwards=false
• 关键词: Increasing; Interaction; Visualization; Computability; Course

Computer Science (31)Intellectual MeritComputability concepts are at the core of foundational concepts for computer science, yet many undergraduates obtain only a superficial understanding of these essential concepts due to the "textual" environment in which they are usually taught and the lack of hands-on experience except for paper and pencil exercises. This project enhances learning and improves the learning experience of computer science students at the University of Houston by increasing visualization and interaction in a theory of computation course through adaptation and integration of the popular software tools for visualizing various models of computation developed at Duke University including JFLAP, Pate and PumpLemma. A secondary goal of the project is to expose students to current applications of these concepts and give them a glimpse of the variety of finite automata including tree and DAG (directed acyclic graph) automata. Broader Impacts The dissemination of the new course materials, including lecture notes, presentations, problem sets, the adapted tools, and evaluation instruments will facilitate interaction and visualization in other theory of computation courses, particularly in departments with scarce resources. The course materials developed and the visualization tools adapted will be widely disseminated on the World Wide Web.

可计算性概念是计算机科学基础概念的核心，然而，由于通常教学的“文本”环境以及除了纸笔练习之外缺乏实践经验，许多本科生对这些基本概念只有肤浅的理解。该项目通过适应和集成杜克大学开发的用于可视化各种计算模型的流行软件工具（包括JFLAP， Pate和PumpLemma），增加了计算理论课程中的可视化和交互，从而增强了休斯顿大学计算机科学专业学生的学习和学习体验。该项目的第二个目标是让学生了解这些概念的当前应用，并让他们了解各种有限自动机，包括树和DAG（有向无环图）自动机。更广泛的影响新课程材料的传播，包括课堂讲稿、报告、习题、改编的工具和评估工具，将促进其他计算理论课程的互动和可视化，特别是在资源稀缺的院系。所编制的课程材料和采用的可视化工具将在万维网上广泛传播。