Computer Laboratory for Mathematics Education Instruction
Computer Laboratory for Mathematics Education Instruction
批准号:
9350991
负责人:
Peter Andrews
金额:
$3.17万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1993
资助国家:
美国
项目状态:
已结题
起止时间:
1993-05-15 至 1995-10-31
中文摘要
本课题旨在提高数学教学质量 通过有效利用最先进的计算机, 相关技术设备。教学创新 数学概念的发展, 计算机硬件与软件我们需要确保我们的 教师可以充分利用这些技术进步, 潜力该项目将建立一个实验室, 实用的课堂活动和示范, 未来的中小学教师。我们将取代 我们过时的实验室的苹果II电脑与网络, Macintosh工作站、文件服务器、CD-ROM播放器、视频 磁盘播放器和扫描仪。这个本地网络将连接到 到我们现有的校园网络,并通过它到互联网, 让我们的学生能够接触到不断增长的网络, 小学和中学后教育工作者。对于我们的 教育学生在数学被训练教在一个 世界级水平,他们需要最先进的经验 设备.这些设备将使我们的学生能够学习 解决问题的策略,编程和应用 这将是目前最新的设备。因此,在本发明中, 我们的学生将能够贡献他们的专业知识, 毕业后的大社区。
英文摘要
This project is intended to improve the mathematics instruction by making effective use of state-of-the-art computers and associated technological equipment. Innovations in the teaching of mathematical concepts have been made possible by advances in computer hardware and software. We need to ensure that our teachers can use these technological advances to their fullest potential. This project will establish a laboratory to provide practical classroom activities and demonstrations for prospective elementary and secondary teachers.We will replace our outdated lab of Apple II computers with a network of Macintosh workstations, a file server, a CD-ROM player, a video disk player and a scanner. This local network will be connected to our existing campus network and through it to the internet, giving our students access to a growing network connecting elementary and secondary post-secondary educators.For our education students in mathematics to be trained to teach at a world-class level, they need experiences on state-of-the-art equipment. This equipment will enable our students to learn problem solving strategies, programming, and applications on equipment that will be the latest currently available. Thus, our students will be able to contribute their expertise to the community-at-large upon graduation.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Automated Theorem Proving in Type Theory
-
批准号:0097179
-
项目类别:Standard Grant
-
资助金额:$26.7万
-
财政年份:2001
-
负责人:Peter Andrews
-
依托单位:
Automated Theorem in Proving in Type Theory
-
批准号:9732312
-
项目类别:Standard Grant
-
资助金额:$24.04万
-
财政年份:1998
-
负责人:Peter Andrews
-
依托单位:
Automated Theorem Proving in Type Theory
-
批准号:9624683
-
项目类别:Standard Grant
-
资助金额:$13.14万
-
财政年份:1996
-
负责人:Peter Andrews
-
依托单位:
Lambda-Calculus, Type Theory, and Automated Theorem Proving
-
批准号:9201893
-
项目类别:Continuing Grant
-
资助金额:$40.15万
-
财政年份:1992
-
负责人:Peter Andrews
-
依托单位:
Lambda-Calculus, Type Theory, and Autmated Theorem Proving
-
批准号:9002546
-
项目类别:Continuing Grant
-
资助金额:$19.87万
-
财政年份:1990
-
负责人:Peter Andrews
-
依托单位:
Lamdba-Calculus, Type Theory, and Automated Theorem Proving
-
批准号:8702699
-
项目类别:Continuing Grant
-
资助金额:$39.01万
-
财政年份:1987
-
负责人:Peter Andrews
-
依托单位:
Automated Theorem Proving in Type Theory (Computer Research)
-
批准号:8402532
-
项目类别:Continuing Grant
-
资助金额:$25.78万
-
财政年份:1984
-
负责人:Peter Andrews
-
依托单位:
Automated Theorem Proving in Type Theory
-
批准号:8102870
-
项目类别:Continuing Grant
-
资助金额:$13.49万
-
财政年份:1981
-
负责人:Peter Andrews
-
依托单位:
Automatic Theorem Proving in Type Theory
-
批准号:7801462
-
项目类别:Continuing Grant
-
资助金额:$13.44万
-
财政年份:1978
-
负责人:Peter Andrews
-
依托单位:
Proof Procedures in Predicate Calculus and Type Theory
-
批准号:7101953
-
项目类别:Standard Grant
-
资助金额:$6.92万
-
财政年份:1971
-
负责人:Peter Andrews
-
依托单位:
海外基金