Computing Education for Every Student in Secondary Schools
Computing Education for Every Student in Secondary Schools
批准号:
0010064
负责人:
Matthias Felleisen
金额:
$189.6万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2001
资助国家:
美国
项目状态:
已结题
起止时间:
2001-07-01 至 2005-06-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
This project emphasizes the principles of problem solving and program design using Scheme. Students learn to solve problems in a systematic manner and are able to use those skills in many domains, not just computing. The pedagogical approach is based on the belief that the conventional approach to computer science in high school is inappropriate, and, with an emphasis on code generation and successive modification by steps, is more consistent with computer science from the early 1980s. The emphasis on grammar rules is inconsistent with current methods. The results-dated methodologies have been that secondary schools have small computer science enrollments and encounter diminishing interest even by the more mathematically inclined students.The project is based on the introductory computer science curriculum developed at Rice University, and the PIs have tested these methods in high schools and found the students to be more receptive and to learn more about computational problem solving. The approximately 310 participating teachers learn a dramatically different and more applicable approach through workshops at Northeastern University, Adelphi University, Brown University, the University of Utah, and Worcester Polytechnic Institute. Teachers are introduced to the new content, approaches and software. A central Web repository is maintained for distribution and exchange. The teachers receive forty contact hours and extensive follow-up activities and supports plus 3 graduate credits.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Programming, and Reasoning about, Actors that Share State
-
批准号:2315884
-
项目类别:Standard Grant
-
资助金额:$54.0万
-
财政年份:2023
-
负责人:Matthias Felleisen
-
依托单位:
SHF: Small: Beyond Behavioral Software Contracts
-
批准号:2116372
-
项目类别:Standard Grant
-
资助金额:$49.86万
-
财政年份:2021
-
负责人:Matthias Felleisen
-
依托单位:
SHF: Small: A Mechanism for Extending A Programming Language with Interactive Syntax
-
批准号:2007686
-
项目类别:Standard Grant
-
资助金额:$44.99万
-
财政年份:2020
-
负责人:Matthias Felleisen
-
依托单位:
CRI: CI-SUSTAIN: Racket on Alternative Platforms
-
批准号:1823244
-
项目类别:Continuing Grant
-
资助金额:$99.94万
-
财政年份:2018
-
负责人:Matthias Felleisen
-
依托单位:
SHF: Large: Gradual Typing Across the Spectrum
-
批准号:1518844
-
项目类别:Standard Grant
-
资助金额:$220.0万
-
财政年份:2015
-
负责人:Matthias Felleisen
-
依托单位:
CI-EN: Collaborative: Run Your Research with Redex
-
批准号:1405881
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2014
-
负责人:Matthias Felleisen
-
依托单位:
SHF: Small: Collaborative Research: Compiler Coaching
-
批准号:1421412
-
项目类别:Standard Grant
-
资助金额:$31.64万
-
财政年份:2014
-
负责人:Matthias Felleisen
-
依托单位:
SHF: Medium: Collaborative Research: Semantics Engineering for Scripting Languages
-
批准号:1064922
-
项目类别:Standard Grant
-
资助金额:$40.65万
-
财政年份:2011
-
负责人:Matthias Felleisen
-
依托单位:
SHF: Small: Collaborative Research: Modular ACL2
-
批准号:1016418
-
项目类别:Standard Grant
-
资助金额:$29.94万
-
财政年份:2010
-
负责人:Matthias Felleisen
-
依托单位:
CI-ADDO-EN: Infrastructure for the Production of Languages
-
批准号:0855140
-
项目类别:Continuing Grant
-
资助金额:$66.0万
-
财政年份:2009
-
负责人:Matthias Felleisen
-
依托单位:
Collaborative Proposal: Integrating Theorem Proving into the Software Engineering Curriculum
-
批准号:0632872
-
项目类别:Standard Grant
-
资助金额:$7.55万
-
财政年份:2007
-
负责人:Matthias Felleisen
-
依托单位:
CRI: Language-Oriented Programming in PLT Scheme
-
批准号:0551486
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Matthias Felleisen
-
依托单位:
SoD-HCER: Collaborative Research: Using Market Forces to Improve the Design of Software
-
批准号:0613805
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Matthias Felleisen
-
依托单位:
Interface-Oriented Programming
-
批准号:0540818
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Matthias Felleisen
-
依托单位:
Collaborative Research: Well-Founded Behavioral Software Contracts
-
批准号:0429595
-
项目类别:Standard Grant
-
资助金额:$16.94万
-
财政年份:2004
-
负责人:Matthias Felleisen
-
依托单位:
Collaborative Research: Robust Interactive Web Services
-
批准号:0306269
-
项目类别:Standard Grant
-
资助金额:$13.69万
-
财政年份:2003
-
负责人:Matthias Felleisen
-
依托单位:
Modular Program Analyses for Higher-Order Programming Languages
-
批准号:9619756
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1997
-
负责人:Matthias Felleisen
-
依托单位:
The Expressive Power of Programming Languages
-
批准号:8917022
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1990
-
负责人:Matthias Felleisen
-
依托单位:
A Semantic Foundation for Program Optimization
-
批准号:8807520
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1988
-
负责人:Matthias Felleisen
-
依托单位:
海外基金