Visual and Interactive Tools Incorporated into the Mathematical Foundations of Computer Science
纳入计算机科学数学基础的视觉和交互工具
基本信息
- 批准号:9555084
- 负责人:
- 金额:$ 6.98万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:1996
- 资助国家:美国
- 起止时间:1996-07-01 至 1998-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Mathematical foundations provide the basis for computer science, yet many undergraduates obtain a superficial understanding of these concepts due to the pencil and paper environment in which these concepts are currently taught. The main objective of this proposal is to provide an environment for presenting and communicating abstract computer science concepts in a more efficient, visual and interactive manner. It is crucial that students understand this material early on, at the sophomore or junior level, as they will continue to build on this material in courses on programming languages, algorithms, and compilers. For the past five years, the PI has been designing and developing interactive and visual software tools (FLAP. LLparse, LRparse) that allow students to experiment with concepts in formal languages and automata, receiving immediate feedback. The PI is currently using these tools in the classroom in an interactive lecture format with a projector displaying the computer screen. In this lecture style we solve problems during class on the computer with input from students, and answer questions by showing the answer. The PI plans to continue to shift the format of this class away from lectures to an all lab (no lecture) format to provide the maximum interaction. Each lab period will introduce a concept and give students time to think and experiment with this concept. The material to be developed includes manuscripts for the lecture and lab presentation formats, problem sets, and software tools. This material will be disseminated through computer science education conferences and journals, and news groups and web pages on the Internet.
数学基础为计算机科学提供了基础,但由于目前教授这些概念的铅笔和纸张环境,许多本科生对这些概念只有肤浅的理解。 这项建议的主要目标是提供一个环境,以更有效,直观和互动的方式呈现和交流抽象的计算机科学概念。学生在大二或大三的时候尽早理解这些材料是至关重要的,因为他们将继续在编程语言,算法和编译器的课程中建立这些材料。在过去的五年里,PI一直在设计和开发交互式和可视化软件工具(FLAP)。LLparse,LRparse),允许学生实验形式语言和自动机中的概念,并获得即时反馈。 PI目前正在课堂上使用这些工具,以交互式讲座的形式,用投影仪显示计算机屏幕。在这种讲座风格中,我们在计算机上解决问题,并通过显示答案来回答问题。PI计划继续将这门课的形式从讲座转移到全实验室(没有讲座)的形式,以提供最大的互动。每个实验课都会引入一个概念,并给学生时间思考和实验这个概念。待开发的材料包括演讲稿和实验室演示文稿格式、问题集和软件工具。这些材料将通过计算机科学教育会议和期刊、新闻组和因特网上的网页传播。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Susan Rodger其他文献
A new approach to the dynamic maintenance of maximal points in a plane
- DOI:
10.1007/bf02187797 - 发表时间:
1990-08-01 - 期刊:
- 影响因子:0.600
- 作者:
Greg N. Frederickson;Susan Rodger - 通讯作者:
Susan Rodger
Susan Rodger的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Susan Rodger', 18)}}的其他基金
The Association of Computing Machinery's Special Interest Group in Computer Science Education's New Global Computing Education Conference 2019
计算机协会计算机科学教育特别兴趣小组2019年新全球计算机教育会议
- 批准号:
1901755 - 财政年份:2019
- 资助金额:
$ 6.98万 - 项目类别:
Standard Grant
Collaborative Research: Assessing and Expanding the Impact of OpenDSA, an Open-Source, Interactive eTextbook for Data Structures and Algorithms
协作研究:评估和扩大 OpenDSA(一本用于数据结构和算法的开源交互式电子教科书)的影响
- 批准号:
1431667 - 财政年份:2015
- 资助金额:
$ 6.98万 - 项目类别:
Standard Grant
Collaborative Research: Scaling up an Innovative Approach for Attracting Students to Computing
合作研究:扩大吸引学生学习计算机的创新方法
- 批准号:
1031351 - 财政年份:2011
- 资助金额:
$ 6.98万 - 项目类别:
Continuing Grant
Integrating Visualization and Interaction into the Formal Languages and Automata Course
将可视化和交互融入形式语言和自动机课程
- 批准号:
1044191 - 财政年份:2011
- 资助金额:
$ 6.98万 - 项目类别:
Standard Grant
An innovative approach for attracting students to computing: A comprehensive proposal
吸引学生学习计算机的创新方法:综合提案
- 批准号:
0624642 - 财政年份:2007
- 资助金额:
$ 6.98万 - 项目类别:
Standard Grant
CPATH CB: Building Community via the Science of Networks
CPATH CB:通过网络科学构建社区
- 批准号:
0722288 - 财政年份:2007
- 资助金额:
$ 6.98万 - 项目类别:
Standard Grant
An Interactive Approach to Formal Languages and Automata with JFLAP
使用 JFLAP 的形式语言和自动机的交互式方法
- 批准号:
0442513 - 财政年份:2005
- 资助金额:
$ 6.98万 - 项目类别:
Standard Grant
ITWF: Collaborative Research: Increasing the Representation of Undergraduate Women and Minorities in Computer Science
ITWF:合作研究:增加本科生女性和少数族裔在计算机科学领域的代表性
- 批准号:
0420343 - 财政年份:2004
- 资助金额:
$ 6.98万 - 项目类别:
Standard Grant
Visualizing and Animating Proofs in the Mathematical Foundations of Computer Science
计算机科学数学基础中的可视化和动画证明
- 批准号:
9752583 - 财政年份:1998
- 资助金额:
$ 6.98万 - 项目类别:
Standard Grant
A Visual and Interactive Approach to the Foundations of Computer Science
计算机科学基础的可视化和交互式方法
- 批准号:
9354791 - 财政年份:1994
- 资助金额:
$ 6.98万 - 项目类别:
Standard Grant
相似海外基金
HCC: Medium: Optimizing Interactive Machine Learning Tools to Support Plant Scientists using Human Centered Design
HCC:中:优化交互式机器学习工具以支持植物科学家使用以人为本的设计
- 批准号:
2312643 - 财政年份:2023
- 资助金额:
$ 6.98万 - 项目类别:
Standard Grant
Designing an interactive quality assurance process for digital mental health tools - Verified by Maudsley
为数字心理健康工具设计交互式质量保证流程 - 由 Maudsley 验证
- 批准号:
10089700 - 财政年份:2023
- 资助金额:
$ 6.98万 - 项目类别:
Collaborative R&D
Specialized Tools and Auto-updatable Scalable Interactive Databases to Study isomiRs, tRFs and rRFs in Human and Mouse
用于研究人类和小鼠 isomiR、tRF 和 rRF 的专用工具和可自动更新、可扩展的交互式数据库
- 批准号:
10736401 - 财政年份:2023
- 资助金额:
$ 6.98万 - 项目类别:
Taming "untamed" generative AIs by developing compound optimization support tools that enable the interactive use of domain knowledge in medicinal chemistry
通过开发化合物优化支持工具来驯服“未驯服的”生成人工智能,这些工具能够交互式地使用药物化学领域的知识
- 批准号:
22K12258 - 财政年份:2022
- 资助金额:
$ 6.98万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Development of interactive self-care support tools based on a solution focused approach
基于以解决方案为中心的方法开发交互式自我护理支持工具
- 批准号:
22K17536 - 财政年份:2022
- 资助金额:
$ 6.98万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
Designing User-Centered Interactive Tools for Monitoring Software Learning Patterns
设计以用户为中心的交互式工具来监控软件学习模式
- 批准号:
RGPAS-2020-00083 - 财政年份:2022
- 资助金额:
$ 6.98万 - 项目类别:
Discovery Grants Program - Accelerator Supplements
Designing User-Centered Interactive Tools for Monitoring Software Learning Patterns
设计以用户为中心的交互式工具来监控软件学习模式
- 批准号:
RGPIN-2020-06432 - 财政年份:2022
- 资助金额:
$ 6.98万 - 项目类别:
Discovery Grants Program - Individual
Interactive Tools for Collaborative Digital Fabrication
用于协作数字制造的交互式工具
- 批准号:
RGPIN-2016-04540 - 财政年份:2022
- 资助金额:
$ 6.98万 - 项目类别:
Discovery Grants Program - Individual
Developing and disseminating tools for population health improvement: an online interactive atlas for identifying environmental change
开发和传播改善人口健康的工具:用于识别环境变化的在线交互式地图集
- 批准号:
MC_PC_21024 - 财政年份:2022
- 资助金额:
$ 6.98万 - 项目类别:
Intramural
Designing User-Centered Interactive Tools for Monitoring Software Learning Patterns
设计以用户为中心的交互式工具来监控软件学习模式
- 批准号:
RGPAS-2020-00083 - 财政年份:2021
- 资助金额:
$ 6.98万 - 项目类别:
Discovery Grants Program - Accelerator Supplements