Creating and Evaluating Interactive Formal Courseware for Mathematics and Computing

创建和评估数学和计算交互式正式课件

• 批准号: 9555162
• 负责人: Robert Constable
• 金额: $ 13万
• 依托单位: Cornell University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1996
• 资助国家: 美国
• 起止时间: 1996-01-15 至 1998-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9555162&HistoricalAwards=false
• 关键词: Creating; Evaluating; Interactive; Formal; Courseware

This is a proposal to produce a new medium for teaching college-level mathematics and computing. The basis for this medium is an on-line interactive data base of hypertext integrated with formal reference material built with a modern proof development system (Nuprl1). This hybrid of text and formal material animated by a computer system provides an entirely new kind of courseware; it also presents new opportunities for teaching those mathematical problem solving skills found to be fundamental in the educational literature. By connecting the new medium to the emerging information infrastructure, the possibilities for educational innovation are unprecedented. Funding is requested to create an example of this medium, explore its educational value, and disseminate it. The material will be deployed first in discrete mathematics courses (offered in Mathematics, Computer Science and Electrical Engineering departments). In such courses these tools will enable more relevant and effective teaching of computational mathematics and of the increasingly sophisticated mathematics of software engineering--both critical to U. S. technology. The proposal includes a detailed technical case for the feasibility of what is proposed and a pedagogical case based on the extensive teaching experience of the investigator and on prior experimental efforts with limited examples of the medium. The introduction summarizes the entire case whereas the subsequent two sections elaborate. Section two details the new research technology, and section three details the pedagogical basis for the proposal. Pronounced "new pearl".

这是一个建议，以产生一个新的媒体教学大学水平的数学和计算。这种媒介的基础是一个在线的超文本交互式数据库，它与现代证明开发系统（Nuprl 1）建立的正式参考材料相结合。这种混合的文字和正式的材料动画的计算机系统提供了一种全新的课件，它也提出了新的机会，教那些数学问题解决的技能，发现是基本的教育文献。通过将新媒体与新兴的信息基础设施连接起来，教育创新的可能性是前所未有的。 该材料将首先用于离散数学课程（数学、计算机科学和电气工程系提供）。在这些课程中，这些工具将使计算数学和软件工程中日益复杂的数学教学更加相关和有效。S.技术. 该建议包括一个详细的技术案例，说明所建议的内容的可行性，以及一个教学案例，该案例以调查人员的广泛教学经验和以前以有限的媒体实例进行的实验工作为基础。引言部分概述了整个案例，随后的两节则进行了详细说明。第二节详细介绍了新的研究技术，第三节详细介绍了该建议的教学基础。 发音是“新珍珠”。