课题基金 / 基金详情

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

项目摘要

项目成果

Peter Andrews的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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
  • 依托单位:
海外基金